infer_clone

History

Nikos Gorogiannis dda0470b05 [starvation] make thread domain more precise Summary: Add precision to analysis by elaborating the thread-status domain. This is done by having unknown (bottom), UI, BG or Any (both/top) elements in the lattice. This way, when we branch on thread-identity (if I am on UI thread do this, otherwise do that), we know that in one branch we are on UI thread and on the other we are not on the UI thread (BG thread), where previously the other branch would just go to top. With this knowledge we can throw away pairs that come from callees which run on a thread that is impossible, given the current caller thread identity. This can happen when annotations are used incorrectly, and since this is the purview of annot-reachability, we just drop those pairs entirely. Reviewed By: skcho Differential Revision: D18202175 fbshipit-source-id: be604054e		5 years ago
..
build_systems	[test determinator] Remove .llvm suffixes before matching the names	5 years ago
codetoanalyze	[starvation] make thread domain more precise	5 years ago
external/library	[copyright] Remove years	6 years ago
repl	[copyright] Remove years	6 years ago
.inferconfig	Adding inferconfig support to skip the translation of generated source code	9 years ago
base.make	[copyright] Remove years	6 years ago
clang-base.make	[copyright] Remove years	6 years ago
clang-frontend.make	[copyright] Remove years	6 years ago
clang.make	[copyright] Remove years	6 years ago
diff.make	[copyright] Remove years	6 years ago
differential.make	[copyright] Remove years	6 years ago
infer.make	[copyright] Remove years	6 years ago
java.make	[cost][inferbo] Add models for androidx.collection	5 years ago
javac.make	[copyright] Remove years	6 years ago
objc.make	[copyright] Remove years	6 years ago
testlock.mutex	[infer][tests] avoid races in less hacky way	6 years ago
testlock.py	[copyright] Remove years	6 years ago
tests.iml	initial synchronization	10 years ago