9144 Commits (d02f0b322ee1ea7bad5214cada774a8af35c3d47)
 

Author SHA1 Message Date
Ezgi Çiçek 0d0b3d2eb4 [impurity] Hoist out formals and procname
4 years ago
Mitya Lyubarskiy 7dcbacf693 [nullsafe] Add an option to warn about unvetted third party in default mode
4 years ago
Mitya Lyubarskiy c6a33c88b7 [nullsafe] Prettier error rendering for untrusted values
4 years ago
David Pichardie b073b55b1a Fixing warning in experimental Java source parser
4 years ago
Joscha Benz 606a3c95d9 Add a config option to whitelist common initializer values for liveness analysis (#1340)
4 years ago
Nikos Gorogiannis bab5aa4b08 [racerd] refactor processing of calls
4 years ago
Edwin Kofler 45f2db284d Fix Infer Installation Procedure (#1344)
4 years ago
Sungkeun Cho ce9472f451 [cost] Add trace of closure in autoreleasepool checker
4 years ago
Nikos Gorogiannis 3eed17488a [racerd] improve summary processing on calls
4 years ago
Ezgi Çiçek d3f1aab803 [preanalysis] Handle assigning blocks to locals in closure substitution
4 years ago
Martin Trojer 9fd1a87cd5 Upgrade Infer to clang10
4 years ago
Ezgi Çiçek c80b80d0d7 [preanalysis] Handle closure substitution in conditionals
4 years ago
Martin Trojer 498da13cad [objc] [fcp] only emit property_control tag when we have non-None property_control
4 years ago
Jules Villard 2b4c3fcbaa [clang] remove redundant Procdesc.Node prefixes
4 years ago
Jules Villard 73195ca203 [clang] remove named node_name
4 years ago
Jules Villard 29f3941600 [clang] deal with conditionally-destroyed temporaries
4 years ago
Jules Villard 3d588b2751 [clang] get rid of FallbackNode
4 years ago
Jules Villard 2efa22073c [clang] force node creation in switch statements
4 years ago
Ezgi Çiçek f3f77fa0b4 [cost] Silence the log in non-debug mode and refactor
4 years ago
Joshua Selbo 4c85f98c29 [nullsafe] Register View Properties as known non-nullable fields
4 years ago
David Pichardie 2f09b39f56 New java source parser for declaration locations (experimental)
4 years ago
Josh Berdine 02625ac1ce [sledge] Add coverage statistics to test report
4 years ago
Josh Berdine 558921e494 [sledge] Allow -bound flag to be overridden in test Makefile
4 years ago
Josh Berdine 0b1760af24 [sledge] Add compare, equal, and hash to core Llair types
4 years ago
Josh Berdine 8fc7e5ef58 [sledge] Move handling of realpath to the frontend and cli
4 years ago
Josh Berdine f4c2c8be7c [sledge] Translate __llair_choice intrinsic to nondet
4 years ago
Josh Berdine d34dd02ee1 [sledge] Fix over-aggressive normalization in Trm._Extract
4 years ago
Josh Berdine b46baac684 [sledge] Auto-scale numbers in test report
4 years ago
Josh Berdine b0e37f3cbb [sledge] Fix trace spec parsing of functions starting with underscore
4 years ago
Josh Berdine de2ea63d40 [sledge] Fix vocabulary handling of symbolic execution of multi-spec insts
4 years ago
Josh Berdine fe93dd754e [sledge] Improve the option and file naming of binary vs text llair output
4 years ago
Josh Berdine f02952c003 [sledge] Rename Sh.seg.seq to cnt
4 years ago
Mitya Lyubarskiy 79d65a83df [nullsafe] Record correct param index in json
4 years ago
Mitya Lyubarskiy cced510cb9 [nullsafe][annotation graph] Don't fail while dealing with synthetic fields
4 years ago
Jules Villard f2e3f67f40 [clang] change the way we wire up return statements
4 years ago
Daiva Naudziuniene 019adf7e78 [pulse] Model for folly::Optional::get_pointer
4 years ago
Jules Villard f411c7d131 [pulse] do not stop at the first error in function calls
4 years ago
Dominik Harmim 3df3ca9eac Fix of building Infer for Objective C (#1345)
4 years ago
Josh Berdine f284425cb7 [sledge] Rename some unary predicates with is_-prefixes
4 years ago
Josh Berdine 6970741f27 [sledge] Add arg labels on Trm constructors to avoid confusion
4 years ago
Josh Berdine 2118ebd923 [sledge] Use the size of a global's type instead of maintaining separately
4 years ago
Josh Berdine 4916aee050 [sledge] Revise Context.classify to detect more atomic terms
4 years ago
Josh Berdine c31e7f2ee7 [sledge] Treat Splat as interpreted
4 years ago
Pratik raj 9d49fd5c60 Use `--depth` flag to `git clone` in Dockerfiles, to save space (#1341)
4 years ago
Jules Villard 49dc61b9c5 [clang] refactor to expose when creating destructor call will succeed
4 years ago
Jules Villard 578583f2ab [pulse] check that new arithmetic facts are consistent with the heap
4 years ago
Jules Villard 47e9f8ffec [pulse][easy] code factorisation
4 years ago
Jules Villard e32f6ca360 [clang] fix bad interaction between ConditionalOperator and initializers
4 years ago
Josh Berdine 5138c0eb15 [sledge] Refactor the theory cases of the equality solver for clarity
4 years ago
Josh Berdine 23b5571029 [sledge] Normalize Splat 0 to 0
4 years ago