70 Commits (0806ac067b8a317d3275905fc67378a900cc0f63)

Author SHA1 Message Date
Jules Villard 741e527826 [console] print progress-like messages on stderr
8 years ago
Dulma Churchill b196eaa1bd [clang] Collect captured folders in buck-out when keep-going is passed
8 years ago
Dulma Churchill 7c1a01b186 [clang] Make keep going work with the infer-capture-all integration
8 years ago
Jules Villard 801c605c26 [CLI] switch to infer-<command> (symlinks) executables
8 years ago
Dulma Churchill 15ede90c44 [driver] Add warning about nothing captured
8 years ago
Jules Villard a8be4f1f4f [clang] options rename: --compilation-database -> --buck-compilation-database, --clang-compilation-db-files -> --compilation-database
8 years ago
Jules Villard 2e96caac42 [mvn] new integration
8 years ago
Jules Villard 69f8140655 [cli] do not accept unknown arguments in OCaml
8 years ago
Jeremy Dubreil d9ed75cc08 [infer][toplevel] remove dead code from the python bucklib.py scripts
8 years ago
Josh Berdine 4ec3af4a7f Call java frontend directly instead of using fork
8 years ago
Jules Villard 86cb2f4938 [toplevel] fix various things
8 years ago
Jules Villard 4a673f540d [python] add script report.py to post-process report.json
8 years ago
Dulma Churchill bf14034289 [clang] Do compilation database capture in OCaml directly
8 years ago
Jules Villard 2cd0151e30 [python] restore project_root option and use it to find source files
8 years ago
Josh Berdine 2ce94632d2 [config] Default project_root to initial working dir
8 years ago
Josh Berdine eee940b2a1 [config] Convert FCP env vars to Config options
8 years ago
Dulma Churchill 2605ef8d6f [clang] Adding support for capture/linting based on a compilation database json
8 years ago
Jules Villard fa53fc6efb [buck compilation db] use -- to pass buck command to BuckCompilationDatabase
8 years ago
Andrzej Kotulski 76908712e9 fix infer make integration
8 years ago
Andrzej Kotulski 284f7116b0 Kill usage of INFER_RESULTS_DIR env var
8 years ago
Jules Villard c45afc9859 [clang] cleanup obsolete python code
8 years ago
Jeremy Dubreil 587d829a1a [infer][java] Add the possibility to choose a compiler jar that is different from the system Java compiler to generate the bytecode
8 years ago
Martino Luca d05b1f172a [Infer][Buck] Invoke buck with *//cxx.pch_enabled=false to disable the use of precompiled headers
8 years ago
Jules Villard c53bfe3159 [clang] rewrite plugin attachment logic in OCaml
8 years ago
Jules Villard eb391d7875 [llvm] delete llvm frontend
8 years ago
Jeremy Dubreil 650aa00dc9 [infer][java] support java -jar javac.jar
8 years ago
Jeremy Dubreil dfa12b17f1 [infer] Apply python lint warnings on the Infer python code
8 years ago
Dulma Churchill d11b2754a9 New buck integration based on the compilation database emitted by buck
8 years ago
Jules Villard 4e2cc84bcb compile *.java files only
8 years ago
Martino Luca 120892d7dd Pass Infer configs to cross-cell buck targets
9 years ago
Andrzej Kotulski afc192b100 Add -Xbuck option to pass arguments to buck build
9 years ago
Daiva Naudziuniene 6054b4c6d4 Improved ndk-build integration.
9 years ago
Jules Villard 5ba5fcd4bb add -l option to limit parallelism, and pass -j and -l to the buck frontend
9 years ago
Andrzej Kotulski 8d3e7e774e Move location of clang installation
9 years ago
Daiva Naudziuniene b594d74d34 Adding LANG global to fix ndk-build integration.
9 years ago
Daiva Naudziuniene 51f7d3ebb2 Integrating ndk-build with infer
9 years ago
Jules Villard d2f7cb44fa disable dead code checker on clang
9 years ago
Andrzej Kotulski b81b3f4791 Always run C compiler with -fsyntax-only
9 years ago
Jules Villard d4521fd70d handle utf8 PWD
9 years ago
Jules Villard 07acaa3b97 remove bogus logging passing `None` to `utils.stdout()`
9 years ago
Andrzej Kotulski a8de56e9bf Include C++ models only in --cxx mode
9 years ago
Jules Villard 9f10b09688 add cmake to the list of make-like tools
9 years ago
Jules Villard a093780885 add configure to the list of make-like tools
9 years ago
Jules Villard bc5dc80df6 waf support
9 years ago
martinoluca c5d26439f5 Proactively merge infer-deps.txt and report.json files and emit results to stdout
9 years ago
Dulma Rodriguez c20ace4a1a Add flag cxx experimental to the clang frontend
9 years ago
martinoluca 44502c1673 Merge infer-deps files generated by Buck
9 years ago
kstreee f400247d16 Fix missing import statement bug.
9 years ago
Jules Villard 1952f54d8c minor cleanups
9 years ago
Jules Villard 2277c23c60 move java-specific code out of analyze.Infer
9 years ago