1210 Commits (5ba5fcd4bb20b4834c133362bcbaf4de16b7cf7f)

Author SHA1 Message Date
Jules Villard 5ba5fcd4bb add -l option to limit parallelism, and pass -j and -l to the buck frontend
9 years ago
Peter O'Hearn da0933fd79 first try at dereferencing lock on monitor enter
9 years ago
Jules Villard a7fdb09600 add quick-test target
9 years ago
Josh Berdine 3a47b4064b Fix --help and friends that 2 phase parsing broke
9 years ago
Andrzej Kotulski 8d3e7e774e Move location of clang installation
9 years ago
Sam Blackshear c1b5a4b03e don't treat `x = &y` as a copy
9 years ago
Sam Blackshear b940c4dfac warning on guarded-by writes
9 years ago
Dulma Churchill b1e3d994bd Report more cases of null dereference as empty vector access
9 years ago
Dulma Churchill 52e8d8a560 Expand links under buck-out
9 years ago
Josh Berdine ec7af097eb Generalize extra options for make module
9 years ago
Josh Berdine bbec166174 Refactor Sil.typ into separate Typ module
9 years ago
Josh Berdine ce19de4a42 Show timeouts in progress bar in stats mode
9 years ago
Andrzej Kotulski a825831625 Model vector::resize(n) as nonempty vector
9 years ago
Josh Berdine a6a766b5f5 Refactor Sil.Int into separate IntLit module
9 years ago
Josh Berdine 3828bdd544 Make int_compare avoid overflow
9 years ago
Sam Blackshear 35f86fbe7b separate lazy dynamic dispatch from dynamic dispatch handling in preanalysis
9 years ago
Andrzej Kotulski 76f7912420 Make sizeof(std::shared_ptr) = 16
9 years ago
Peter O'Hearn 508d6a3ae7 optional model
9 years ago
Daiva Naudziuniene d707c717f0 ndk-build integration test
9 years ago
Josh Berdine 229ca26c8b Optimize normalization, substitution, renaming of array types
9 years ago
Daiva Naudziuniene b594d74d34 Adding LANG global to fix ndk-build integration.
9 years ago
Dulma Churchill 5adab3cb61 Fix StmtExpr
9 years ago
Daiva Naudziuniene 51f7d3ebb2 Integrating ndk-build with infer
9 years ago
Cristiano Calcagno de0f98389a Add sample checker to detect reads and writes to globals
9 years ago
Jules Villard d2f7cb44fa disable dead code checker on clang
9 years ago
Peter O'Hearn 8613f16c19 drop GuardedBy ui_thread warnings
9 years ago
Dulma Churchill a68c45c2a9 Fix dyspatch_async calls
9 years ago
Jules Villard 596823bd32 support `clang -c file1.c file2.c`
9 years ago
Sam Blackshear 1e60923e63 improve errdesc to account for copy-propagation
9 years ago
Sam Blackshear 49136a187b fixing bug in exceptional preds/succs in per-instr procCfg
9 years ago
Andrzej Kotulski b81b3f4791 Always run C compiler with -fsyntax-only
9 years ago
Jeremy Dubreil 0a2c47cdd5 Unify the way objects of a given type are created in the models
9 years ago
Jeremy Dubreil a756b7bff2 models for Preconditions.checkArgument
9 years ago
Jeremy Dubreil 17da853fa8 Do not angelically remove the file attribute on the reciever for virtual calls
9 years ago
Jeremy Dubreil 707a9ae51b Fix resource leaks in the testing framework
9 years ago
Josh Berdine a85a88d145 Extend Sizeof with final extensible array length
9 years ago
Dulma Churchill 5ed970efa9 Fix the return stmt that would not be the last instruction in the path in some cases
9 years ago
Jeremy Dubreil 3a2a6c7c44 Do not run the unsafe guarded access in prod
9 years ago
Jules Villard 1dc636a971 more concise API for creating build integration tests
9 years ago
Martino Luca c39f3b0768 Aggregate stats info emitted during analysis
9 years ago
Jeremy Dubreil 6d37b5ee6d Always collect the statistics and create a report file for Buck projects, even when the target contains no Java source code
9 years ago
Dulma Churchill 08c1c5bbf0 Change desc of npe message regarding pointer inside smart pointers
9 years ago
Sam Blackshear fd8a864c15 doing preanalysis on-demand
9 years ago
Dulma Churchill 60d9a19ae0 Fix bucketing for variables passed by reference
9 years ago
Josh Berdine c959af34cb Remove specs before rebuilding models
9 years ago
Sam Blackshear fa077c75d0 kill uses of Config.curr_language in subtyping part of prover.ml
9 years ago
Peter O'Hearn e7d36ed58a model of holdsLock
9 years ago
Jules Villard 533831a206 move all config variables to Makefile.config.in
9 years ago
Andrzej Kotulski 0f895b0684 Improve empty vector tests
9 years ago
Dulma Churchill bf9d194e43 Translate builtin_expect as its first argument. Avoids weird symb. exec. problems
9 years ago