143 Commits (fa0184be87b59228c7003831974f1847bbf1cc36)

Author SHA1 Message Date
Sam Blackshear e9cb9f4352 assign pointer type checker
9 years ago
Andrzej Kotulski 89e3962347 Remove source file filtering in clang_wrapper
9 years ago
Andrzej Kotulski f1b68fe5b9 Always define static_assert(...) to do nothing
9 years ago
Andrzej Kotulski a8de56e9bf Include C++ models only in --cxx mode
9 years ago
Jules Villard 2a41d7b0ff always create .start if it doesn't exist
9 years ago
Jules Villard 9f10b09688 add cmake to the list of make-like tools
9 years ago
Jules Villard a093780885 add configure to the list of make-like tools
9 years ago
Cristiano Calcagno d41d452b67 Make eradicate work in the absence of procdescs for callees.
9 years ago
Jules Villard bc5dc80df6 waf support
9 years ago
Jules Villard d95ed8e9a7 write filenames as ascii only
9 years ago
Jeremy Dubreil ebe82340b9 No longer create procedure description for the callees when running the checkers
9 years ago
Jeremy Dubreil 319cc9334e Create the procedure description of the callee when running the capture only, because Gradle uses this
9 years ago
Jeremy Dubreil ff737edf93 Fix broken caching support for the Buck integration
9 years ago
Cristiano Calcagno e34e369835 Complete command-line support for reactive mode with buck on iOS.
9 years ago
martinoluca c5d26439f5 Proactively merge infer-deps.txt and report.json files and emit results to stdout
9 years ago
Deniz Türkoglu beaa9a6925 Add option to generate the report in PMD XML format
9 years ago
Cristiano Calcagno 010b57e7cc Add --continue option for reactive analysis to continue the capture.
9 years ago
jrm cc4fcd6837 Add support for modeling @Expensive methods using .inferconfig
9 years ago
Andrzej Kotulski eb76a441f9 Initial implementation of shared_ptr model
9 years ago
jrm 81a59515e4 Simplify the code to collect the list of @SuppressWarnings annotations
9 years ago
Jules Villard 14f329ba59 bye bye logo
9 years ago
Dulma Rodriguez c20ace4a1a Add flag cxx experimental to the clang frontend
9 years ago
Jules Villard 527d26dd91 colorise issue messages
9 years ago
Jules Villard b03304e0d8 move color code to colorize.py
9 years ago
Jules Villard 1aa5b1e947 do not print source excerpts in bugs.txt
9 years ago
jrm e123635122 Add support for @SuppressWarnings for Gradle and Ant projects.
9 years ago
Andrzej Kotulski 7d425f22c2 Don't run rocksdb benchmark in debug mode
9 years ago
martinoluca 44502c1673 Merge infer-deps files generated by Buck
9 years ago
jrm 082ca6a90a Initial support for lazy dynamic dispatch
9 years ago
Cristiano Calcagno e0d5847eb8 Deprecate incremental
9 years ago
Dino Distefano c868f51b2d Introducing checker for observer of notification centers
9 years ago
kstreee f400247d16 Fix missing import statement bug.
9 years ago
Jules Villard fcd0379d52 fix bug that made it crash
9 years ago
Jules Villard 1952f54d8c minor cleanups
9 years ago
Jules Villard 2277c23c60 move java-specific code out of analyze.Infer
9 years ago
Jules Villard 9d080cadb1 move get_javac_args to jwlib.py
9 years ago
Josh Berdine 2c489371dd Revert "[ondemand][backend] Turn on on-demand infrastructure by default"
9 years ago
jrm 73a07dc44e Fix gradle integration tests
9 years ago
Jules Villard 37c2d39dac move jwlib.FILELISTS to config.py
9 years ago
Jules Villard dc52ce8158 ignore errors as appropriate on input decode/output encode
9 years ago
Jules Villard af5f4c6afd remove inaccurate output about analyzing 0 procedures
9 years ago
Jules Villard 88881581b3 use supplied javac instead of the one from PATH
9 years ago
Cristiano Calcagno 2b1558af6d Turn on on-demand infrastructure by default
9 years ago
Andrzej Kotulski 7cb4165189 Set _FORTIFY_SOURCE to 0 when compiling with clang
9 years ago
Cristiano Calcagno 42ecddcf37 Add command line arguments for reactive mode.
9 years ago
martinoluca fc589ccf34 Fix encoding error while printing descriptions in stdout
9 years ago
Sam Blackshear bb793770b9 remove --no-cache option, which does nothing
9 years ago
Jules Villard 07822ff16e output infer source locations on --debug-exceptions
9 years ago
Andrzej Kotulski 3db68bcb4c Create .start file when infer starts
9 years ago
jrm 8eb73bf39d Turn on ondemand for the tracing mode
9 years ago