8235 Commits (1c0f242e8bb67d42cf6e941b79597fc40c8612f2)
 

Author SHA1 Message Date
Jules Villard 79c5cceecf [java] kill ZipLib (aka specs-in-a-jar)
5 years ago
Jules Villard 224e0b7c52 [java] store specs files same as clang models
5 years ago
Nikos Gorogiannis 4b4caea260 [buck-java] use buck build reports for infer-deps
5 years ago
Dulma Churchill 2382e3d613 [pulse] Model Core Graphics Create and Copy just like malloc
5 years ago
Dulma Churchill 59ea968de8 [pulse] Model the correct CFAutorelease
5 years ago
Jules Villard bf671af2b2 [oss] more flexible way to have opensource stubs
5 years ago
Ezgi Çiçek e1093159b0 [pulse] Distinguish error state at top level
5 years ago
Ezgi Çiçek 8d44265ca1 [impurity] Consider exited functions as impure
5 years ago
Dulma Churchill b29d1a2f5f [pulse] Adding new value history for allocations
5 years ago
Nikos Gorogiannis d8f446a25e [scuba] support string payloads
5 years ago
Sungkeun Cho a152a6131b [inferbo] Give a right location to traces for pruning
5 years ago
Ezgi Çiçek 6105a6ab42 [pulse] Add tests for constant abstract locations
5 years ago
Jules Villard e1d7ce9628 [biabd] cache the list of modelled functions
5 years ago
David Pichardie 50c98db391 Storing class source file locations in Struct (Tenv) records
5 years ago
Mitya Lyubarskiy 3ccacb1f6e [nullsafe] Add nullsafe extras for meta-issues
5 years ago
Sungkeun Cho 2eae5ff88c [inferbo] Find method of interface or abstract class
5 years ago
Sungkeun Cho f0f91b21c6 [inferbo] Distinguish array declaration and size-setting in trace
5 years ago
Jules Villard 7410cebd3b [deadcode] more portable `find` command
5 years ago
Ezgi Çiçek 5a2b285fff [pulse] Distinguish exit state at top level
5 years ago
Nikos Gorogiannis f0afa18cbf [buck] don't die on output parse failures
5 years ago
Dulma Churchill dba4140a7b [pulse] Adding null case to malloc's model
5 years ago
Jules Villard 1cb973b44f [buck] delete infer-out/tmp/ before caching
5 years ago
Jules Villard 44ebe59b99 [config][easy] make Config.temp_file_dir relative and rename
5 years ago
Sungkeun Cho cfe4c62e47 [inferbo] Limit depth of abstract location
5 years ago
Sungkeun Cho d2276c4975 [cost] Re-locate where to print issue with heuristics
5 years ago
Jules Villard 66ed16fd27 [clang] skip initialisation of large compound values
5 years ago
Dulma Churchill 271946a178 [pulse] Model release functions from Core Graphics and Core Foundation
5 years ago
Dulma Churchill 6f2b52fcc7 [pulse] Model Core Graphics create and copy functions
5 years ago
Nikos Gorogiannis 1e25cf2168 [buck] use temp file instead of pipe for buck comms
5 years ago
Jules Villard 6e235d877e [driver] move code to scrub infer-out/ for caching to ResultsDir
5 years ago
Jules Villard 5aed10f06a [config] delete dead stats dir names
5 years ago
Jules Villard acb76469b5 [odoc] fix all provably-dodgy docstrings
5 years ago
Jules Villard c1818c0c1c [odoc] fix doc generation, no need for public names
5 years ago
Jules Villard efc59b1cdf [dune] ignore all dirs except src/
5 years ago
Jules Villard 6dc0894eef [pulse][models] add the proc name being matched to the context
5 years ago
Ezgi Çiçek cec8cbeff2 [pre-analysis] Add models for `no_return` and handle throw-catch better
5 years ago
Nikos Gorogiannis cf5925494c [buck] log target count
5 years ago
Anton Kochkov cab87cd234 [infer][PR] Update base for Docker, remove python2
5 years ago
Sungkeun Cho 534149ff52 [cost] Find method of interface or abstract class
5 years ago
Dulma Churchill 902514dccd [pulse] Add unreachable point to the trace of memory leaks
5 years ago
Nikos Gorogiannis 46269eb891 [starvation] comply with issue log contract
5 years ago
Nikos Gorogiannis 7678143016 [capturedb] don't fail on unparseable buck output
5 years ago
Jules Villard bacb2b3d6e [nullsafe] unused functor argument -> get rid of module-ification
5 years ago
Mitya Lyubarskiy e10e458bee [nullsafe] Remove a wrong model for com.google.common.collect.Iterables.getFirst()
5 years ago
Mitya Lyubarskiy d51a688a1b [nullsafe][EASY] Log callee annotated signature when typechecking SIL call instruction
5 years ago
Amar Paul 869ba0f966 [infer][PR] Fix opam remove error
5 years ago
Asy a21b389a8a [infer][PR] Update README.md
5 years ago
BSKY d080b7806c [infer][PR] Add some minor changes to the website
5 years ago
Mitya Lyubarskiy 08e7a11edf [nullsafe] Respect NullableDecl annotation
5 years ago
Sungkeun Cho 88e9079357 [cost] Add method name to report
5 years ago