184 Commits (e2ff6e58a5f05a0a26eac9c153c0199b417f82de)

Author SHA1 Message Date
Jules Villard 02b9bec78e remove extra newlines in infer output
9 years ago
Jules Villard d03dcb6961 generate json natively
9 years ago
Jules Villard f88164dae9 define INFER_INFER_DIRECTORY more concisely
9 years ago
Jules Villard d0d0a5efa0 print copy-pastable compilation command in case of failure
9 years ago
Jules Villard 6bf9f47c14 add colored output
9 years ago
Jules Villard d50a401cd0 replace string constants for json fields with variables
9 years ago
Jules Villard 872ce8ea87 move python code to infer package
9 years ago
martinoluca 513eee3059 Adding initial support for Buck for Cxx with flavored targets
9 years ago
jrm dc470816d1 Fix the option -a compile
9 years ago
jrm d825302189 The option -o was not working with the Buck integration
9 years ago
martinoluca 9db0648cb1 Fix compilation failure issue when compiling for armv7k architecture
9 years ago
jrm 0282060808 delete the deprecated script inferJ
9 years ago
martinoluca 6553ba2379 Replace the gmodules flag of Xcode's clang with equivalent ones
9 years ago
Sam Blackshear b8579fe531 [Infer][Gradle plugin] Fixing issue where files are captured twice
9 years ago
Rohan Jacob-Rao 9b3f291b99 Refactor main file to handle command line arguments and relative source paths.
9 years ago
Rohan Jacob-Rao 7f8282e046 Simplify generation of source file locations and attach to more SIL objects.
9 years ago
Rohan Jacob-Rao f192b02f01 Integrate LLVM analysis with infer script.
9 years ago
Jules Villard d6379fb7be [clang] replace yojson frontend with biniou frontend
9 years ago
Irene Papakonstantinou 204b2ccc53 Make facebook-clang-plugins a submodule @update-submodule: facebook-clang-plugins
9 years ago
jrm 2468139fb7 [infer][java] move the Gradle filelist directory definition in one place
9 years ago
Jules Villard 8f03d67932 [clang] uglify json when not in frontend debug mode
9 years ago
Cristiano Calcagno 3e199467f4 Complete copyright messages.
10 years ago
=?UTF-8?q?Deniz=20T=C3=BCrkoglu?= 092e447ce3 Handle java sources from a file
10 years ago
Sam Blackshear 712d27b544 [Infer][capture] Fixing Python AttributeError in javac capture
10 years ago
Sam Blackshear f6784e3796 [infer][models] Fixing InferAssume
10 years ago
martinoluca 2cf873497f Emit InferClang command on the .sh file when running in `--frontend-stats` mode (and similar)
10 years ago
jrm 843e600bb1 [infer][java] call inferlib programmatically instead of calling inferJ from the command line
10 years ago
Andrzej Kotulski 77130a185e Add basic logging to infer -- script
10 years ago
martinoluca 99125144d7 Add clang frontend arguments to the xcodebuild module
10 years ago
martinoluca e8b91192d9 Add @import support for Xcode projects
10 years ago
Andrzej Kotulski 9c0cc5c651 Copy args from BuckAnalyze to -- buck module
10 years ago
Dulma Rodriguez b57ac1fe49 [clang] Make the script create the absolute path rather than Ocaml. Fixes issues with symbolic links
10 years ago
jrm aa7bf8e69b [infer] fix inconsistencies between the errors that are saved in the generated reports and what is saved in standard output
10 years ago
Open Source Synchronization b8982270f2 initial synchronization
10 years ago