1990 Commits (4e849fa5d5a69b980710390207ed99559140cd0d)

Author SHA1 Message Date
Jeremy Dubreil 3093f2aa3c [infer][java] remove the dead code manipulating the bootclasspath
8 years ago
Martino Luca 950eca3cb3 [CTL] Add support for `in_node` predicate to check correctness of its inputs
8 years ago
Dulma Churchill 616ee9276b [clang] Adding model for NSString length to avoid false positive npes.
8 years ago
Andrzej Kotulski a8b0871660 [reactive capture] Pass compilation db files to InferAnalyze, use absolute fnames
8 years ago
Jeremy Dubreil afd29e71de [infer][backend] Simplify the code doing the case analysis for execturing the cast instruction
8 years ago
Peter O'Hearn 47588027eb [threadsafety] analyze all the files and methods
8 years ago
Ryan Rhee 28b741e62c [componentkit] Compute Cyclomatic Complexity
8 years ago
Andrzej Kotulski 7a5e53262a [DB] kill abs_source_file_from_path
8 years ago
Andrzej Kotulski 7d22130deb [clang] Refactor CompilationDatabase modules
8 years ago
Andrzej Kotulski 7a0a89e567 [DB.source_file] Explicitly specify what path is relative to, keep cpp model paths relative
8 years ago
Ryan Rhee ccb51912e1 [componentkit] Compute line count for main file
8 years ago
Cristiano Calcagno 31e6f19ab2 [debug] Don't keep a copy of source files in the results directory
8 years ago
Ryan Rhee 661de290e7 [componentkit] Gate analytics behind flag
8 years ago
Martino Luca 7c9612b06b [CTL] Add support for is_unop_with_kind/is_binop_with_kind predicates to check correctness of their inputs
8 years ago
Andrzej Kotulski cd6e9e8b21 [InferPrint] Kill --source-file-copy option
8 years ago
Dulma Churchill e8085d5996 [linters] Fix perf problem in the linters, added tests
8 years ago
Andrzej Kotulski 338a8563a1 [clang] Don't filter entries when populating compilation database
8 years ago
Jeremy Dubreil 3299f74068 [infer][java] removing Thread.start() special treatment
8 years ago
Ryan Rhee a2c8c94a3b [componentkit] Move is_in_main_file check to CTL
8 years ago
Andrzej Kotulski b2cef3e0b2 [DB] Alawys use DB.source_file_to_abs_path to do actual filesystem operations
8 years ago
Andrzej Kotulski 548918e524 [tests] extend compilation database test with changed-files-index options
8 years ago
Josh Berdine 34739522c0 [utils] Add CTypes binding of fts and implement remove_directory_tree
8 years ago
Sam Blackshear 8d427cfda6 [reporting] add space to context leak error message
8 years ago
Sam Blackshear bdfc7de48e [tests] fix buck integration tests
8 years ago
Sam Blackshear a6121a9fb0 [guarded-by] support `Classname.fieldname` syntax
8 years ago
Jeremy Dubreil 5df335b715 [infer][python] remove unused imports
8 years ago
Jules Villard 86cb2f4938 [toplevel] fix various things
8 years ago
Josh Berdine 1bbbf658de [report] Fix report script and inherit std file descriptors when invoking
8 years ago
Jules Villard 23a8be5a1b [java] do not force java8
8 years ago
Peter O'Hearn f2d86cb90c [GuardedBy] Model of trylock in ReentrantLock.java
8 years ago
Sam Blackshear 708c0bf1f8 [backend] eliminate phantom spaces in printing of types
8 years ago
Jules Villard b34e8fe192 [tests] fix clean targets
8 years ago
Josh Berdine 9bf0360eca [linter] Remove dependency on core_extended
8 years ago
Dulma Churchill 1ba52b71c1 [infer][tests] fix unknown variable in issues.py
8 years ago
Josh Berdine d808baba1a [driver] Make analysis of non-java and buck cdb build modes python-clean
8 years ago
Josh Berdine cb412826c3 [driver] Make `infer -- analyze` almost python-clean
8 years ago
Peter O'Hearn 733646ba09 [GuardedBy] Fix Subclassing False positive
8 years ago
Sam Blackshear adacee51e2 [quandary] switch to --issues-tests printing
8 years ago
Sam Blackshear 37610b5180 [quandary] faster access list comparisons
8 years ago
Sam Blackshear b320714edd [quandary] optimizing Quandary compare functions
8 years ago
Jules Villard 4a673f540d [python] add script report.py to post-process report.json
8 years ago
Jules Villard 17179d4275 [siof] take POD into account
8 years ago
Jules Villard 05c72f510a delete llvm/ directory checked in by error
8 years ago
Jules Villard b3209e2c18 [tests] convert clang_compilation_db test to Makefile
8 years ago
Jules Villard 15d80e04df [tests] record summary of bug traces
8 years ago
Jules Villard 68332a16a0 [clang] always print clang errors on stderr
8 years ago
Jules Villard 81856c0d15 [python] fix another bug in pygments.highlight()
8 years ago
Dino Distefano 0ed033a32e Removing the dispatcher for linters.
8 years ago
Andrzej Kotulski 4512fcd8ef [tests] Create integration tests for clang translation logic
8 years ago
Sam Blackshear 8d48c108ca [quandary] add Errlog traces
8 years ago
Jules Villard e3d8482bd4 [python] limit the number of displayed reports to 10
8 years ago
Jeremy Dubreil ba62932760 [infer][java] Translate the local variables directly from the bytecode
8 years ago
Andrzej Kotulski 90f3712555 add reactive capture flag
8 years ago
Jules Villard ac47d115f5 [tests] include clang.make a bit later to fix compile target
8 years ago
Jules Villard 83f236451d [c] setlocale(3) accepts NULL as second argument
8 years ago
Sam Blackshear 5c2666a07c [quandary] filter the footprint sources in Trace.should_report
8 years ago
Josh Berdine a739931c92 [config] Remove unnecessary -classpath option
8 years ago
Peter O'Hearn 7a04ed32f5 [threadsafety] interprocedural
8 years ago
Jules Villard ec9453d356 [python] do not crash when reporting invalid locales
8 years ago
Jules Villard 2d846d89a6 [build tests] migrate buck integration test to Makefiles
8 years ago
Jules Villard 281d5b49fe [tests] sort bugs in InferPrint
8 years ago
Jules Villard 70720798d8 [tests] share javac.make more broadly
8 years ago
Peter O'Hearn 171d1d6d43 [threadsafety] run thread safety checker on its own
8 years ago
Andrzej Kotulski 6b083af4f3 [tests] small refactor of frontend makefiles
8 years ago
Jeremy Dubreil 2320ed8af3 [infer][java] Infer does not really rely on having compliant bytecode to run the analysis
8 years ago
Jeremy Dubreil 02ce9a909a [infer][java] only skip the classes where Javalib raises an exception instead of skipping all the classes
8 years ago
Sam Blackshear 75d6fb30e4 [frontend] support Java 8
8 years ago
Dulma Churchill b792d04fbd [clang] Integration with xcpretty and compilation database
8 years ago
Jeremy Dubreil 21a568aba8 [infer][java] Fix spurious class cast excpetion reports when casting arrays of primitive types
8 years ago
Andrzej Kotulski 1a4d165d44 [utils] Cache results of realpath
8 years ago
Dino Distefano 6ffaded4be Modified the hardcoded CTL formulas in preparation to dispatcher removal
8 years ago
Jules Villard 0085417e0d [siof] better error reports using `Errlog.loc_trace`s
8 years ago
Jules Villard 25759199cf [make] use install instead of cp when appropriate
8 years ago
Jules Villard 5bd8b7fa95 [make] compatibility with Debian testing
8 years ago
Jules Villard 7705ffbc31 [checkers] rename to_callee -> with_callsite
8 years ago
Jules Villard caf9537305 [refactoring] add make_trace_element to Errlog
8 years ago
Josh Berdine 25c9d8ae49 [logging] Delay re-creation of log dir until log files created
8 years ago
Andrzej Kotulski 9fb8931990 don't create infer-out/build_output directory
8 years ago
Cristiano Calcagno c5159bae1c [IR] Move Procdesc module to a separate file.
8 years ago
Sam Blackshear e8b61f6dbb [quandary] fix false positives from procedures that are both sources and sinks
8 years ago
Sam Blackshear 4b4e4e6f4d [quandary] understand that parameters are passed by value in Java
8 years ago
Josh Berdine dcf67c455f [linter] Make checkCopyright indep of Utils, and fix build
8 years ago
Jeremy Dubreil eb197a1cd4 [infer][tests] Make was always exiting with exit code 0 even in the case of test failures
8 years ago
Jeremy Dubreil 274851fc53 [infer][java] mark all methods as defined
8 years ago
Jules Villard bfb0cfa4fd [python] work around bug in pygments to display the right source excerpt
8 years ago
Sam Blackshear 8784b9b946 [backend] fix cursor leak FPs
8 years ago
Jules Villard 54c3ac41f2 [inferprint] do not print all specs when passed individual specs files
8 years ago
Josh Berdine 3021394a10 [config] Remove unnecessary --models
8 years ago
Josh Berdine 16010adab4 [refactor] InferAnalyze init code to InferAnalyzeExe
8 years ago
Josh Berdine b2680d72d0 [config] Make Config.analyzer non-optional, with None = Some Infer
8 years ago
Josh Berdine f22d03903a [logging] Delay creation of log files until they are used
8 years ago
Josh Berdine 426f29fb3c [make] Silence expected warnings and other spew from tests
8 years ago
Cristiano Calcagno 7e4710004e [perf] Use load average limit only during buck analysis
8 years ago
Sam Blackshear ba7cef4657 [backend] differentiate unknown methods and methods with empty summaries
8 years ago
Andrzej Kotulski 459ec32081 kill Location.nLOC
8 years ago
Sam Blackshear f35a969def [context leaks] don't report context leak if reachable context type is null
8 years ago
Jeremy Dubreil 9921e3c427 [infer] Unbreak the build integration tests
8 years ago
Jules Villard cbe15b3b5a [build] move not-clang-only modules to a new (old) integration/ directory
8 years ago
Andrzej Kotulski 1cbc812502 System calls to filesystem are expensive, call them with care
8 years ago
Peter O'Hearn be977e7318 Turn GuardedBy Reporting on by default
8 years ago