Ted Kremenek
|
d48568f641
|
Add most of the boilerplate logic for a simple pthread_mutux_lock() -> pthread_mutex_unlock() checker. We need to add a visitor method to Checker for handling dead symbols in order to detect locks that are not unlocked.
llvm-svn: 86958
|
2009-11-12 06:17:47 +00:00 |