6775 Commits (765e0bf2f472119a2185be4d5c15731dee845465)
 

Author SHA1 Message Date
Dino Distefano df438016f2 Adding SourceExp transition to AL
6 years ago
Jules Villard 596ffad8dd [demo] add more examples
6 years ago
Ezgi Çiçek da13e52b27 [inferbo] Generalize String.length to CharSequence.length
6 years ago
Jeremy Dubreil 5b76bb876f [infer] make the censor reason an option field in the analysis report
6 years ago
Nikos Gorogiannis 711e7d1611 [sqlite] always die on error
6 years ago
Mehdi Bouaziz 4333d5f9cc Summary fields stats
6 years ago
Josh Berdine 109a587654 [sledge] Fix normalization of high-degree polynomials
6 years ago
Josh Berdine ffb0f4f912 [sledge] Relax 'no new subexps' invariant for Xor expressions
6 years ago
Josh Berdine 3483ec72a1 [sledge] Do not normalize shifts by enough bits to be undefined
6 years ago
Josh Berdine 8f2af62480 [sledge] Clamp rational numerator and denominator to bitwidth
6 years ago
Josh Berdine 07e8ac2d6a [sledge] Avoid division by zero during Exp normalization
6 years ago
Josh Berdine d2a97a6174 [sledge] Use integer or float constants as needed in Exp normalization
6 years ago
Josh Berdine 26a3058659 [sledge] Refine Convert Exp invariant
6 years ago
Josh Berdine 0d70f57c6f [sledge] Relax overly strong polynomial invariants
6 years ago
Josh Berdine 8a9cf0198a [sledge] Add assertions on Call and Invoke callee operands
6 years ago
Josh Berdine 684f12a498 [sledge] Protect against misdeclarations of operator new
6 years ago
Josh Berdine 9986d98645 [sledge] Revise invariant checking regarding opaque types
6 years ago
Josh Berdine d3f33d0b43 [sledge] Improve error message when calling null as a function
6 years ago
Josh Berdine 44076e00ff [sledge] Memoize translation of globals, and handle recursive globals
6 years ago
Josh Berdine 78b2835936 [sledge] Improve lookup of debug locations
6 years ago
Josh Berdine 564bd344fc [sledge] Update frontend to upstreamed LLVM OCaml api
6 years ago
Josh Berdine bf7ce6f117 [sledge] Revert "Do not auto-promote test results"
6 years ago
Nikos Gorogiannis 8450ac36d8 [trivial] procname should implement Hashable
6 years ago
Jeremy Dubreil 95ddfd04ca Revert "[topl] Synthesize trivial procedures."
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
Mehdi Bouaziz 0414024314 [inferbo] Clean up exit state from unreachable locations
6 years ago
Mehdi Bouaziz 2a0ec8c0db Fix infer explore --source-files-procedure-names
6 years ago
Mehdi Bouaziz 8bf0f66f15 Simplify Payloads.pp
6 years ago
Nikos Gorogiannis 941b63a426 [classloads] remove possible race
6 years ago
Radu Grigore 86aae0b8ed [topl] Synthesize trivial procedures.
6 years ago
Nikos Gorogiannis cbf0d00d09 [cost] reduce noise
6 years ago
Mehdi Bouaziz 06caabd50d Fix deadcode
6 years ago
Mehdi Bouaziz 68d0fa8f44 [inferbo] Rename forget_locs
6 years ago
Mehdi Bouaziz 9e711e3a2e Fix opam
6 years ago
Mehdi Bouaziz 9d2e9102ad Simplify payloads with ppx_fields_conv
6 years ago
Mehdi Bouaziz 4e249b8cc3 Improve man page for infer explore
6 years ago
Jeremy Dubreil 07d6ab2dd6 [infer][racerd] report the thread safety violations as warnings instead of errors
6 years ago
Jeremy Dubreil 8201bc1c4e [infer] add the Fragment from the androidx package to the hard copied lists
6 years ago
Jules Villard 4a91616390 [man] fix bogus markup
6 years ago
Jules Villard 1e3fafb558 [report] avoid embarrassing "object `null` could be null" message
6 years ago
Jules Villard 95132bc3f0 [report] restore missing "could be null and is dereferenced" message for nullable dereference
6 years ago
Lee Howes 183e9ed9fa Add call_cxx_method predicate
6 years ago
Jeremy Dubreil 86d4c5a55f [infer] make the Fragment Retains View checker support the androidx Fragment class name
6 years ago
Daniel Mercier 3fef754b66 [infer][PR] Escape double quotes in urls
6 years ago
Ezgi Çiçek c114a4b9f2 [control,cost] Add test for dangling global enum
6 years ago
Mehdi Bouaziz 21b5eb72e6 [Hoisting] Simplify fetching callee cost
6 years ago
Ezgi Çiçek 478e278ba0 [control] Don't fail hard on undefined control variables
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