1805 Commits (2d97b5d1116e66ef5c7d793ed81d1810aaef1291)
 

Author SHA1 Message Date
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
Andrzej Kotulski bb6a91e6e3 bump min version of ocaml
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
Jules Villard e873a2c502 build the bdump dict again
9 years ago
Andrzej Kotulski 617ffab0ac Add @generated comment to icfg.dot files
9 years ago
Jules Villard 6bb3b30c36 do not crash when pygments crashes
9 years ago
Sam Blackshear 7ec8f59998 adding find_in_node_or_preds to clean up errdesc
9 years ago
Andrzej Kotulski f6cfee0f32 Pass CFLAGS to facebook-clang-plugins build command
9 years ago
Martino Luca f89e66dc60 Stats aggregator for frontend/backend/reporting
9 years ago
Sam Blackshear 83a14a3541 changing API to take pdesc instead of cfg
9 years ago
Jules Villard ddb7f7724e bump facebook-clang-plugins version
9 years ago
Jules Villard d1eff7436b build more things
9 years ago
Dino Distefano daf043bff1 Fixing shortcircuit in binary operator.
9 years ago
Andrzej Kotulski 1a98bc6492 update facebook-clang-plugins
9 years ago
Andrzej Kotulski 3699b9c0dc Fix translation of passing struct parameters by value
9 years ago
Cristiano Calcagno 8639042bc0 Remove dead renaming code
9 years ago
Jeremy Dubreil 91c25fe636 revert the use of the jar cache
9 years ago
Daiva Naudziuniene 10f1036937 Normalizing source path.
9 years ago
Sam Blackshear 04f88d60ea kill dead code created by D3288789
9 years ago
Sam Blackshear f45a7ec1eb using taint kind in taint sink specifications
9 years ago
Sam Blackshear b87ead37e1 fixing facebook-clang-plugins ref
9 years ago
Dulma Churchill de615594df Skip whitelisted functions form trace
9 years ago
Sam Blackshear 25578de26d redesigning abstract interpreter to allow easy composition of analyses
9 years ago
Andrzej Kotulski 99a58e691d Report empty vector access in tabulation.ml
9 years ago
Cristiano Calcagno 56cfac14da Fix issue in join where the origin of a variable would be lost in a loop.
9 years ago
Sam Blackshear e3e80dd2f0 don't report on private unguarded accesses
9 years ago
Sam Blackshear 36ee3730aa reporting error on unprotected access to field annotated with @GuardedBy
9 years ago
Dino Distefano f259863090 Fixing DIRECT_ATOMIC warning on models.
9 years ago
Andrzej Kotulski 8ccdff649f Report empty vector access instead of null dereference
9 years ago
Josh Berdine 1177f21aa4 Optimize deserialization retrying
9 years ago
Jules Villard 1c7375143d bump version of facebook-clang-plugins
9 years ago
Jules Villard 24cbba4355 Revert "[CSL] add model of locks inside the Object class"
9 years ago
Andrzej Kotulski 058f4455dc Modify model of std::vector
9 years ago
Josh Berdine 3fe1cbb6ec Fix bug in sym_eval
9 years ago
Josh Berdine 0947a67a7e Remove dead Sil.*_iter_types functions
9 years ago
Josh Berdine 66faedbf15 Optimize attribute loading
9 years ago