2973 Commits (d198cb855df5df745a645075a23d233980d99dd8)

Author SHA1 Message Date
Jules Villard 84d1fd3b52 [pulse] add tests
4 years ago
Adam Ernst bf87088a35 Don't warn about direct ivar access for atomic readonly properties
4 years ago
Jules Villard 4f77f82cba [pulse] some models should "prune" instead of "and"
4 years ago
Jules Villard a1db290c2e [pulse] models for folly::Optional::operator{*,->}()
4 years ago
Ezgi Çiçek 7af9d02542 [inferbo] Handle global constant array loads in Obj-C
4 years ago
Nikos Gorogiannis 745f04f77d [racerd] races in nullsafe classes
4 years ago
Gabriela Cunha Sampaio bc49f1deb1 [pulse] Adapting --pulse-model-return-nonnull for Java
4 years ago
Gabriela Cunha Sampaio 54c3dafef8 [pulse] Modeling Java instanceof operator as returning true
4 years ago
Ezgi Çiçek a6a279d845 [inferbo] Handle field access from global struct arrays
4 years ago
Sungkeun Cho 9cdd87b67b [inferbo] Handle when const global assigned to local variable
4 years ago
Nikos Gorogiannis 7f6798999a [starvation] warn on SettableFuture.set under lock
4 years ago
Ezgi Çiçek f6f47cd7c9 [inferbo][cost] Add tests for global constant array of structs initialization
4 years ago
Sungkeun Cho b50ff19291 [frontend] Reset id generator before generating ObjC getter/setter
4 years ago
Ezgi Çiçek b57ccc3364 [cost] Remove expensive modeling for Provider.get
4 years ago
Xiaoyu Liu 285ddb4a98 Infer# integration (#1361)
4 years ago
Daiva Naudziuniene e0f0022fa1 [pulse][objcpp][npe] Basic examples
4 years ago
Ezgi Çiçek 802dce02d1 [cost] Model Collection's containsAll
4 years ago
Ezgi Çiçek 0a517db238 [cost] Model Collection's contains
4 years ago
Ezgi Çiçek 90974b92e4 [cost] If the modeled cost is Top, underestimate the cost
4 years ago
Sungkeun Cho 60fe0c96b9 [pulse] Ignore array elements in uninitialized value check
4 years ago
Sungkeun Cho 27ab8bd253 [pulse] Uninitialized check for struct fields
4 years ago
Jules Villard f5936689a4 [pulse] case split in model of free(3)
4 years ago
Sungkeun Cho e185233d71 [frontend] Fix incorrect order of statements (paren)
4 years ago
Sungkeun Cho 89c8e25deb [frontend] Add tests of using single field struct
4 years ago
Jules Villard 12bcf119c8 [pulse] fix C test not calling the functions it was supposed to
4 years ago
Gabriela Cunha Sampaio be39e74bd4 [pulse] Modeling checkState and checkArgument
4 years ago
Sungkeun Cho b289d240f5 [frontend] Fix incorrect order of statements (implicit cast)
4 years ago
Sungkeun Cho 8ed44df7f6 [frontend] Fix incorrect order of statements (negation)
4 years ago
Gabriela Cunha Sampaio e04f0a0ffa [pulse] Modeling checkNotNull function
4 years ago
Sungkeun Cho 051473394b [frontend] Fix incorrect order of statements
4 years ago
Sungkeun Cho f3a29d1c9c [frontend] Add a return param of struct type in ObjC methods
4 years ago
Gabriela Cunha Sampaio 549954cb97 [pulse] Suppress Pulse NPE reports on @Nullsafe
4 years ago
Gabriela Cunha Sampaio 27acb0fe4e [pulse] Modeling Java Integer class
4 years ago
Gabriela Cunha Sampaio e6d50837ba Renaming Java tests in Pulse
4 years ago
Gabriela Cunha Sampaio 9362b22317 Copying Java biabduction tests into Pulse
4 years ago
Sungkeun Cho eeb34231fa [pulse] Loosen fieldname comparison in state
4 years ago
Gabriela Cunha Sampaio caa8bd0e39 Renaming biabduction Java tests
4 years ago
Ezgi Çiçek 34eb8ebafb [cost] Model Map.containsValue
4 years ago
Ezgi Çiçek 840a10afaa [pre-analysis] Remove throw/catch handling from preanalysis
4 years ago
Sungkeun Cho 1bce54aaf3 [frontend] Handle struct copy in C
4 years ago
Nikos Gorogiannis 7b8145b8bc [racerd][C++] do not report on lambdas at top level
4 years ago
Sungkeun Cho 759fddc7e8 [frontend] Fix a bug in translation of empty for-loop
4 years ago
Artem Pianykh 3aaf1de4f7 [java] Support Ultralight synthetic names
4 years ago
Daiva Naudziuniene 16718384b3 [pulse] Optional Empty Access false positives we want to address
4 years ago
Jules Villard 2ac2f019df [clang] fix some loops with no brackets
4 years ago
Jules Villard ad45bbe28d [clang] fix order of translation for [this]
4 years ago
Daiva Naudziuniene 0c6eedc835 [pulse] Model std::__optional_storage_base::has_value
4 years ago
Artem Pianykh edc8754727 [nullsafe] Fix behaviour of --no-nullsafe-optimistic-third-party-in-default-mode
4 years ago
Ezgi Çiçek d02f0b322e [cost] Record zero operation cost for procedures that simply throw
4 years ago
Ezgi Çiçek 731b632632 [cost] Procedures with empty body gets 0 cost
4 years ago
Loc Le 9228899f38 ISL tests
4 years ago
Sungkeun Cho 3685cc6fdd [pulse] Revise trace of uninitialized value check
4 years ago
Sungkeun Cho 1bf82d9f86 [pulse] Give semantics of dispatch_sync in ObjC
4 years ago
Sungkeun Cho fa29098376 [pulse] Inter-procedural uninit analysis
4 years ago
Daiva Naudziuniene b5df1be318 [pulse] Model std::vector:empty()
4 years ago
Sungkeun Cho 69371bb2c5 [pulse] Change to ExitProgram state when calling noreturn function
4 years ago
Sungkeun Cho 0cbe2f9b08 [pulse] Uninitialized value check in pulse
4 years ago
Ezgi Çiçek da950064d2 Add ability to skip translation with negation (source doesn't contain)
4 years ago
Sungkeun Cho e4b3971441 [frontend] Fix capture mode in ObjC
4 years ago
Radu Grigore f8aa139b88 [topl] Be more precise in extracting summaries.
4 years ago
Radu Grigore 3478a8828f [topl] Added limits, to avoid high runtimes in corner-cases.
4 years ago
Daiva Naudziuniene 0343f5c7d9 [pulse] Remove duplicate `by` from a trace
4 years ago
Ezgi Çiçek b46433642c [immutability] Add a new experimental immutability analysis
4 years ago
Ezgi Çiçek 11141cb100 [impurity] Collect all accesses
4 years ago
Nikos Gorogiannis 0105f280a3 [racerd] consider ownership of interface calls
4 years ago
Daiva Naudziuniene 4e658903ae [pulse] Check the validity of the addresses captured by lambda only for captures by reference
4 years ago
Radu Grigore e00dbe46b1 [topl] Got rid of quadratic runtime for long methods.
4 years ago
Radu Grigore d652e22a0a [topl] Don't bubble up errors.
4 years ago
Radu Grigore d3ff423bb1 [topl] Don't put trivial large steps in trace.
4 years ago
Radu Grigore c829db4964 [topl] Fixed an eggregious performance issue (repeated summaries).
4 years ago
Radu Grigore 59daa1f022 [topl] Added the ArrayWrite event type.
4 years ago
Radu Grigore 33071b82b5 [topl] Interprocedural analysis (in Pulse)
4 years ago
Radu Grigore 206686718f [topl] Report error traces
4 years ago
Mitya Lyubarskiy c6a33c88b7 [nullsafe] Prettier error rendering for untrusted values
4 years ago
Joscha Benz 606a3c95d9 Add a config option to whitelist common initializer values for liveness analysis (#1340)
4 years ago
Sungkeun Cho ce9472f451 [cost] Add trace of closure in autoreleasepool checker
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
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
Mitya Lyubarskiy 79d65a83df [nullsafe] Record correct param index in json
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
Jules Villard 578583f2ab [pulse] check that new arithmetic facts are consistent with the heap
4 years ago
Jules Villard e32f6ca360 [clang] fix bad interaction between ConditionalOperator and initializers
4 years ago
Sungkeun Cho ac009cb3aa [cost] Add expensive autoreleasepool size issue type
4 years ago
Daiva Naudziuniene 58f1fd8b32 [pulse] Optional Empty Access for std::optional
4 years ago
Nikos Gorogiannis e36463959c [starvation] acquisitions mod location
4 years ago
Daiva Naudziuniene eb4684f6d5 [pulse] Less precise model for constructing optional from value
4 years ago
Daiva Naudziuniene a4241eeb43 [pulse] Refactor Optional models
4 years ago
Jules Villard b6460870dc [biabd] rename a test to follow naming conventions
4 years ago
Mitya Lyubarskiy 218bb81885 [nullsafe] Store inconsistent subclass param index in json output
4 years ago
Mitya Lyubarskiy c3f1ff0386 [nullsafe] Store field name in output json
4 years ago
Mitya Lyubarskiy 52ec2e5009 [nullsafe][annotation graph] Add test case for annotation graph
4 years ago
Artem Pianykh 1eb3d688be [java] Support human readable issues types in @SuppressLint
4 years ago
Mitya Lyubarskiy dc16825ba7 [nullsafe][annotation graph] Support `Object.equals()`
4 years ago
Mitya Lyubarskiy 192de51707 [nullsafe][annotation graph] Account for virtual params
4 years ago