3518 Commits (c025d56214b9dac583af52899104c8bd0b4eadb7)
 

Author SHA1 Message Date
Martino Luca d5fbb298eb Skip compilation of certain source files, if desired
8 years ago
Jules Villard 71f20908a1 [logging] revert to using `assert false` since we catch `Assert_failure` in some places
8 years ago
Jules Villard bee1bbc26b [build] clean out stale binaries
8 years ago
Dulma Churchill a7cff528fa [linters] Disable components factory function rule
8 years ago
Jeremy Dubreil 16b87a3675 [infer] more cleanup for the tracing mode options
8 years ago
Sam Blackshear 6af61d099e [HIL] Print HIL instructions in the debug HTML
8 years ago
Mehdi Bouaziz b8c677497a [checkers] Kill Localise.checkers_dead_code
8 years ago
Sam Blackshear 54f1122bc0 [quandary] allowing specification of C++ endpoints
8 years ago
Martino Luca 34a0efd626 Add optional field in serialized output
8 years ago
Dino Distefano 4e7c7f30c1 Extended transitions to universal quantified operators
8 years ago
Dulma Churchill 31f189532c [buck capture] Remove the argument keep-going from the buck targets command
8 years ago
Dino Distefano e77ca182a5 Added a lint for namespace
8 years ago
Jules Villard 741e527826 [console] print progress-like messages on stderr
8 years ago
Jules Villard b964f6ab74 [CLI] options to unset default checkers and to print active checkers
8 years ago
Jeremy Dubreil 441bf7131a [infer][CLI] remove the Tracing analyzer option and only rely on the --tracing option for the biabduction analysis
8 years ago
Jeremy Dubreil d470ed6edc [infer][models] model java.io.BufferedReader as a wrapper
8 years ago
Jules Villard 500f0fd5d5 [analyze] same parallelisation for `infer-analyze` and `infer -- analyze`
8 years ago
Dulma Churchill b196eaa1bd [clang] Collect captured folders in buck-out when keep-going is passed
8 years ago
Dino Distefano bdd2395be6 Adding ability to get type of paramters.
8 years ago
Sam Blackshear 45aaa4da93 [quandary] gflag globals as source
8 years ago
Sam Blackshear 32ead76a3b [absint] make Set and Map functors take an ordered type
8 years ago
Dulma Churchill 7c1a01b186 [clang] Make keep going work with the infer-capture-all integration
8 years ago
Dino Distefano cfd0a9b038 Extending type parser to parse ObjC classes.
8 years ago
Jeremy Dubreil 11ebad7cea [infer][checkers] finaly remove the unecessary 'checkers' flag
8 years ago
Jeremy Dubreil 5b495c6a38 [infer][absint] Functor to create a domain with Top
8 years ago
Jeremy Dubreil 64ab959486 [infer][java] model the Eradicate assertion utils for the biabduction analysis
8 years ago
Jeremy Dubreil 735e906145 [infer][java] Force the Buck integration for Java to not use the Buck daemon
8 years ago
Jeremy Dubreil 1fbc4a1b22 [infer][java] remove the temporary file created to store the list of Buck targets
8 years ago
Sam Blackshear abc5642c83 [quandary] tests for string functionality
8 years ago
Jules Villard 4266360606 [build] taking the .mli into account actually broke the build
8 years ago
Jules Villard 8dacc2df94 [build] move ctl_parse_types.mli to the right place
8 years ago
Jules Villard 9c3e92d9fd [toplevel] small changes in the stdout output
8 years ago
Jules Villard 523cd84e92 bump version: 0.11.0 -> 0.12.0
8 years ago
Jules Villard 3f87a7de2b [clang] update plugin
8 years ago
Jules Villard 252c78bb0e [clang] initialize dynamically-size stack-allocated arrays
8 years ago
Sam Blackshear d5f4784e61 [quandary] add more exec sinks
8 years ago
Jeremy Dubreil 73e9963b76 Revert "[infer][checkers] remove the unecessary 'checkers' flag"
8 years ago
Jeremy Dubreil 7d0375d9ee [infer][checkers] add missing command line flags to enable/disable the checkers enabled by default
8 years ago
Jeremy Dubreil 5773a903c6 [infer][checkers] remove the unecessary 'checkers' flag
8 years ago
Jeremy Dubreil f43e18b7b6 [infer][checkers] add an option to enable the Fragment View Checker
8 years ago
Jeremy Dubreil a56ac06c7e [infer][tests] update the expected test results for bufferoverrun analysis
8 years ago
Kihong Heo 984a81413a [inferbo] Top for unanalyzed variables (e.g., global variables)
8 years ago
Sam Blackshear d446f0f800 [quandary] clipboard as a source
8 years ago
Jeremy Dubreil 3b9aa9ad15 [infer][checkers] filter out the experimental issues instead of using a whitelist
8 years ago
Jules Villard 06dfadecb7 [pmd] handle failure of decoding procedure ids as Java methods
8 years ago
Jules Villard 93ec47a5f4 [IR] add stride to array type
8 years ago
Sam Blackshear 9910391144 [quandary] improved handling of unknown code in C++
8 years ago
Sam Blackshear b7afa4727d [hil] fix crash when translating C code that indexes string literals like arrays or does pointer arithmetic
8 years ago
Sam Blackshear 4e97d1e991 [quandary] add support for C++ parameter passing modes that differ from Java
8 years ago
Sam Blackshear 30e629c319 [hil] rename Write to Assign
8 years ago