7482 Commits (dcb3ab1288c62ac84d637ab9bcaa61a37a451241)
 

Author SHA1 Message Date
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
Jules Villard dfca54fc2a [buck] upgrade Buck
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
Benno Stein 637fff5247 [sledge] Check for intrinsic calls in used-globals analysis
5 years ago
Benno Stein 6592eb609f [sledge] Add option to skip recursive calls at depth bound
5 years ago
Benno Stein 00a5d3dd64 [sledge] Account for callees in used-globals analysis
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
Josh Berdine c131e2e669 [sledge] Use dune's Build_info for version reporting
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
Benno Stein 47f314c00e [sledge] Add used-globals abstract domain and transfer functions
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
Benno Stein 3dc0c5938f [sledge] Extract relational logic from Sh_domain, create "domain" module
5 years ago
Benno Stein 2acb1c3dee [sledge] Functorize worklist, separate out domain-specific logic
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