2565 Commits (0b87ad23526c62827227e2c05f488c61cf318b75)
 

Author SHA1 Message Date
Jules Villard a6be58848b [make] make frontend tests more functional
8 years ago
Jules Villard bd0751dd1c [make] do not confuse the jobserver
8 years ago
Jules Villard 4d34efe71d [toplevel] fix double-printing of infer options in --help
8 years ago
Josh Berdine fb34f30350 Directly handle javac -classpath option in build command
8 years ago
Josh Berdine a9253d8996 Directly handle javac -classes_out option in build command
8 years ago
Andrzej Kotulski 95ad5b6387 [reactive-capture] Random fixes
8 years ago
Andrzej Kotulski 9fb0636ca1 [compilation db] Remove special module for compilation db
8 years ago
Martino Luca ebb6931358 [CTL] Let issue name be a string for linters
8 years ago
Sam Blackshear ee90e10491 [thread-safety] don't report on fields of immutable collections
8 years ago
Yunxing Dai 84477a1060 Use a new installation script for ocaml
8 years ago
Sam Blackshear 79154adf9e [thread-safety] use ownership info to avoid false alarms
8 years ago
Jules Villard bce1a1ff2e [make] make infer/src/Makefile less phony
8 years ago
Jules Villard 475f37ea03 [java] do not leak file descriptors when redirecting stderr to /dev/null
8 years ago
Andrzej Kotulski 1bb6401d15 [command line] Fix json deserialization of mk_path_list
8 years ago
Sam Blackshear 16cae31f20 [absint] add inverted set domain
8 years ago
Sam Blackshear 8e212f0468 [thread-safety] use id map to decompile tmp vars into access paths
8 years ago
Jeremy Dubreil a11446ea96 [infer][test] proceed on failures when replacing the .exp files
8 years ago
Dino Distefano 4682393cd6 Use place-holders string in messages
8 years ago
Josh Berdine 178451e117 Disable timeouts during model analysis
8 years ago
Cristiano Calcagno ec1a07f445 Unbreak --continue option by passing it down to the python files
8 years ago
Sam Blackshear 6d7b8099f7 [java] treat all var names containing $ as temporaries
8 years ago
Sam Blackshear 26ba5336a8 [domains] gating sanity checks in id -> access path domain
8 years ago
Sam Blackshear 7682017f93 [quandary] only show relevant passthroughs in trace
8 years ago
Jules Villard f2a5810141 [clang] remove InferClang command from generated frontend debug scripts
8 years ago
Jules Villard bbf7df2f53 [base] remove C stubs for ioctl in favour of Ctypes
8 years ago
Jules Villard a07e16871c [java] silence javalib warnings on stderr when loading class with Java8 Code
8 years ago
Jules Villard ac082cfe01 [make] remove support for OCaml annot and other Eclipse-related quirks
8 years ago
Andrzej Kotulski 863cc534b2 [compilation db] Allow to pass multiple json files with clang-compilation-database integration
8 years ago
Andrzej Kotulski c9d254c084 Initial version of reactive capture
8 years ago
Jules Villard f0498a77f9 [make] make sure all tests run before test-replace
8 years ago
Sam Blackshear 5bd4daa900 [absint] make Interprocedural functor easier to customize
8 years ago
Dulma Churchill 5b39b3e323 [ObjC] Model methods from NSArray
8 years ago
Andrzej Kotulski 13fcb27431 [C++] Fix compilation errors coming from smart pointer models
8 years ago
Andrzej Kotulski 01b57b4f38 [clang] Always compile with -O0 flag
8 years ago
Jules Villard 902a0cd001 [make] make crashcontext tests replace-proof
8 years ago
Jules Villard 8b976154f6 [python] remove trailing empty line in source contexts
8 years ago
Jeremy Dubreil 715f6ffa7e [infer][java] match the annotation by class name, forgetting the package, instead of checking if the end of the annotation matches
8 years ago
Sam Blackshear 901786e0c5 [quandary] detect intents configured with external values
8 years ago
Sam Blackshear 2386bc8f67 [thread-safety] use record type in domain
8 years ago
Jeremy Dubreil aa362a27ed [infer][python] no longer generate the CSV report during the analysis
8 years ago
Josh Berdine 6051a3e34c Fix build time regression
8 years ago
Dino Distefano aa231e5129 [CTL] Expanding formula id with their definition
8 years ago
Josh Berdine 1a97b918ca Construct inferconfig patterns in Inferconfig not Config
8 years ago
Josh Berdine f3fab1e9b6 Support parsing build command arguments
8 years ago
Josh Berdine 733e2531b3 Protect against use of Core functions that add exception handlers that exit
8 years ago
Josh Berdine 2a8bf53e9e Don't allow new deprecated uses
8 years ago
Josh Berdine fc976bc3ef Core.Std.( ^/ )
8 years ago
Josh Berdine 7834c95bc8 Silence deprecation warnings
8 years ago
Josh Berdine 2e66dcfac4 Open Core.Std by default, still use Caml Hashtbl, Map, Set
8 years ago
Josh Berdine e438314776 Divide Utils into Utils, Pp, and IStd
8 years ago