3041 Commits (1e9f5f1bd354ce1634443c7af777cf7d78c70be8)

Author SHA1 Message Date
Nikos Gorogiannis b012bb9435 [racerd] ownership of contained objects should be that of container
5 years ago
Jules Villard a42e15147b [pulse] fix test for by-ref automatic initialisation
5 years ago
Ezgi Çiçek f4d3513724 Revert "[litho] Check and report on all nodes where return calls"
5 years ago
Ezgi Çiçek 776d4bf97d [litho] Change the domain
5 years ago
Ezgi Çiçek bdd4664177 [litho] Ignore location in CreatedLocation
5 years ago
Jules Villard eb52b28f91 [pulsebo] use inferbo in prunes
5 years ago
Ezgi Çiçek 61f5a2f157 [litho] Add a FN test
5 years ago
Ezgi Çiçek ca8396d9bc [litho] Add new tests for new litho domain
5 years ago
Ezgi Çiçek e356ae2b01 [litho] Treat inter-proc calls as no-op for now
5 years ago
Ezgi Çiçek cff85799de [litho] MethodCalls comparison shouldn't take receiver into account
5 years ago
Sungkeun Cho 5f77a3c1a5 [litho] Check and report on all nodes where return calls
5 years ago
Nikos Gorogiannis 9df0c678de [starvation][whole-program] more models
5 years ago
Ezgi Çiçek 9c1bef41e7 [litho] Make MethodCall comparison oblivious to prop suffixes
5 years ago
Sungkeun Cho 668969a3c2 [frontend] Do not die when selector is unknown in objc boxed expr
5 years ago
Sungkeun Cho 47790ed496 [litho] Add prop check in the new domain
5 years ago
Nikos Gorogiannis 9941a16e98 [starvation] model Thread.join as blocking
5 years ago
Nikos Gorogiannis 34899d3b8b [starvation] fix FPs due to mishandling wait
5 years ago
Dulma Churchill d00d8b3597 [AL] Allow to match typedefs and pointers.
5 years ago
Martin Trojer fbe1c92c17 clang9
5 years ago
Dulma Churchill f73671a5dd [test determinator] Matching on mangled C and C++ names
5 years ago
Nikos Gorogiannis 1c0e42bf3f [starvation][whole-program] static initializer attributes
5 years ago
Ezgi Çiçek 23b2dcf753 [required-props] Add more tests
5 years ago
Dulma Churchill f69d0992bc [self-in-block] Add new issue type MULTIPLE_WEAKSELF
5 years ago
Nikos Gorogiannis 0319dac803 [starvation][whole-program] fix buggy model
5 years ago
Sungkeun Cho ab7c61b836 [inferbo] Extend bound domain to express multiplication of bounds
5 years ago
Nikos Gorogiannis 7a538c5004 [starvation][whole-program] thread class
5 years ago
Nikos Gorogiannis aef34d8384 [starvation][whole-program] analyze constructors for initial attribute state
5 years ago
Nikos Gorogiannis 82a9f1ac65 [starvation][whole-program] Looper and Handler models and semantics
5 years ago
Dulma Churchill c9c4adebc2 [AL] Improve the predicate for checking visibility attribute and example rule for checking macro for category implementation
5 years ago
Dulma Churchill 48da570aa0 [AL] Introduce a way of binding the two witnesses of an AND formula
5 years ago
Jules Villard df49f318f6 [pulse] havoc formals passed by reference to unknown procedures
5 years ago
Jules Villard 32f60f3d3c [pulse] model the fact `free(0)` is a no-op
5 years ago
Jules Villard 3fbefbad34 [pulse] model some of `std::atomic`
5 years ago
Sungkeun Cho 61ae040077 [pulse] Add bo_itv to pulse attributes
5 years ago
Sungkeun Cho 81667f25ae [cost] Update issues.exp
5 years ago
Sungkeun Cho 8fa098474e [cost] Fix the model of substring
5 years ago
Dulma Churchill 766fc2c072 [AL] Adding a new transition to siblings
5 years ago
Mitya Lyubarskiy b2910c1336 [nullsafe] More specific error messaging for Null nullability
5 years ago
Mitya Lyubarskiy bd426954a3 [nullsafe][easy][bug fix] Swap over reporting for undeclared and already declared third party
5 years ago
Nikos Gorogiannis 624d7d7930 [starvation][whole-program] more models
5 years ago
Nikos Gorogiannis 404caf3bb4 [starvation][whole-program] track runnables as attributes
5 years ago
Nikos Gorogiannis 20a7e9d75b [starvation][whole-program] add a bit of typestate/dataflow
5 years ago
Nikos Gorogiannis ff819da3c6 [starvation-whole-program] more modeled executors
5 years ago
Jules Villard d79bd90b81 [pdesc] new pre-analysis to diverge after "noreturn" function calls
5 years ago
Jules Villard 78a33acb77 [cfg] run pre-analysis lazily in ondemand
5 years ago
Sungkeun Cho b1698ab0ea [inferbo] Get static value of EMPTY from class initializer in Java
5 years ago
Nikos Gorogiannis 374c09c6c7 [starvation][whole-program] allow scheduled work on unknown threads
5 years ago
Jules Villard de6864a07a [objc] pass SDK config to plugin
5 years ago
Sungkeun Cho 8b959be727 [inferbo] Add size alias when array size is one
5 years ago
Jules Villard b03ca78bf3 [pdesc][refactor] ability to set normal and exceptional succs independently
5 years ago
Nikos Gorogiannis 883044763e [starvation-whole-program] more executor models
5 years ago
Martin Trojer 4817cb4c8e fix genrule test
5 years ago
Nikos Gorogiannis 0d175daddc [starvation] enable some tests
5 years ago
Dulma Churchill e411db6f82 [AL] Make the transition Parameters work with function calls
5 years ago
Mitya Lyubarskiy d5b574dd80 [nullsafe] Render strict mode violations nicely
5 years ago
Mitya Lyubarskiy 1b8305d1e1 [nullsafe] Special error messaging for case when unmodelled third-party signature is called
5 years ago
Mitya Lyubarskiy 48a447d77a [nullsafe] Always specify if the nullability comes from internal models or third party
5 years ago
Mitya Lyubarskiy 108473e97b [nullsafe] Changes in wording of error messages: unified and more clear language
5 years ago
Mitya Lyubarskiy b860336640 [nullsafe] Render origin in a more light weight way
5 years ago
Mitya Lyubarskiy e0b688ceab [nullsafe] Don't render type origin in trivial cases
5 years ago
Nikos Gorogiannis bbb1237e90 [concurrency] add models for Android UI thread callbacks (ServiceConnection)
5 years ago
Nikos Gorogiannis 0c4d2d7a92 [starvation-whole-program] recognize Android callback methods as scheduled work
5 years ago
Nikos Gorogiannis 08df37ef76 [starvation] whole program analysis
5 years ago
Ezgi Çiçek 655096e87c [required-props] Add more tests for casting
5 years ago
Jules Villard f81c9d56e3 [pulse] arithmetic operations
5 years ago
Jules Villard 6ecf4066e8 [pulse] model std::integral_constant
5 years ago
Jules Villard 6df4fb6a9b [pulse] report dereference of NULL and constants
5 years ago
Sungkeun Cho c3186578d6 [cost] Keep excluding unqualified variables by ItvUpdatedBy
5 years ago
Sungkeun Cho 50252d3152 [cost] Exclude bin-op-generated integers from control variables
5 years ago
Dulma Churchill 510a5e2933 [self in block] Adding traces to the Strong_self_not_checked check
5 years ago
Dulma Churchill bf581e0b72 [self in block] Add a check for strongSelf not checked for null
5 years ago
Sungkeun Cho 0aec8a04e9 [inferbo] Substitution of array block of default case in Java
5 years ago
Ezgi Çiçek ddf6254b6f [required-props] Only report when there is a create
5 years ago
Nikos Gorogiannis 243835aca2 [starvation] extend models of scheduled work
5 years ago
Ezgi Çiçek a356ef19d7 [litho] Fix test naming convention and add another FP test
5 years ago
Ezgi Çiçek 9e5307b339 [pulse][impurity] Add Pulse Java models for get and cast
5 years ago
Sungkeun Cho ecc5c80a9b [inferbo] Fix a bug in SafeInvertedMap.join
5 years ago
Sungkeun Cho 7a5ce51901 [inferbo] Revise band semantics
5 years ago
Ezgi Çiçek 94f4ded9b4 [cost] Introduce cost issue types for functions on UI Thread
5 years ago
Sungkeun Cho e66a23a04c [infer] Narrow all loops at least once in the widening phase
5 years ago
Sungkeun Cho 0d700471c0 [inferbo] Add size alias when i=1
5 years ago
Sungkeun Cho 773766e3f7 [inferbo] Function call of Java enum values in class initializer
5 years ago
Sungkeun Cho b50e1cba51 [inferbo] Extend bound to express Min/Max(bound, bound)
5 years ago
Dulma Churchill f303c9fa87 [self in block] Fix error in choosing variables fmor the domain for reporting
5 years ago
Nikos Gorogiannis 5ea35133af [starvation] record scheduling parallel works via executors
5 years ago
Dulma Churchill 41fffa690c [self in block] Adding traces to the mixed self with weakself check
5 years ago
Mitya Lyubarskiy 027ff479d1 [nullsafe] 3rd party annotations from the repo are respected in nullsafe
5 years ago
Mitya Lyubarskiy 3d2df4cc3c [nullsafe] Functionality to load 3rd party info from the storage
5 years ago
Ezgi Çiçek d50091bb17 [inferbo] Add models for Math.min and Math.max
5 years ago
Sungkeun Cho fa571100df [inferbo] Extend alias domain to have multiple aliases on a variable
5 years ago
Dulma Churchill 43823266ec [self in block] Add a new checker to detect correct uses of when ObjC blocks capture self.
5 years ago
Sungkeun Cho 0a8919166f [inferbo] Add a model: Object.clone
5 years ago
Sungkeun Cho 88813fdaa7 [inferbo] Revise division by constant
5 years ago
Nikos Gorogiannis dda0470b05 [starvation] make thread domain more precise
5 years ago
Nikos Gorogiannis d154415cd0 [starvation] add path sensitivity restricted to thread status
5 years ago
Sungkeun Cho 28cc6b33a9 [cost] Set the minimum basic cost of node
5 years ago
Dulma Churchill da5b319e67 [test determinator] Remove .llvm suffixes before matching the names
5 years ago
Jules Villard 2e4fbb7fe5 [pulse] intervals!
5 years ago
Jules Villard b20c22a5ee [pulse] abduce arithmetic facts
5 years ago
Mitya Lyubarskiy f9b0d06826 [nullsafe] Primitive types are always Nonnull
5 years ago
Sungkeun Cho 65c25cff23 [inferbo] Forget size alias when size changed in model
5 years ago
Nikos Gorogiannis 2b27a8ff2b [starvation] push thread status inside critical pairs
5 years ago
Dulma Churchill 4e7c794334 [test determinator] Run test determinator with the buck compilation database flag
5 years ago
Sungkeun Cho 480f99cfc2 [inferbo] Avoid top value on unknown non-static function call
5 years ago
Mitya Lyubarskiy 0f1187a3a3 [nullsafe] Make Strict mode respect static methods
5 years ago
Ezgi Çiçek 6781ba36d3 [impurity] Start checking equivalence at materialized addresses in pre
5 years ago
Dulma Churchill d001db1e94 [test determinator] Merge test determinator results under buck capture all flavours, add test
5 years ago
Ezgi Çiçek 75a18b5027 [required-props] Track create methods
5 years ago
Ezgi Çiçek 02f747abca [required-props] Add new FPs
5 years ago
Dulma Churchill 7565c3baa6 [test determinator] Match Blocks, add test
5 years ago
Mitya Lyubarskiy 6511b2052a [nullsafe] Introduce Strict mode
5 years ago
Mitya Lyubarskiy 4d52e874fc [nullsafe] Introduce DeclaredNonnull
5 years ago
Jules Villard 16c88e282d [pulse] some tests about values
5 years ago
Nikos Gorogiannis 734ae60cb7 [starvation] introduce a proper thread domain
5 years ago
Dulma Churchill 0e116c5557 [test determinator] Match Objective-C methods, add test
5 years ago
Dulma Churchill ef75952223 [test determinator] Pass flag to test determinator for clang, add test
5 years ago
Jules Villard 6a738045fd [pulse] interprocedural histories and traces
5 years ago
Nikos Gorogiannis a9c90368e8 [annotation reachability] fix bug on android annotation check
5 years ago
Nikos Gorogiannis 0a06353bce [starvation] more tests documenting interaction with thread status
5 years ago
Jules Villard 669383d315 [pulse] more details about variable declaration events
5 years ago
Nikos Gorogiannis 0149c3171e [starvation] hide ui-thread trace
5 years ago
Nikos Gorogiannis 31bb9b399a [starvation] add tests documenting path sensitivity FPs and FNs
5 years ago
Sungkeun Cho 5835139860 [cost] Conservative array length evaluation
5 years ago
Ezgi Çiçek 0ac75fdb31 [impurity] Hotfix broken tests
5 years ago
Jules Villard 8182514f35 [impurity] clarify string parameter of `ImpurityDomain.add_to_errlog`
5 years ago
Jules Villard 96c96a8dc6 [pulse] remember equalities found in branches
5 years ago
Jules Villard 3ac8e27062 [pulse] use constant equality to prune unfeasible paths
5 years ago
Ezgi Çiçek 42c4fde720 [impurity] Add initial Java support and don't run pulse twice
5 years ago
Sungkeun Cho fd16cb5985 [inferbo] Inequality for iterator alias target
5 years ago
Ezgi Çiçek 557e2bfa3f [impurity] Consider functions with no pulse summary as impure
5 years ago
Sungkeun Cho 83987fca96 [cost] Revise hasNext model
5 years ago
Nikos Gorogiannis 9dbe55c419 [java tracing] goodbye
5 years ago
Nikos Gorogiannis 11891e8d5b [buck][genrule] fix tests
5 years ago
Ezgi Çiçek 064e211e39 [inefficient-keyset] Add androidx.collections.SimpleArrayMap to eligible maps
5 years ago
Ezgi Çiçek 9882b37c6c [cost][inferbo] Add models for androidx.collection
5 years ago
Mitya Lyubarskiy fcd0efb7ba [nullsafe] Consolidate various things checking dereference and get rid of misleading names
5 years ago
Sungkeun Cho c509f1c178 [cost] Add FB-specific cost models
5 years ago
Ezgi Çiçek 08f9cd4eb8 [required-props] Improve the heuristic to check build() for summaries
5 years ago
Ezgi Çiçek c9f3e20fc4 [required-props] Add more tests showing the ineffectiveness of callee heuristic
5 years ago
Ezgi Çiçek 2e129a5abe [required-props] Add call chain to trace
5 years ago
Ezgi Çiçek 856dfc5b74 [litho] Split into two checkers: litho-required-props and litho-graphql-field-access
5 years ago
Dulma Churchill 6cfbd38355 [AL] Take API_AVAILABLE into account in the Unavailable_Api check
5 years ago
Nikos Gorogiannis e0d7950e07 [concurrency] fix over-eager modeling of thread status
5 years ago
Sungkeun Cho 2d26236bed [infer] Eagerly try narrowing for the outermost loops
5 years ago
Sungkeun Cho 1468dcc1d9 [inferbo] Extend alias for collection iteration loop
5 years ago
Nikos Gorogiannis 36de121dc5 [starvation] change domain to use critical pairs `(set of locks held, event)`
5 years ago
Nikos Gorogiannis fb77efea6a [starvation] add test for master-lock false positive
5 years ago
Nikos Gorogiannis f57bb9be0a [starvation] make deduplication depend on filtering config var
5 years ago
Nikos Gorogiannis 41729410ac [starvation] remove rarely-used logic for identifying locks
5 years ago
Sungkeun Cho 5303177a2d [inferbo] Symbolic value on functions returning only exception
5 years ago
Sungkeun Cho dda1486a67 [inferbo] Introduce inequality for size alias target
5 years ago
Ezgi Çiçek d163be3b87 [required-props] Added tests for Component.Builder prop added in the chain of calls.
5 years ago
Ezgi Çiçek c68dc542b7 [required-props] Refactor tests
5 years ago
Jules Villard 362e9cc622 [pulse] do not print `()` after functions
5 years ago
Ezgi Çiçek 073e4db9d7 [required-props] Add support for checking varArgs
5 years ago
Mitya Lyubarskiy c472e95d72 [nullsafe] Add a test for field-overannotated warning
5 years ago
Sungkeun Cho c5ab00ae82 [cost] Avoid giving top to unknown global in Java
5 years ago
Sungkeun Cho 738a751d17 [cost] Add eval mode for cost substitution
5 years ago
Dulma Churchill 0eccdb25dc [clang] Do not try to store block declarations as methods of a C++ struct.
5 years ago
Mitya Lyubarskiy 361e11b3be [nullsafe] When inferring type based on the formal type, respect NullsafeType instead of reading annotations
5 years ago
Sungkeun Cho 402f3115ea [cost] Strengthen condition for collecting control variables
5 years ago
Ezgi Çiçek f7903007ee [required-props] Extend required prop setting with more custom suffixes
5 years ago
Ezgi Çiçek df712bc629 [required-props] Refine Required Props checker to only check @Prop
5 years ago
Ezgi Çiçek c5ca4db8d0 [pulse][impurity] Use pulse for detecting impurity
5 years ago
Sungkeun Cho d55f5c02d5 [cost] Add modeled range
5 years ago
Sungkeun Cho 4ff2700bde [inferbo] Add InputStream.read model
5 years ago
Sungkeun Cho 2158090322 [inferbo] Extend Simple alias domain
5 years ago
Mitya Lyubarskiy 9e60679667 [nullsafe][easy] Remove duplicated test cases for condition redundant
5 years ago
Mitya Lyubarskiy b03d2fd520 [nullsafe] More test cases for Condition Redundant
5 years ago
Sungkeun Cho 21c890f23d [inferbo] Revise widen of bounds
5 years ago
Nikos Gorogiannis 3543c89c19 [lockless] detect lock acquisitions from methods annotated @Lockless
5 years ago
Sungkeun Cho afcb0ab46b [inferbo] Address collection add in loop
5 years ago
Mitya Lyubarskiy 4f8629727e [nullsafe] Delete nullsafe-gradual tests
5 years ago
Phoebe Nichols 426775c939 hook in incremental analysis add procedure test
5 years ago
Mitya Lyubarskiy 224d44d79a [nullsafe] Make intention of NullFieldAccess test explicit and add positive cases
5 years ago
Mitya Lyubarskiy 7132a84b0d [nullsafe] Reorder and add more cases for checking @PropagatesNullable annotation
5 years ago
Mitya Lyubarskiy 7a09618dc4 [nullsafe] Make test for @TrueOnNull and @FalseOnNull annotation specific about positive and negative cases
5 years ago
Dulma Churchill 86140581d5 [AL] Adding predicate for AL rule to check that a variable of a specific type is being captured in a block
5 years ago
Dulma Churchill ab683af1f1 [objc frontend] Keep the counter for block names local to each procedure
5 years ago
Mitya Lyubarskiy fbeb58c0f2 [nullafe] Consolidate different ways to suppress field not initialized
5 years ago
Mitya Lyubarskiy b1810ef3ff [nullsafe] @Nonnull should not suppress Field Not Initialized warning
5 years ago
Sungkeun Cho f79871c5fa [cost] Ignore character symbols in the cost results
5 years ago
Mitya Lyubarskiy 63a5ffb4dc [nullsafe] Make FieldNotInitialized cover negative cases together with positive ones
5 years ago
Mitya Lyubarskiy 5bd61e75f2 [nullsafe] Consolidate and expand tests for known initializers
5 years ago
Mitya Lyubarskiy 260176251c [nullsafe] Make @Initializer annotation test specific and without "builder" boilerplate
5 years ago
Mitya Lyubarskiy 0d69999de8 [nullsafe] Provide both positive and negative cases for @Cleanup annotation test
5 years ago
Mitya Lyubarskiy 090fa92c15 [nullsafe] Make FieldNotNullable test specific about both positive and negative cases
5 years ago
Mitya Lyubarskiy fe674937a4 [nullsafe] Improve the test for checking `onDestroy` handling
5 years ago
Sungkeun Cho 5e1e5d412c [inferbo] Add Java String constructor models
5 years ago
Dulma Churchill 41aa20e2b6 [pulse] Adding tests for pulse in Objective-C++ (the C++ part)
5 years ago
Dulma Churchill 5c58689493 [pulse] Add pulse tests for objective-c (the c part of it)
5 years ago
Dulma Churchill 27ea5d041b [biabduction] Rename use_after_free to avoid name clash with Pulse
5 years ago
Mitya Lyubarskiy 8add080e4a [nullsafe][refactor tests] split and improve FieldNotNullable tests
5 years ago
Dulma Churchill d04e098eb1 [AL] Add a is_static predicate
5 years ago
Mitya Lyubarskiy 1046c63b0f [nullsafe] Prepare to introduce gradual mode: split tests
5 years ago
Mitya Lyubarskiy 46cf107411 [nullsafe] Remove functionality for @Present annotations
5 years ago
Sungkeun Cho ad4bc0a905 [cost] Ignore non-int symbols in the cost results
5 years ago
Phoebe Nichols 43964c898c Add test for introducing a procedure
5 years ago
Phoebe Nichols 6874926b10 Clean specs directory before running capture
5 years ago
Sungkeun Cho a294085d9a [inferbo] Extend size alias domain for Java temporary variables
5 years ago
Mitya Lyubarskiy 2339791336 [nullsafe][EASY] rename test annotation for clarity
5 years ago
Mitya Lyubarskiy 5b0bdfb297 [nullsafe] Refine semantics of @Nonnull: obey minimum surprise principle
5 years ago
Ezgi Çiçek 193aa91b05 [litho] Hookup litho tests to main test suite
5 years ago
Sungkeun Cho 59f06568cf [inferbo] Use std::vector model for std::string
5 years ago
Jules Villard 9e5115a9e0 [annotreach] support for new `"symbol_regexps"` matcher
5 years ago
Dulma Churchill d0bfb856ed [AL] Add new predicate is_extern
5 years ago
Sungkeun Cho fadd8cb541 [inferbo] Prune array size in Java
5 years ago
Sungkeun Cho 77084782e1 [inferbo] Fix bug in integer pruning by pointer
5 years ago
Sungkeun Cho aaa40084c4 [inferbo] Add Preconditions.checkArgument model
5 years ago
Sungkeun Cho 5f5b3de91a [inferbo] Pruning collection.size in Java
5 years ago
Sungkeun Cho 28d617b345 [cost] Revise Java's cast model
5 years ago
Nikos Gorogiannis 86a1bbf1a7 [racerd] output access expressions language-sensitively
5 years ago
Sungkeun Cho e0a5cde2d5 [cost] Print elements field of collection
5 years ago
Ezgi Çiçek 22cfcc09f5 [cost] Add test about Preconditions
5 years ago
Sungkeun Cho 9c49841ebb [cost] Add Iterator.next model
5 years ago
Jules Villard 0af754f3d7 [annot reachability] apply sanitizers in more cases
5 years ago
Jules Villard 00cbc9c1e4 [annot reachability] add debug logging and light refactor
5 years ago
Sungkeun Cho d3056d3309 [cost] Ignore boolean symbols in the cost results
5 years ago
Ezgi Çiçek 5fa9f89285 [cost] Fix misleading test names
5 years ago
Sungkeun Cho 7c18231c5c [cost] Revise hasNext() to avoid bottom in condition
5 years ago
Sungkeun Cho 4530ef5bb0 [inferbo] Fix min of minmax and linear
5 years ago
Ezgi Çiçek 89782dfff9 [cost] Mask min/max symbols when printing big O
5 years ago
Ezgi Çiçek 9c5b704ddd [cost] Record bigO in error trace description
5 years ago
Ezgi Çiçek 57492f830b [inferbo] Add missing list initialization with initial capacity
5 years ago
Sungkeun Cho ddd4d98636 [inferbo] Add vector model: data
5 years ago
Sungkeun Cho 58b403c8ff [inferbo] Add vector model: empty
5 years ago
Sungkeun Cho c05062556f [inferbo] Add vector model: push_back
5 years ago
Sungkeun Cho f6b4f75e7c [inferbo] Pruning by vector::size
5 years ago
Sungkeun Cho e9cf5d33b3 [inferbo] Add models of vector constructors
5 years ago
Ezgi Çiçek 8286347ebf [inferbo] Add models for Java's Integer
5 years ago
Sungkeun Cho 8c4be65754 [inferbo] Ondemand value generation of vector as function parameter
5 years ago
Phoebe Nichols fc17a0fce3 Add test for cost change detection with incremental analysis
5 years ago
Sungkeun Cho f066776b17 [inferbo] Add model: vector size
5 years ago
Sungkeun Cho 7a8e7d13e9 [inferbo] Add model: vector constructor
5 years ago
Jules Villard fe701a17cc [diff] delete infer-diff
5 years ago
Jules Villard 13d54990bd [models] get rid of include-based C++ models
5 years ago
Martin Trojer 0fe30d13c5 add flag for (undefined) functions that should be modelled as mallocs
5 years ago
Phoebe Nichols e7af794abb Add incremental analysis test for changing a file
5 years ago
Phoebe Nichols e3668daaa5 Add test incremental_analysis_remove_file to the toplevel makefile
5 years ago
Ezgi Çiçek b8d25d1301 [inferbo] Fix the model of Collections.emptySet
5 years ago
Sungkeun Cho a3229fc43a [inferbo] Suppress intended integer underflow of unsigned integer
5 years ago
Sungkeun Cho 80f4b64915 [inferbo] Prune linear bound by minmax
5 years ago
Sungkeun Cho b3f52284ed [inferbo] Ignore the top of latest prune of callees
5 years ago
Ezgi Çiçek 127902222d [pulse] Filter AddressOfStackVariable from read only heuristic check
5 years ago
Sungkeun Cho 84a6561dc9 [inferbo] Precise mod semantics on unsigned integer
5 years ago
Sungkeun Cho 26a4f83e8b [inferbo] Avoid pruning on array elements
5 years ago
Jules Villard a857fec1f3 [increr] test incremental analysis
5 years ago
Sungkeun Cho f3311dfd98 [inferbo] Weak update on array contents
5 years ago
Ezgi Çiçek 09ab685c7e [pulse] Handle stack refs escaping their scope via pointer
5 years ago
Phoebe Nichols 70474ec2de Fix test buck_flavours_diff
5 years ago
Sungkeun Cho 124ab9fed7 [inferbo] Downgrade issues of void pointer
5 years ago
Ezgi Çiçek 0682ccc1e9 [cost][inferbo] Add models for indexOf
5 years ago
Nikos Gorogiannis af12e55344 [buck/java2] rely on (and modify) PATH to find infer binary to improve caching
5 years ago
Ezgi Çiçek 998e7c8fe3 [inefficientKeysetIterator] Turn on by default and fix msg
5 years ago
Jules Villard 937e971849 [objc] fix test so that it looks like it could compile
5 years ago
Jules Villard 15246ec2a2 [tests] attempt at fewer race conditions
5 years ago
Jules Villard a504a67ec2 [pulse] model some of `std::basic_string`
5 years ago
Jules Villard 14b9975cf3 [pulse] support modelling destructors
5 years ago
Jules Villard d9aadf5df2 [pulse] allow models in invalidation traces
5 years ago
Nikos Gorogiannis 4f46567fa7 [annotreach] kill custom path sensitivity
5 years ago
Nikos Gorogiannis 5b191c53ae [annotreach] clean up tests
5 years ago
Nikos Gorogiannis ffdc9193dc [annot-reach] complete the set of android thread annotations
5 years ago
Martin Trojer 124036ea0b New faster version of Diff/Test-Determinator
5 years ago
Jules Villard ef26e8bb28 [clang] NamespaceAliasDecl is just a no-op
5 years ago
Ezgi Çiçek 4114f7fbdf [inefficientKeysetIterator] Chase predecessors 4 more nodes to check the pattern
5 years ago
Ezgi Çiçek 102018734f [inefficientKeysetIterator] Add missing type checks
5 years ago
Jules Villard c89a8d3e63 delete ownership checker
6 years ago
Jules Villard e803a30c2d [clang] fix translation of `initListExpr` again
6 years ago
Jules Villard 14ce445f81 [pulse] run tests against C++17
6 years ago
Jules Villard 86decb83f6 [pulse] record attributes of address not edge-reachable in the post
6 years ago
Jules Villard 58b1df6bb9 [clang] fix destructor placement for temporaries in conditionals
6 years ago
Jules Villard 3a3c93140e [pulse] translate initListExpr in more cases
6 years ago
Jules Villard d96ab2458d [pulse] model lambda destructor
6 years ago
Jules Villard 91a2e2986b [pulse] model lambda capture by value
6 years ago
Jules Villard 433c144840 [pulse] calling known lambdas calls the corresponding proc name
6 years ago
Jules Villard 2bf6852b95 [pulse] model `std::function::operator=`
6 years ago
Jules Villard ae3089c2b2 [uninit] look at complex HIL expressions too
6 years ago
Jules Villard f15d9915a0 [pulse] better types to avoid `_fun_` prefix to proc names in bug traces
6 years ago
Jules Villard a3311fb751 [pulse] C++ temporaries bound to globals do not "escape"
6 years ago
Jules Villard 7f12ced394 [pulse] move to SIL proper
6 years ago
Nikos Gorogiannis 97c41120ae [buck/java2] eliminate project root config flag
6 years ago
Dino Distefano 571ae7774a Extended check on n-th parameter to cpp method calls
6 years ago
Radu Grigore 10d87eec4e [topl] Simple error reporting.
6 years ago
Ezgi Çiçek 2db1a3b8e3 [cost,inferBo] Add models for Collections.unmodifiable* getters
6 years ago
Jules Villard f43544598b [oops] unbreak unit tests
6 years ago
Jules Villard 04233ee49b [clang] destroy C++ temporaries
6 years ago
Jules Villard 0592bac25e [pulse] explain SIL logical variables in terms of program access paths
6 years ago
Jules Villard c9f4768be7 [pulse] move to SIL
6 years ago
Ezgi Çiçek 0f43930f40 [cost] Refactor cost issue types and enable detecting allocation complexity increase on cold start
6 years ago
Jules Villard 6f5cb512db [pulse] add example of FN in const-ref-bound temporary
6 years ago
Jules Villard e14809baa8 [pulse] fix temporaries test code
6 years ago
Jules Villard 21f66dd197 [pulse] do not model `operator=` as assignment
6 years ago
Jules Villard db800f138b [clang] rewrite scope computations
6 years ago
Jules Villard eaa5c32432 [clang] some more debug info
6 years ago
Jules Villard c3d55817b1 [pulse] another test for temporaries
6 years ago
Dino Distefano 472f155a7a Improved rule on block capturing CXX Reference
6 years ago
Josh Berdine cfc1c8be36 [copyright] Remove years
6 years ago
Ezgi Çiçek d2eb3c8cc6 [inefficient-keyset-iterator] New checker for finding inefficient keySet iterator
6 years ago
Nikos Gorogiannis 733a29e44b [buckjava2] Move genrule capture integration logic from shell to OCaml
6 years ago
Radu Grigore d86e2f0d1c [topl] Generate monitor.
6 years ago
Radu Grigore 047c64c528 [topl] Instrument SIL.
6 years ago
Ezgi Çiçek 99bc7363bf [cost] Suppress reports on Java access methods
6 years ago
Nikos Gorogiannis d3cf79a095 [buckjava2] integration
6 years ago
Nikos Gorogiannis 768e2b0332 [tests] stop sharing the root buck repo in java tests
6 years ago
Ezgi Çiçek 19b445e00c [cost] Add PERFORMANCE_VARIATION FP test for Java access methods
6 years ago
Ezgi Çiçek 19eac53f0e [cost] Add models for Collections.max/min
6 years ago
Jules Villard a3d8b9c4a4 [clang][oops] restore previous functionality
6 years ago
Ezgi Çiçek 0ef038332d [purity] More models for Java Map
6 years ago
Ezgi Çiçek bb9f44dee2 [cost] Fix and refactor cost models
6 years ago
Ezgi Çiçek 99eda7e3a8 [inferbo,cost] Fix java arrays
6 years ago
Ezgi Çiçek 5b2a36409c [inferbo] Add models for org.json.JSONArray
6 years ago
Ezgi Çiçek 98ecc13a5e [inferbo,cost] Add models for java.util.Arrays and java.util.List
6 years ago
Dino Distefano 24728dc093 New ObjC checker for calls to @optional methods
6 years ago
Nikos Gorogiannis 88d31a7a21 [infer][tests] avoid races in less hacky way
6 years ago
Peter O'Hearn 9b8a908ad3 [Pulse] model folly delayed destruction
6 years ago
Jules Villard 1a19cd5e2d [clang] change `offsetof()` test
6 years ago
Jules Villard 1395d5581d [clang] upgrade to 8.0.0
6 years ago
Jules Villard 4697b22fb4 [clang] make ndk-build integration compatible with clang 8
6 years ago
Ezgi Çiçek c14b917e7f [purity] Rename tests
6 years ago
Ezgi Çiçek a01a4a3658 [purity] Enhance purity models with invalidated arguments
6 years ago
Jules Villard d4e4ed55bc [objc] make quandary test run
6 years ago
Ezgi Çiçek a092c4f3f9 [cost] Generalize Java's sort model
6 years ago
Ezgi Çiçek bc082da199 [cost] Make unmodeled functions pure by default
6 years ago
Ezgi Çiçek 75cfdf23ea [clang] Fix arc lint
6 years ago
Dino Distefano 2f3b376996 Added is_optional_objc_method predicate
6 years ago
Ezgi Çiçek b455baae5d [loop-invariance] Invalidate args to T function calls
6 years ago
Ezgi Çiçek 639c91c29f [loop-invariance] Add FPs for modified global and static invalidation
6 years ago
Jeremy Dubreil b06bb42a02 [infer] more nullable tests
6 years ago
Jeremy Dubreil c96e72b990 [eradicate] record example of false positive with invariants between variables
6 years ago
Jeremy Dubreil 79b0b8172d [eradicate] add a model for java.nio.file.Path.getParent()
6 years ago
Mehdi Bouaziz 64dea4dc0f [inferbo] No need to canonicalize paths in on-demand
6 years ago
Jules Villard d586630edf [pules] do not print templated part of function names
6 years ago
Jules Villard 5de9bc29d2 [pulse] better error messages
6 years ago
Jules Villard b700af9ffb [hil] do not put parens around trivial expressions
6 years ago
Mehdi Bouaziz 9db3a3a0b6 [Inferbo] Abstract repeated fields in paths
6 years ago
Ezgi Çiçek d033e72196 [purity] Add tests for locality
6 years ago
Nikos Gorogiannis 4bdc6efd2e [scheduler] bottom-up callgraph scheduling
6 years ago
Andrew Adams-Moran 0ad15356c2 Add @Cleanup annotation
6 years ago
Jules Villard 6364199b94 [pulse] traces record how values were constructed
6 years ago
Jeremy Dubreil 8d36c33d20 [eradicate] record false positive when testing the return on an assignment
6 years ago
Jeremy Dubreil 80ecc959a4 [eradicate] recording false positive example with nullability information stored into a boolean
6 years ago
Jeremy Dubreil adbf6861e9 [eradicate] record false positive when incorrectly looking up overriden methods
6 years ago
Jeremy Dubreil 4725c97fc9 [eradicate] record false positive with nullability information lost after assignment
6 years ago
Dino Distefano 10ca0c3269 Fix detection of return type for instancetype when using NS_ASSUME_NONNUL
6 years ago
Mehdi Bouaziz b27c02ad35 [clang] Correct value for offsetof
6 years ago
Martin Trojer e7ad99eed0 Using DB to store modified functions
6 years ago
Nikos Gorogiannis 7106de35a3 [issuelogs] less imperative
6 years ago
Nikos Gorogiannis 1d846ba631 [racerd] kill original paths from summary
6 years ago
Jules Villard a53d139466 [tests] record ant test
6 years ago
Dino Distefano 144847219e Making the name and error message for performance variation in cold start stronger
6 years ago
Jeremy Dubreil b47e2d13f3 [eradicate] simplify the analysis traces
6 years ago
Dino Distefano 4f982e9f63 Add predicate for Unavailable attr
6 years ago
Dino Distefano df438016f2 Adding SourceExp transition to AL
6 years ago
Ezgi Çiçek da13e52b27 [inferbo] Generalize String.length to CharSequence.length
6 years ago
David Lively e0ce8c4392 Add --annotation-reachability-cxx-sources override option
6 years ago
Ezgi Çiçek c85563d606 [inferbo,cost] Add cost models for java.util.Collections
6 years ago
Nikos Gorogiannis 941b63a426 [classloads] remove possible race
6 years ago
Jeremy Dubreil 07d6ab2dd6 [infer][racerd] report the thread safety violations as warnings instead of errors
6 years ago
Lee Howes 183e9ed9fa Add call_cxx_method predicate
6 years ago
Ezgi Çiçek c114a4b9f2 [control,cost] Add test for dangling global enum
6 years ago
Ezgi Çiçek f4cdc23543 [hoisting] Turn on hoisting of expensive functions by default
6 years ago
Ezgi Çiçek 7e16aafdba [loop-hoisting] Incorporate cost trace into EXPENSIVE_LOOP_INVARIANT_CALL issues
6 years ago
Ezgi Çiçek 6d25b0990d [cost,purity] Model java's Map as Collections
6 years ago
Ezgi Çiçek 105e50d432 [inferbo,cost] Add models for SparseArray
6 years ago
Ezgi Çiçek 4eec73c2f2 [loop-hoisting] Add complexity to EXPENSIVE_LOOP_INVARIANT_CALL issue message
6 years ago
Ezgi Çiçek a2140c3ae4 [hoisting] Rename LOOP_INVARIANT_CALL to EXPENSIVE_LOOP_INVARIANT_CALL and remove VariantForHoisting
6 years ago
Martin Trojer 52fd4c50de Clang Diff Determinator
6 years ago
Jules Villard b5589661ce [pulse] improve error messages and traces
6 years ago
Jules Villard 9dbbd68472 [pulse] apply summaries to globals too
6 years ago
Jules Villard 3ba05b8cee [pulse] be more careful about what to consider as a variable going out of scope
6 years ago
Jules Villard 31c2a39e81 [pulse] tighten up summaries
6 years ago
Jules Villard 7c90480758 [pulse] do not create `&` back-edges eagerly
6 years ago
Jules Villard ada032ee2c [pulse] improve error messages and traces
6 years ago
Jules Villard db4e1ea433 [pulse] reallocate variables on initialisation
6 years ago
Jules Villard 3ce095a288 [pulse] more efficient representation of attributes
6 years ago
Jules Villard d57ed5086e [pulse] better treatment of variables going out of scope
6 years ago
Jules Villard 53b1577b4c [pulse][interproc 3/3] interproc call
6 years ago
Radu Grigore 344889775b [infer][PR] Don't join postconditions. Fixes #678.
6 years ago
Jules Villard 686231ec6e [SIL] change `variable_initialization()` builtin to a new auxiliary instruction
6 years ago
Jules Villard 2151be9c25 [issues] do not dedup issues when `Config.filtering` is unset
6 years ago
Ezgi Çiçek b802620bc8 [cost] Add cost models for loop invariant functions
6 years ago
David Lively 996f7c4f02 Allow Cxx annotation-reachability src/sink/override w/paths AND symbols
6 years ago
Jules Villard ebe5028ca1 [SIL] add `Skip` metadata instruction
6 years ago
Jules Villard b665e1c575 [SIL][HIL] distinguish auxiliary instructions as `Metadata`
6 years ago
David Lively f12bbacbdd [annotation-reachability] stop merging sanitized nodes' callees
6 years ago
David Lively 87391f6f2f [annotation-reachability] make CxxAnnotationSpecs.report more user-friendly
6 years ago
David Lively 5d4a27ea54 RFC: stop using _ to separate ObjC/C++ class name from method in Typ.Procname.to_string
6 years ago
Nikos Gorogiannis 3e94fc7e16 [racerd] consider interfaces extending android.os.IInterface as automatically threadsafe
6 years ago
Nikos Gorogiannis cf6ced0580 [racerd] on-annotations
6 years ago
Dino Distefano 1172e6de50 Translate SynchronizedStmt
6 years ago
Dino Distefano b500b5ffa0 Reporting Performance Variation on Cold Start
6 years ago
Ezgi Çiçek ba42e3fa46 [inferbo] Add models for CF
6 years ago
Nikos Gorogiannis 7be696a0ed [racerd] kill dead tests
6 years ago
David Lively 20b21698f6 [checkers] enable config-driven annotation reachability for Cxx
6 years ago
Sungkeun Cho e5381a90d5 [inferbo] Propagate LatestPrune on function calls
6 years ago
Sungkeun Cho 4c0aa1f69d [inferbo] Revise substitution of array block
6 years ago
Nikos Gorogiannis fdcd4cf591 [racerd] modulo loc
6 years ago
Sungkeun Cho 5762c47ef2 [inferbo] Accumulate LatestPrune in sequential prunings
6 years ago
Jeremy Dubreil 261f1ba171 [infer] update the Pulse tests expected output
6 years ago
Jules Villard 605bc5e01a [pulse] fix some tests and add interproc tests
6 years ago
Jules Villard 4cdb65c237 [pulse] |- is now true only of isomorphic graphs
6 years ago
Jules Villard 4988523104 [AI] make join and widen use the same argument order
6 years ago
Sungkeun Cho 3b5ef0b31b [inferbo] Translate re-declared globals to point to original ones
6 years ago
Sungkeun Cho a46130655e [inferbo] Address __return_param on function calls
6 years ago
Ezgi Çiçek 857c59e022 [inferbo] Add model for Java's cast
6 years ago
Ezgi Çiçek ce0ccc10ec [inferbo,cost] Add models for Java Strings
6 years ago
Nikos Gorogiannis f78dfbaeda [racerd] guardeby checks on uithread
6 years ago
Mehdi Bouaziz 6df295060c [inferbo] Added FN test
6 years ago
Nikos Gorogiannis 98e796b006 [racerd] gate GuardedBy
6 years ago
Nikos Gorogiannis 4a75df2a83 [racerd] report only writes for GuardedBy
6 years ago
Sungkeun Cho c92d56e4ad [inferbo] Substitute symbolic value of unknown function call to top
6 years ago
Nikos Gorogiannis f32db5382f [racerd] restrict guarded by to one field/same or superclass
6 years ago
Radu Grigore 8bf65086e3 [topl] Parser for temporal properties
6 years ago
Ezgi Çiçek 713c308fc7 [inferbo] Generalize models for Java iterators
6 years ago
Ezgi Çiçek fb8faaf38a [objc] Fix performance Makefile to allow jackalope runs
6 years ago
Nikos Gorogiannis 59a10d00d4 [racerd] guardedby
6 years ago
Ezgi Çiçek 1884994cc0 [cost] Allow program variables to occur in control variables
6 years ago
Ezgi Çiçek b537685fc2 [purity] Enable Clang in purity analysis
6 years ago
Dino Distefano 67b42bf021 Added new issue types for Allocation and IO
6 years ago
David Lively 692a844e0c [AL] use found_decl_ref in recently added predicates/placeholders
6 years ago
Ezgi Çiçek ce190547a5 [java] Add support for openjdk11
6 years ago
Radu Grigore e226cf8ec4 Fresh footprint variables in added frame.
6 years ago
Nikos Gorogiannis 05f14391a6 [racerd] replace quandary traces with explicit ones
6 years ago
Ezgi Çiçek 9790eb5a78 [cpp][linters] Hotfix: linter error
6 years ago
Dino Distefano 52b72f4bbe Added more allocation primitives
6 years ago
Lee Howes 5c2ef731ff Add support for qualified functions and a call_qualified_function predicate
6 years ago
David Lively 5aedc7e71c [AL] expose source loc of decl referenced by decl_ref
6 years ago
Wenzhe Lu ead4c44f9d Adding Long.parseLong model to nullsafe/modelTables.ml
6 years ago
David Lively f00950a3c8 [AL] fix ast_node_cxx_fully_qualified_name for constructor exprs
6 years ago
David Lively 96beec5e53 [AL] fix ast_node_cxx_fully_qualified_name w/non-global vars
6 years ago
Mehdi Bouaziz 564d0113b4 [Cost] More precise traces for Top
6 years ago
Radu Grigore 86861498a5 Slightly more precise pi_partial_meet
6 years ago
Ezgi Çiçek 88a1dedb90 [cost] Ignore counting dummy loads
6 years ago
Jules Villard c3cadace86 [SIL][3/3] add CallFlag for synthetised destructor calls
6 years ago
Jules Villard a36db66940 [SIL][2/3] print all the CallFlags
6 years ago
Jules Villard 363d69430d [ai][pulse] use subgraph-based implication between states
6 years ago
Mehdi Bouaziz defaccf032 [Cost] Avoid Top to Top performance variations
6 years ago
Sungkeun Cho 22aea43f76 [inferbo] Assign unknown value for unknown functions
6 years ago
Dino Distefano 3b8782a6c1 added allocation
6 years ago
Sungkeun Cho 4ca8a32102 [inferbo] Do not add Unknown location to alias
6 years ago
Jeremy Dubreil 130a729674 [infer] report the Fragment Retains View issues as warnings instead of errors
6 years ago
Jules Villard a19db6605c [AI][pulse] lists of disjuncts instead of sets
6 years ago
Jules Villard 44007f054c [pulse] collect garbage (unreachable) heap parts from time to time
6 years ago
Mehdi Bouaziz 264a97794d [inferbo] Exact result for (c1 - max(d, x)) + (c2 + x)
6 years ago
Sungkeun Cho 4a013f5bf6 [inferbo] Add FN test of using global constant
6 years ago
Sungkeun Cho b55996d01a [inferbo] Symbolic value for global variable
6 years ago
Mehdi Bouaziz b48884bce7 [Cost] Traces for Top values
6 years ago
Mehdi Bouaziz f20e0737fd [inferbo] Extract abstract domain functor for 'set represented by its smallest element'
6 years ago
Ezgi Çiçek 340ac9d1c9 [purity] Fix global modification via argument passing
6 years ago
Ezgi Çiçek 274570f499 [objc] Fix test results for linters
6 years ago