3601 Commits (cbe47b0d6cffe0beb53c310a0725db15d1dda8af)
 

Author SHA1 Message Date
Andrzej Kotulski cf8d5483db [C++] Add option to exclude header models from compilation
8 years ago
Jules Villard bfccb5222e [buck] do not generate non-deterministic data inside buck-out
8 years ago
Jules Villard 8f50c9dd3b [buck] do not pass unused --buck to python
8 years ago
Jules Villard 53f5c2ef13 [travis] use ./build-infer.sh to build infer
8 years ago
Dulma Churchill 57dd45dd82 [linters] Improve the error message in implicit cast error
8 years ago
Jules Villard 8757210813 [docker] use latest infer release
8 years ago
Sam Blackshear 0714b93b14 [quandary] use sink index info when expanding traces
8 years ago
Jules Villard 334c68771b [tests] add test for Buck flavors integration
8 years ago
Daiva Naudziuniene 093a00af9b [ThreadSafety] Do not report for c++ classes that do not have mutex member.
8 years ago
Jules Villard d1ef5ae27f [log] fix issue with --print-logs
8 years ago
Jules Villard e00a82adcb [opam] add `make opam.lock` target
8 years ago
Jules Villard ba5e04cf39 [clang] save temporary clang commands into /tmp
8 years ago
Dino Distefano 55da0055c9 Predicate for `using namespace`
8 years ago
Jeremy Dubreil 8917536944 [eradicate] model System.getenv as @Nullable
8 years ago
Jia Chen bbed46de47 [infer][java] Suggest @Nullable on fields that are compared to null
8 years ago
Sam Blackshear 24d541d403 [quandary] move some utility functions for manipulating footprint vars/access paths into appropriate modules
8 years ago
Sam Blackshear 3135560283 [quandary] move trace expansion logic into Quandary
8 years ago
Jules Villard b449b8c735 [wibble] refactor error output
8 years ago
Jules Villard 6435e6b001 [build] put clang plugin files inside src/clang_plugin/ instead of src/clang/
8 years ago
Jules Villard e24bffef98 [police] open IStd automatically
8 years ago
Jules Villard 7a1f1d93ad [log] --stats sets debug level to 1
8 years ago
Sam Blackshear 97bf3324c8 [quandary] add indexes to sinks
8 years ago
Sam Blackshear 2089cd8a34 [thread-safety] container models for SparseArray/SparseArrayCompat
8 years ago
Sam Blackshear 56201964ca [cleanup] make `PatternMatch.is_subtype` reflexive
8 years ago
Jules Villard 93cc3266e8 [log] log to a single file with different categories and debug levels
8 years ago
Jules Villard 03bd3f1df1 [log] append ERROR in front of `failwith` toplevel messages
8 years ago
Jules Villard b50f9f2695 [police] open IStd everywhere
8 years ago
Jules Villard a121e4bb01 [oops] do not report in analysis sub-processes
8 years ago
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