Comments (13)
Just to be clear: The core infer team does not have a use case for windows support, and does not have time to allocate to this. If someone wants to work on this, I expect that there is a bit of work to do to generalize the build scripts to work on (even one of the ~6 OCaml ports for) windows. Building the dependencies will likely involve some work. After that, some of the build system integration implementations rely on a posix environment, but the degree of dependence varies (e.g. high for 'make', low for 'buck'). So depending on which build system you need, there is some work there. Finally, the core of infer itself has very little reliance on posix, and in various points (e.g. interaction with signals) basic windows support is there (though untested). If your use case allows using WSL or cygwin, then there might be very little work needed at all. Pull requests most welcome.
from infer.
@jberdine could you maybe write up some general instructions and background information to understand where this OCaml requirement comes in (clang itself does not need it, obviously)?
My motivation is that I would like to try to run Infer on Git for Windows' source code. But obviously that only really builds on Windows. Or does Infer support cross-compiling to MINGW?
from infer.
bump
from infer.
Currently there is no support for windows.
See the FAQ.
from infer.
thanks
i hope they do in the future
i can't change my platform to linux and mac.
from infer.
when to support windows... waiting~
from infer.
Thanks for your issue. Unfortunately Infer doesn't support Windows yet. For now the easiest way is to run infer on a virtual machine running Linux.
from infer.
This bug in opam is related - if it will be fixed, windows support would be much easier to add ocaml/opam#246
from infer.
Please add the support for windows !
from infer.
👍
from infer.
Please add support for windows. It is useless otherwise.
from infer.
What a shame~
from infer.
@jberdine ping
from infer.
Related Issues (20)
- C Simple memory leak cannot be detected HOT 1
- [java] DEADLOCK: False Negative in Infer analysis results after converting anonymous classes to lambda expressions HOT 1
- [java] STARVATION: False Negative in Infer analysis results after converting anonymous classes to lambda expressions HOT 1
- False positive of Infer/Pulse when `std::unique_ptr` is used with no throw `new` HOT 2
- how to use --custom-symbols?
- How to check custom malloc and free functions for memory leak?
- can infer find out all suspecious bugs? HOT 2
- java: Infer injects outdated, buggy maven-compiler-plugin version 3.8.0
- False positive memory leak on loop HOT 4
- Dockerfile: US-ASCII locale causes crash on UTF-8 input
- How to add extra nullability condition to NULL_DEREFERENCE checking
- Is Adding a C++ Infer Port to the VSCode Plugin on the Roadmap? HOT 3
- [java] A false negative about the rule NULL_DEREFERENCE
- [java] A false positive about the rule THREAD_SAFETY_VIOLATION
- `--biabduction-unsafe-malloc` doesn't assume that `calloc()` and `realloc()` never return null HOT 1
- Error building the `Resource Leak analysis` lab in docker
- False positive Uninitialized Value in C code
- Need help when using infer run or capture during maven compilation HOT 1
- Query on --changed-files-index option HOT 3
- Meta leak HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from infer.