3329 Commits (c80812453f7728ef5f850b522c394b033be866fb)
 

Author SHA1 Message Date
Cristiano Calcagno 5c9b61877a [Eradicate] Code cleanup and add test cases
8 years ago
Peter O'Hearn 5062ac3173 [thread-safety] Model assertManThread and assertHoldsLock
8 years ago
Jules Villard dac8906d86 [make] make sure makefile uses config-time values
8 years ago
Andrzej Kotulski 8d5be14e9c [backend] Escape URLs to fix html output
8 years ago
Jeremy Dubreil 3e6ff023a7 [infer][ondemand] skeleton code to have every checker update their respective payload in the analysis summary
8 years ago
Martino Luca 5448a95ce7 [Infer][Localise] Group all issue types in one place, and provide their human-readable representation
8 years ago
Andrzej Kotulski 24b56de0e9 Populate mangled file only if it's not empty
8 years ago
Andrzej Kotulski 6a02568982 [clang] Change procname file naming scheme
8 years ago
Jules Villard dba740632c [cli] deprecate multiletter short options
8 years ago
Martino Luca 8ab1adf40d Better help message for `filter-report-paths` argument
8 years ago
Sam Blackshear 56b057acb8 [thread-safety] assume formals of DI constructors are owned
8 years ago
Peter O'Hearn 11937cb076 [infer][threadsafety] model tryLock() for java.util.concurrent.locks.Lock
8 years ago
Daniel Wagner-Hall 8397924886 Mark javax.tools.JavaFileObject#getNestingKind as nullable
8 years ago
Cristiano Calcagno d53160dee7 [backend][serialization] Fix flushing of temp file in serialization write
8 years ago
Cristiano Calcagno ec6a3cf6bb [backend] Add support for command-line option --per-procedure-parallelism
8 years ago
Andrzej Kotulski f4c424b4cc [clang frontend] Cleanup CAst_utils
8 years ago
Martino Luca 6e84a4b3cb Add `--filter-report-paths` argument to restrict results to a given list of paths
8 years ago
Andrzej Kotulski 6c67c850d5 [clang capture] Don't attach plugin when clang is invoked in preprocessor mode
8 years ago
Daniel Wagner-Hall 6c1339d044 Mark JavaFileObject#getAccessLevel as nullable
8 years ago
Andrzej Kotulski 41c9b05b47 [clang frontend] assert false on param mismatch
8 years ago
Dino Distefano 43f3a33c0c [infer][AL-DSL] Added predicates to query method calls of a certain class (Real Version).
8 years ago
Cristiano Calcagno 125fe4f21a [backend] Fix read-write race in serialization, using lock + rename.
8 years ago
Jeremy Dubreil 8bd8d5093c [infer][java] add an option to disable the creation of the human readable list of issues found
8 years ago
Dulma Churchill cdd58da8b1 [linters] Save the linters file in the linter definition
8 years ago
Andrzej Kotulski 06ac72c311 [clang] Pass template instantiation info to procnames in clang
8 years ago
Andrzej Kotulski 925d73efce [clang] Add template instantiation info into Procname.t
8 years ago
Andrzej Kotulski 95a8ca2d3e [tests] Run build system tests with --no-failures-allowed
8 years ago
Peter O'Hearn 2cf3bfeea1 [infer][threadsafety] Stop Unprotected Write and Read/Write races from being reported on the same line
8 years ago
Sam Blackshear bd5eb3c5cf [quandary] don't allow projection of non-footprint idents
8 years ago
Sam Blackshear 0f74016ef5 [thread-safety] add callee write as protected-if if it's conditionally owned in caller
8 years ago
Sam Blackshear b8ff597f7e [thread-safety] unify reads and writes into accesses
8 years ago
Andrzej Kotulski 8168d07240 [backend] Print timeout information into stdout in debug mode
8 years ago
Andrzej Kotulski e363958d34 [codemod] Move `Procname` into `Typ.Procname`
8 years ago
Jules Villard 6125632af3 [subcommands] read subcommand args from .inferconfig and the env
8 years ago
Dulma Churchill 6f25eefc1d [linters] Make the syntax error message more prominent
8 years ago
Andrzej Kotulski e08d9341c8 [clang] Run direct tests with --no-failures-allowed flag
8 years ago
Andrzej Kotulski 55b18df306 [clang] Make translation failures crash InferClang when --no-failures-allowed is set
8 years ago
Andrzej Kotulski 4b620316d3 Update fcp
8 years ago
Andrzej Kotulski 104acee99d [Sil] Create Typename.Obj/Cpp modules with constructors
8 years ago
Jeremy Dubreil cb57578c74 [infer][ondemand] Run the Thread-Safety checker in two phases, first analyze all the procedure on-demand using a procedure callback, and then combine all the analysis results using a cluster callback
8 years ago
Jeremy Dubreil fba8c256d0 [infer][java] When calling InferPrint, only consider the specs file in the local results directory
8 years ago
Andrzej Kotulski 1a9b81c0f4 [clang] Store Typename.t in Procname.ObjC_Cpp.class
8 years ago
Dulma Churchill 674cfe4c83 [linters] Create a linters developers mode
8 years ago
Cristiano Calcagno 5aa714b237 [Eradicate] Improve detection of circularities in field initialization
8 years ago
Jules Villard f30a26f02c [refmt] wrap refmt into scripts/refmt.sh
8 years ago
Jules Villard a8ba910c69 [subcommands] support --help in subcommands
8 years ago
Andrzej Kotulski b52a17eb75 [objc] Remove class information from CContext
8 years ago
Sam Blackshear 0675e88571 [annotations] pom.xml for releasing infer annotations via maven
8 years ago
Andrzej Kotulski ef79b20e17 [clang] Inline namespaces disappear, simplify infer's code
8 years ago
Sam Blackshear 5134ea36ed [thread-safety] enable defining aliases of @ThreadSafe in .inferconfig
8 years ago