6144 Commits (688deb0936ba9c71458e51f0294de84bd05c19eb)

Author SHA1 Message Date
Sungkeun Cho 96a8b1cf5a [cost] Add some cost models of IntHashMap
5 years ago
Mitya Lyubarskiy 4b6f996c0a [nullsafe] Consolidate over-annotated issues
5 years ago
Mitya Lyubarskiy fcd0efb7ba [nullsafe] Consolidate various things checking dereference and get rid of misleading names
5 years ago
Mitya Lyubarskiy 72dc6c66b1 [nullsafe] Introduce dereference rule and consolidate its usage
5 years ago
Mitya Lyubarskiy 62f6041906 [nullsafe] Introduce Nullability module and make NullsafeRules use it
5 years ago
Sungkeun Cho cae993aae0 [cost] Add FB-specific cost model
5 years ago
Sungkeun Cho c509f1c178 [cost] Add FB-specific cost models
5 years ago
Nikos Gorogiannis d3dc73a96e [racerd] don't store procdesc in reports when procname is enough
5 years ago
Nikos Gorogiannis e7323dfa33 [starvation] fix dependency between models and domain
5 years ago
Nikos Gorogiannis 5ad714be4b [concurrency] improve function for searching annotations
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
Nikos Gorogiannis 615100e55e [patternmatch] fix wrong regexp in getter detection
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
Nikos Gorogiannis 0eb1f92339 [starvation] make lock state a map from locks to lock counts
5 years ago
Nikos Gorogiannis 2c68baf8f3 [starvation] avoid quadratic complexity of lock acquire sequence
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
Sungkeun Cho ec62fbefb2 Fix potential race condition in process pool
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 965bf52bf8 [filtering/dedup] add deduplicate flag and disambiguate filtering
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
Artem Pianykh e4a03889f3 Revert "[version check] add a check for the environment variable INFERVERSION"
5 years ago
Sungkeun Cho bd637bd290 [inferbo] Refactor pretty print of alias domain
5 years ago
David Pichardie f52b5fc981 Upgrading opam dependencies with last versions of Sawja and Javalib
5 years ago
Jules Villard 362e9cc622 [pulse] do not print `()` after functions
5 years ago
Jules Villard 3e2f36bf6d [pulse][trivial] change debug output of addresses to `vN`
5 years ago
Jules Villard f2b4536970 [pulse][trivial] OCaml can infer the modules on its own
5 years ago
Ezgi Çiçek 073e4db9d7 [required-props] Add support for checking varArgs
5 years ago
Jules Villard 807cc727b5 [pulse] use `Memory.add_attribute` for singleton attributes sets
5 years ago
Jules Villard c455ac02f4 [pulse] array indices need not be valid addresses
5 years ago
Jules Villard b6557ba2b4 [pulse][minor] alphabetise attributes
5 years ago
Mitya Lyubarskiy 7b37d8a3cf [nullsafe] Introduce explicit non-null methods in InferredNullability
5 years ago
Mitya Lyubarskiy 2ef9686d06 [nullsafe] Improve readability of the check for constructor initialization
5 years ago
Mitya Lyubarskiy e21a5ddda5 [nullsafe] Move Initializer to a dedicated module
5 years ago
Mitya Lyubarskiy c472e95d72 [nullsafe] Add a test for field-overannotated warning
5 years ago
Mitya Lyubarskiy df5ccc1b10 [nullsafe] Move `get_field_annotation` out of EradicateChecks to a dedicated module
5 years ago
Mitya Lyubarskiy 34cfa20faf [nullsafe] Migrate checks for inheritance to NullsafeRules
5 years ago
Mitya Lyubarskiy 9a65453a77 [nullsafe] Use AnnotatedNullability instead of `ia_is_nullable` when checking the typestate at the end of class initialization
5 years ago
Mitya Lyubarskiy 53802064bb [nulllsafe] Migrate check for field assignment to NullsafeRules
5 years ago
Mitya Lyubarskiy 0a353da6d9 [nullsafe] Split NullsafeType into AnnotatedNullability and AnnotatedType
5 years ago
Ezgi Çiçek 598dcd63dc [impurity] Remove Payload
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
Ezgi Çiçek 8c1fdab0a8 [java] Enhance annotation parsing with the ability to pick up parameter names
5 years ago
Nikos Gorogiannis 2be3189912 [starvation] make lock state keep only lock acquisitions by construction
5 years ago
Nikos Gorogiannis aab8826b2a [explicittrace][easy] make call printer a functor arg
5 years ago
Nikos Gorogiannis fd40a5df6c [explicitrace] pp_human -> describe
5 years ago
Nikos Gorogiannis 58efca6328 [strings][easy] don't allocate when checking annotation endings
5 years ago
Mitya Lyubarskiy 900e451567 [nullsafe] Look at NullsafeType in check_return_annotation instead of looking it up in Annot.Item.t
5 years ago
Mitya Lyubarskiy e24cf9f155 [nullsafe] Introduce NullsafeRules and start consolidating checks
5 years ago
Mitya Lyubarskiy 74c8629d13 [nullsafe] Rename TypeAnnotation to InferredNullability
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
Jules Villard c19d9254b4 [typ] make use of pretty printers instead of strings
5 years ago
Jules Villard 088b083d87 [typ] prefer pretty printing to string building
5 years ago
Jules Villard a01639e098 [taskbar] leave progress bar displayed at the end of the analysis
5 years ago
Jules Villard 85977bf327 [analysis] print times for analysis only
5 years ago
Dulma Churchill 667ce92864 [clang] Add process ast as a new capture action, separated from capture and linting
5 years ago
Sungkeun Cho d55f5c02d5 [cost] Add modeled range
5 years ago
Taras Tsugrii 322a8938f0 [infer] Fix documentation for test-determinator flag.
5 years ago
Dulma Churchill 825c7af581 [test determinator] Continuation of refactoring the test determinator code
5 years ago
Mitya Lyubarskiy 693f2944c7 [nullsafe] Convert AnnotatedSignature subtypes from tuples to records
5 years ago
Dulma Churchill b76ab1f8b9 [test determinator] Refactor the code to make it more functional
5 years ago
Nikos Gorogiannis 16819fa1a4 [sqlite] do merge in-memory
5 years ago
Mitya Lyubarskiy 518b154ebe [nullsafe] Add NullsafeType to `get_field_annotation`
5 years ago
Mitya Lyubarskiy ba0a0b6d9a [nullsafe] Don't mention "unannotated" in Models
5 years ago
Mitya Lyubarskiy ebf9e84e3c [nullsafe] `get_modelled_annotated_signature` respects models in NullsafeType
5 years ago
Mitya Lyubarskiy 633186c41e [nullsafe] Introduce NullsafeType abstraction
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
Nikos Gorogiannis d073e80648 [logging] log available memory on startup
5 years ago
Mitya Lyubarskiy 39aca6326c [nullsafe] Remove old traces of modelling the annotation for the field
5 years ago
Mitya Lyubarskiy 21d3450ef5 [nullsafe] Remove special treatment of @Nonnull for "Condition Redundant" check
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 0574372891 [inferbo] Simplify alias targets
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 c20bda0350 [inferbo] Ignore type on field comparison
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
Nikos Gorogiannis b6c3f40ab0 [sqlite] page and cache size flags and defaults
5 years ago
Mitya Lyubarskiy fc651cb876 [nullsafe] Remove deadcode
5 years ago
Mitya Lyubarskiy 5de3e415db [nullsafe] Remove custom hash calculation for err_instance
5 years ago
Fabio Milano caba376211 [UIComponentContext] Added UIContext to mutable_local_variables whitelist
5 years ago
Phoebe Nichols 426775c939 hook in incremental analysis add procedure test
5 years ago
Phoebe Nichols 71e1704bf9 Clean results directory before using incremental analysis
5 years ago
Phoebe Nichols 1a010eda78 Add method to clean the results directory
5 years ago
Phoebe Nichols eb38b9c4c3 Add method to clean capture data
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
Sungkeun Cho d397ea03d1 [cost] Print debug information when top value is generated
5 years ago
Mitya Lyubarskiy b00b526928 [nullsafe] Remove "Field not mutable" check
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
Sungkeun Cho 962e56cb1b [infer] Use typ instead of root_typ if possible
5 years ago
Sungkeun Cho 3916d1b3bc [infer] Add type field in Sil.Store
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
Nikos Gorogiannis 5ee59cea23 [sqlite] fix daemon logic in non-forking integrations
5 years ago
Nikos Gorogiannis 01dc06b05f [sqlite] launch daemon only if jobs > 1
5 years ago
Mitya Lyubarskiy 8add080e4a [nullsafe][refactor tests] split and improve FieldNotNullable tests
5 years ago
Sungkeun Cho 3250ff35d2 [infer] Add typ field in Sil.Load
5 years ago
Sungkeun Cho a50fcaf2dd [infer] Use inline record for Sil.Load and Sil.Store
5 years ago
Sungkeun Cho 78cfc867a5 [inferbo] Print non-verbose program variables
5 years ago
Nikos Gorogiannis c872fb5e1d [sqlite] kill write daemon in all circumstances
5 years ago
Dulma Churchill d04e098eb1 [AL] Add a is_static predicate
5 years ago
Dulma Churchill 0904be07aa [clang] Upgrade Infer after change to the plugin to swap storage_class with is_static
5 years ago
Mitya Lyubarskiy 1046c63b0f [nullsafe] Prepare to introduce gradual mode: split tests
5 years ago
Mitya Lyubarskiy 58fe80fdf5 [nullsafe] remove 'annotation' abstraction.
5 years ago
Mitya Lyubarskiy 46cf107411 [nullsafe] Remove functionality for @Present annotations
5 years ago
Nikos Gorogiannis b8954e714e [sqlite] write-server implementation
5 years ago
Nikos Gorogiannis 26823b22f1 [sqlite] skeleton protocol for dbwriter
5 years ago
Nikos Gorogiannis 83aea33c68 [sqlite] move all writes to one module
5 years ago
Nikos Gorogiannis c07555a768 [sqlite] reset before query
5 years ago
Sungkeun Cho ad4bc0a905 [cost] Ignore non-int symbols in the cost results
5 years ago
Nikos Gorogiannis 998960930f [deadcode] multilinks
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
Sungkeun Cho 5127a975e3 [cost] Ignore boundends when getting range
5 years ago
Ezgi Çiçek a18e22ef7f [pulse] Remove empty edges and their WrittenTo from post
5 years ago
Jules Villard 0911a1297a [pulse] do not record addresses of logical variables
5 years ago
Jules Villard 22c5acd236 [pulse] utility method `PulseDomain.Memory.pp_edges`
5 years ago