9543 Commits (8f3cda4b1ac8ad4fa72a5caca4ca46b5164a091a)
 

Author SHA1 Message Date
Josh Berdine 9ee705bb88 [sledge] Resolve match-on-mutable-state-prevent-uncurry warnings
4 years ago
Josh Berdine 65f8b48aac [sledge] Check type of arg of Resume the same as param of LandingPad
4 years ago
Josh Berdine 40fe8a8bc3 [sledge] Avoid calling Llvm.is_declaration on formal parameters
4 years ago
Josh Berdine 5a81118e14 [sledge] Fix bug in translation of ExtractElement InsertElement instructions
4 years ago
Josh Berdine e32f5ef6bd [sledge] Fix assert when Fpath.v passed empty string
4 years ago
Jules Villard d65df3457f [website] make doc-publish
4 years ago
Sungkeun Cho 346380c649 [pulse] Init struct fields with zero when a message is sent to nil
4 years ago
Loc Le cd3c7b55da [pulse] FN about bug after malloc
4 years ago
Gabriela Cunha Sampaio 74f7df378d [pulse] Refactor Java Integer model
4 years ago
Jules Villard 4ba4c74ffc [website] delete outdated "Advanced features" section
4 years ago
Jules Villard d9c037e062 [CLI] rename biabduction-specific option
4 years ago
Andrew V. Jones 7d0aa9ec1c Adding a new line when pretty-printing a structured value (#1416)
4 years ago
Jules Villard c07af055eb [topl] delete shallow implementations in favour of a single Pulse one
4 years ago
Gabriela Cunha Sampaio fd1731c34b [pulse] Refining model for Java Collection interface
4 years ago
Sungkeun Cho e05fd1be67 [ConfigImpact] Ignore cheap functions like Math.ceil during the analysis
4 years ago
HARUYAMA Seigo 41366b5d7c Fix the URL of getting-started in build-infer.sh (#1415)
4 years ago
Jules Villard 30de9be354 [pulse] protect against Z exceptions
4 years ago
Ezgi Çiçek bf0fa55a45 [immutability] Add support for modifications to Litho's Immutable Maps
4 years ago
Ezgi Çiçek 583a011666 [pulse] Add a new config for modelling a function as returning the first arg
4 years ago
Jules Villard 36ebf276a3 [pulse] simplify IsInstanceOf inside sub-terms too
4 years ago
Jules Villard f322cfc261 (overdue) changelog info for 1.0.0
4 years ago
Jules Villard 4546dddb76 [website] update NULL_DEREFERENCE documentation
4 years ago
Sungkeun Cho 572080a8e9 [pulse] Havoc actuals when lengths of actuals and formals mismatch
4 years ago
Ezgi Çiçek 2b144509ab [ConfigImpact] Handle hash collision
4 years ago
Jules Villard f56f18350d [pulse] bump base_fuel to 10 to avoid under-normalising formulas
4 years ago
Jules Villard 4436265f6b [pulse] fold linear normalization into normalization
4 years ago
Jules Villard 026ff12e69 [pulse][trivial] remove unused warning suppression
4 years ago
Jules Villard 4bcf013859 [pulse] fix some new_eqs propagation issues
4 years ago
Jules Villard df8b3e2428 bump version: 1.0.0 -> 1.1.0
4 years ago
Daiva Naudziuniene 056c8abbff [pulse][refactor] Move operations related to function calls to PulseCallOperations
4 years ago
Jules Villard 55871dd285 [pulse][2/2] generate latent issues when null is allocated
4 years ago
Jules Villard 8a1213962e [pulse][1/2] new kind of latent issues to remove some FNs
4 years ago
Jules Villard d0cf7e3135 [pulse] refine canonicalisation
4 years ago
Jules Villard 6273b1f445 [pulse] move summarisation and reporting functions around
4 years ago
Martin Trojer 605d6db7a7 [infer] add common C2/branch build scripts
4 years ago
Ezgi Çiçek abb6131e88 [cost] Add models for Java Set
4 years ago
Andrew V. Jones 0ada579f31 Patch missing 'limits' in facebook-clang-plugins #1407 (#1409)
4 years ago
Andrew V. Jones b352b2c61b Add support for correctly reading the 'TMPDIR' environment variable (#1408)
4 years ago
Jules Villard e47892b7dd [tests] config-dependent cost tests
4 years ago
Mitya Lyubarskiy d966003b31 [nullsafe] Change "Field not initialized" error message
4 years ago
Jules Villard e0142794a3 [lab] adjust README to reflect new option name
4 years ago
Daiva Naudziuniene e7aa401777 [pulse][uninit] Remove special case for ObjC block captured variables
4 years ago
Ezgi Çiçek 7be85f40a2 [impurity] Refactor Option type and hoist out report functions
4 years ago
Sungkeun Cho b004a7f510 [liveness] Handles live variables in catch block
4 years ago
Ezgi Çiçek 8e1ea769ea [cost] Remove warning message
4 years ago
Sungkeun Cho d9021b9517 [frontend] Add try_entry, try_exit statements for C++ try-catch blocks
4 years ago
Martin Trojer 18f28395e8 [clang] migrate to llvm/clang11
4 years ago
Ezgi Çiçek c67f3d5753 [objc] Suppress block counter when getting method name
4 years ago
Daiva Naudziuniene 02598a575e [pulse] Enable OPTIONAL_EMPTY_ACCESS by default
4 years ago
Ezgi Çiçek 432a970432 [refactor] Remove `then ()`
4 years ago