7953 Commits (07175f163cdd01650860efa6c343704c006d1e9c)
 

Author SHA1 Message Date
Fernando Gasperi Jabalera c2a53a1334 [scheduler] Add wall time to ExecutionDuration
5 years ago
Nikos Gorogiannis e01311c431 [scheduler][callgraph] load graph directly from DB
5 years ago
Nikos Gorogiannis 3f4458361c [scheduler][callgraph] only load defined procs
5 years ago
Sungkeun Cho 7a0be26596 [inferbo] Revise semantics of `values` function of Java enum class
5 years ago
Ezgi Çiçek cbd506011f [cost] Add tests for ZERO_EXECUTION_COST
5 years ago
Sungkeun Cho ef74f3f18d [cost] Revise message of Provider.get.modeled
5 years ago
Mitya Lyubarskiy d94b365b65 Add documentation and better naming around checker callbacks
5 years ago
Artem Pyanykh d50039b495 [infer][PR] Release infer-annotations 0.17.2
5 years ago
Artem Pianykh 70582f9ede [annotations] Fix annotation comments that cause javadoc target to fail
5 years ago
Artem Pianykh 3859f178fa [nullsafe] Properly handle method calls on trusted classes under NullsafeLocal mode
5 years ago
Sungkeun Cho 7219cb1eff [inferbo] Do not prune when the pruning target is already bottom
5 years ago
Sungkeun Cho da7cd0b45a [inferbo] Ignore error memory status
5 years ago
Artem Pianykh 3e9702edf2 [build] Fix test build failure due to use of polymorphic compare
5 years ago
Mitya Lyubarskiy f57dc78679 [nullsafe] Error reporting: recommend non-nullable alternarives for known nullable methods
5 years ago
Sungkeun Cho 50e5bfd32f [infer] Find dead signature (.mli file)
5 years ago
Fernando Gasperi Jabalera a66f6cd736 [scheduler][restart] Quantify wasted work
5 years ago
Fernando Gasperi Jabalera 5c5609591e [scheduler][restart] Reduce live-locking by using data produced on failure
5 years ago
Fernando Gasperi Jabalera b2a2919ce2 [scheduler][restart] Add Files to the work queue
5 years ago
Sungkeun Cho 100807ed2a [inferbo] Do not prune values with bottom
5 years ago
Sungkeun Cho f19e6d3c27 Revive llvm_sil.ml
5 years ago
Sungkeun Cho 3c29685667 [infer] Find dead module (.ml file)
5 years ago
Ezgi Çiçek dcb3ab1288 [inferbo] Remove dangling file
5 years ago
Mitya Lyubarskiy e334647db8 [nullsafe] More thorough documentation for contract annotations.
5 years ago
Sungkeun Cho 046e392f3a [infer] Add --continue-analysis option
5 years ago
Artem Pianykh bcaa0e0dfe [nullsafe] Add tests on interop between third-party vs other in various modes
5 years ago
Artem Pianykh 9697c6e294 [nullsafe] Fix treatment of enum values wrt nullsafe mode
5 years ago
Artem Pianykh 2572819a5b [nullsafe] Directly model nullability of values from third-party code
5 years ago
Artem Pianykh b50f13eb18 [nullsafe] Support Nullsafe(Local, trust=all/none) mode
5 years ago
Nikos Gorogiannis 43b3ef60f8 [db][procname] kill dead optional argument
5 years ago
Ezgi Çiçek ec950666a0 [infer] rely on driving for Procdesc.Node.equal_id
5 years ago
Mitya Lyubarskiy 8e1e15a8c4 [nullsafe] Fix genrule test
5 years ago
Mitya Lyubarskiy c38c2cf1bf [nullsafe][EASY] Add period at the end of dereference message when origin is present
5 years ago
Nikos Gorogiannis 281385203f [biabduction] kill guarded by check
5 years ago
Josh Berdine a8200b4957 [sledge] Don't need staged_pps anymore
5 years ago
Jules Villard 317a74ffee [nullsafe] show state after each instruction in debug HTML
5 years ago
Nikos Gorogiannis c10c7a39a6 [java] use a package/classname record for java classes instead of string
5 years ago
David Pichardie 64289cde4d [Java frontend]Javalib's lambda rewritting is making his way through Infer
5 years ago
Fernando Gasperi Jabalera 865691b535 [scheduler][restart] Use symlinks as locks in ProcLocker
5 years ago
Mitya Lyubarskiy 75e52f1f1b [nullsafe] Improve documentation for @Initializer annotation
5 years ago
Mitya Lyubarskiy 8ab9a7e14e [nullsafe] Don't emit Field Not Initialized warnings on @JsonField-annotated fields
5 years ago
Sungkeun Cho 175af05b8b [inferbo] Add model of vector resize
5 years ago
Nikos Gorogiannis ace23a1670 [java] use plain strings instead of mangled for JavaClassName
5 years ago
Nikos Gorogiannis a85dfe6af4 [java] get type name directly from procname
5 years ago
Ezgi Çiçek 8e3f9dd32e [cost] Pass proc_name around rather than recomputing
5 years ago
Josh Berdine 9d3898044d [sledge] Canonize e / -1 to -1×e
5 years ago
Josh Berdine 65f38d68cc [sledge] Refactor to allow more recursion between arithmetic canonizer cases
5 years ago
Sungkeun Cho 9562ab4d68 [inferbo] Suppress integer overflow in hash functions
5 years ago
Josh Berdine 99e6e9494b [sledge] Conditionally ignore equality relation when computing free variables
5 years ago
Ezgi Çiçek ceb50cdf0e [cost] Adjust cold-start loom query
5 years ago
Fernando Gasperi Jabalera bf210844d9 Log the scheduler and cores used as part of the environment
5 years ago