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.

Sam Blackshear 9e9ca333f9 [thread-safety] use boolean domain to track locks ... Summary: Before, we were using a set domain of strings to model a boolean domain. An explicit boolean domain makes it a bit clear what's going on. There are two things to note here: (1) This actually changed the semantics from the old set domain. The set domain wouldn't warn if the lock is held on only one side of a branch, which isn't what we want. (2) We can't actually test this because the modeling for `Lock.lock()` etc doesn't work :(. The reason is that the models (which do things like adding attributes for `Lock.lock`) are analyzed for Infer, but not for the checkers. We'll have to add separate models for thread safety. Reviewed By: peterogithub Differential Revision: D4242487 fbshipit-source-id: 9fc599d		8 years ago
..
Makefile	[tests] sort bugs in InferPrint	8 years ago
NotThreadSafeExample.java	[threadsafety] run thread safety checker on its own	8 years ago
ThreadSafeExample.java	[thread-safety] use boolean domain to track locks	8 years ago
issues.exp	[thread-safety] use boolean domain to track locks	8 years ago