6847 Commits (6d78026e8ed1903a01da16ee0f307415d4e03ae0)
 

Author SHA1 Message Date
Jules Villard ae3089c2b2 [uninit] look at complex HIL expressions too
6 years ago
Jules Villard 007c044d92 [HIL] add warning about HIL unsoundness
6 years ago
Jules Villard 6dee89b786 [backend] print what we are doing when invalidating for reanalysis
6 years ago
Jules Villard 8eba6503a4 [backend] do not crash getting `State.get_loc_exn` when already crashing
6 years ago
Jules Villard 2d41b9d58a [pulse] skip `folly::SocketAddress::~SocketAddress`
6 years ago
Jules Villard f15d9915a0 [pulse] better types to avoid `_fun_` prefix to proc names in bug traces
6 years ago
Jules Villard a3311fb751 [pulse] C++ temporaries bound to globals do not "escape"
6 years ago
Phoebe Nichols 2f8d09c651 Change Hashtbl.clear to Hashtbl.reset
6 years ago
Radu Grigore 4ce3ff944d [topl] Avoid side-effects when Topl is inactive.
6 years ago
Radu Grigore a6edb94450 Biabduction prover now logs inconsistency reason.
6 years ago
Jules Villard 7f12ced394 [pulse] move to SIL proper
6 years ago
Timotej Kapus 4ac252120b [sledge] special case buck-target-patterns
6 years ago
Nikos Gorogiannis 97c41120ae [buck/java2] eliminate project root config flag
6 years ago
Josh Berdine 0f5ae186b3 [sledge] Add test for use-after-destroy of a temp
6 years ago
Josh Berdine a58bc25aa5 [sledge] Strengthen simplification of convert Exps
6 years ago
Josh Berdine cc1f88a747 [sledge] Fix macos build of models
6 years ago
Timotej Kapus 6949a5ee68 [sledge] Add a todo for calls with inttoptr
6 years ago
Artem Pianykh 33424c12ac [infra] Fix deadcode check target
6 years ago
Josh Berdine 2b5bbcb784 [build] Do not remove Makefile.config in conf-clean
6 years ago
Dino Distefano 571ae7774a Extended check on n-th parameter to cpp method calls
6 years ago
Josh Berdine b14580d88b [sledge] Move locals from blocks to functions
6 years ago
Artem Pianykh 9d9df458b6 [infra] Add Config.execution_id and log it to scuba as a normal
6 years ago
Artem Pianykh 046132b4c5 [infra] Collect low-prio logs during execution and flush them to Scuba at the end in one go
6 years ago
Radu Grigore 3de7acada4 [topl] tiny fixes to tracing output
6 years ago
Radu Grigore 10d87eec4e [topl] Simple error reporting.
6 years ago
Mehdi Bouaziz 0efd8960e1 [Tenv] Maximum sharing
6 years ago
Radu Grigore 384b3c5798 Assert that there is at most one flowgraph per procedure name.
6 years ago
Timotej Kapus 86e12cb1a3 [sledge] Add missing llvm passes to frontend.ml
6 years ago
Mehdi Bouaziz 5f8514a8c2 [sqlite] Normalize blobs used for comparison
6 years ago
Josh Berdine 330b266d28 [sledge] Rework function return value passing
6 years ago
Ezgi Çiçek 2db1a3b8e3 [cost,inferBo] Add models for Collections.unmodifiable* getters
6 years ago
Jules Villard f43544598b [oops] unbreak unit tests
6 years ago
Timotej Kapus 01e6c5c558 [sledge] [solver] add handling of trivial equality
6 years ago
Jules Villard 04233ee49b [clang] destroy C++ temporaries
6 years ago
Jules Villard 0592bac25e [pulse] explain SIL logical variables in terms of program access paths
6 years ago
Jules Villard c9f4768be7 [pulse] move to SIL
6 years ago
Jules Villard 695b493b56 [pulse] move [PulseTrace] inside [PulseDomain]
6 years ago
Mehdi Bouaziz b03aeb49c2 [eradicate] remove the constant flag only_keep_intersection
6 years ago
Timotej Kapus a75a50215b [sledge] Add LLVM passes that reduce bitcode size
6 years ago
Jules Villard 512b42ece7 [pulse] move PulseInvalidation inside PulseDomain
6 years ago
Jules Villard 457b017343 [pulse] more general graph visitor API
6 years ago
Ezgi Çiçek fedb8e5136 [infer] Cleanup preanalysis
6 years ago
Nikos Gorogiannis 013d153538 [buck/java2] hashcons the global tenv during merging
6 years ago
Nikos Gorogiannis 8776a31f7d [infer][buck capture] kill dead code
6 years ago
Ezgi Çiçek 898dd104c8 [cost] Invoke Cost issues only once
6 years ago
Ezgi Çiçek 0f43930f40 [cost] Refactor cost issue types and enable detecting allocation complexity increase on cold start
6 years ago
Jules Villard 6f5cb512db [pulse] add example of FN in const-ref-bound temporary
6 years ago
Jules Villard e14809baa8 [pulse] fix temporaries test code
6 years ago
Jules Villard 21f66dd197 [pulse] do not model `operator=` as assignment
6 years ago
Jules Villard ab427fd3f3 [clang] cache of names of C++ temporaries
6 years ago