You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Nikos Gorogiannis 2b27a8ff2b [starvation] push thread status inside critical pairs ... Summary: It is now possible to push the thread status into each critical pair. This leads to higher precision, because when code branches on whether it is on the UI thread, the final abstract state of the procedure will be `AnyThread`, but pairs created in the UI thread branch should know that their status is `UIThread`, not `AnyThread`. Reviewed By: jvillard Differential Revision: D18114273 fbshipit-source-id: cbb99b46f		5 years ago
..
c	[inferbo] Revise widen of bounds	5 years ago
cpp	[impurity] Start checking equivalence at materialized addresses in pre	5 years ago
java	[starvation] push thread status inside critical pairs	5 years ago
objc	[pulse] interprocedural histories and traces	5 years ago
objcpp	[pulse] interprocedural histories and traces	5 years ago