3873 Commits (7428f36fbd29ab5df266aa532f0856abb7ebb264)
 

Author SHA1 Message Date
Jules Villard 6f0911c157 [CLI] do not generate --command options by default
8 years ago
Peter O'Hearn ddcbb419be [threadsafety] Thumbs up step 1
8 years ago
Jules Villard 644066f4be [driver] make clear when the results dir becomes available
8 years ago
Jules Villard 5fae8ca712 [CLI] deprecate `-a capture/compile` and `-- analyze`
8 years ago
Jules Villard 1727bd4125 [clang] clang pointer map becomes a clang pointer hashtbl
8 years ago
Sam Blackshear aa50d90a7d [quandary] get rid of report_reachable bool in taint specifications
8 years ago
Sam Blackshear 3e45a249d5 [thread-safety] fix infinite loop in quotient_access_map
8 years ago
Mehdi Bouaziz ec7b096ff6 [inferbo] Add warnings and errors for unreachable code
8 years ago
Kyriakos Nikolaos Gkorogiannis 7be1bfa89f [threadsafety] Fix some FPs added by may-alias analysis.
8 years ago
Jia Chen c0e20e0880 Propagate C++ noexcept annotation from frontend to backend
8 years ago
Jia Chen 2720716b95 Prettier error message for NullabilitySuggest
8 years ago
Sam Blackshear 7d828fff93 [quandary] make it possible to specify code that should be modeled even if we have a summary
8 years ago
Jules Villard 84b9901b22 [driver] run analysis and reporting for "analyze" commands
8 years ago
Dulma Churchill 03bdf0fe2c [linters] Cast from pointer to integer
8 years ago
Jules Villard 2608ec67c3 [CLOpt] add option `f` argument to a bunch more `mk_*` functions
8 years ago
Jules Villard 0404641ab3 [utils] move parts of utils into their own submodules to avoid future dependency cycle
8 years ago
Daiva Naudziuniene f4b9bb3e3b [ThreadSafety] Do not report unprotected writes for c++.
8 years ago
Mehdi Bouaziz 5bed343280 [commandline] Fix error option '' expects one of
8 years ago
Jia Chen 6fc287656f Transitively track null assignment in NullabliltySuggest
8 years ago
Martino Luca 2e8e5733f6 [AL] Load AL files from a directory
8 years ago
Jules Villard f9c146ced1 [log] pardon my french
8 years ago
Andrzej Kotulski fd104a586f update fcp
8 years ago
Mehdi Bouaziz 70c4aec26e [inferbo] Fix vector model
8 years ago
Dino Distefano 0809279b3b Extending type parser to deal with typedefs
8 years ago
Sam Blackshear 4ef487928c [quandary] make passthroughs optional
8 years ago
Sam Blackshear 38d3946c71 [quandary] support for basic return value sanitizers
8 years ago
Andrzej Kotulski 5522365479 [IR] Add Typ.TVar variant to Typ.desc
8 years ago
Mehdi Bouaziz 2d73c71845 [debug] Links to non-visited nodes
8 years ago
Dulma Churchill 46a539df82 [linters] Specify path in linters
8 years ago
Kihong Heo 485814a75a [Inferbo] remove redundant alarm message
8 years ago
Mehdi Bouaziz cc6b0f1e0b [inferbo] Print skipped warnings only with bo_debug >= 4
8 years ago
Mehdi Bouaziz 8dd041c5af [inferbo] Moving stuff
8 years ago
Mehdi Bouaziz 5d9291b911 [inferbo] Some more debug
8 years ago
Mehdi Bouaziz f521e5fbc0 [inferbo] Models for exit, fgetc
8 years ago
Mehdi Bouaziz c9803a6481 False negative tests for std::timed_mutex
8 years ago
Andrzej Kotulski c6e2046848 [C++] Fix various issues with unique_ptr model
8 years ago
Mehdi Bouaziz b2e03b1734 [inferbo] New test for call by ptr/ref
8 years ago
Josh Berdine bf504c5b70 Minimal thread safety analysis for C++
8 years ago
Josh Berdine b4b45236fd [threadsafety] Relax javaism of may_alias
8 years ago
Josh Berdine c46d698ecb ignore InferCreateTraceViewLinks
8 years ago
Jia Chen 07c6fbef81 Added an initial implementation of a checker that suggest the use of @Nullable
8 years ago
Sam Blackshear 1d9d7a3ee0 [guarded-by] fix error message
8 years ago
Dulma Churchill 470a409d76 [clang] Blacklist retain cycles for now
8 years ago
Peter O'Hearn 34ae89cf35 [threadsafety] Model more xThreadUtil methods
8 years ago
Kihong Heo de32a6728e [inferbo] remove bottoms in pointer arithmetic
8 years ago
Don Stewart 1a41d9dc89 Add location information to boolean conditions in paths. Improves comprehension a little
8 years ago
Kyriakos Nikolaos Gkorogiannis 750cc65092 [threadsafety] fix false negative on locations that may alias.
8 years ago
Mehdi Bouaziz 1486b92084 [inferbo] Renamed a few Itv values
8 years ago
Dulma Churchill 43d7428e8f [linters] Linters options in the help
8 years ago
Mehdi Bouaziz 846c9c49a8 [Makefile] Reduce races of concurrent outputs
8 years ago