New Article: Lock_Lint - Static Data Race and Deadlock Detection Tool for C

June 7, 2006
The command-line utility lock_lint analyzes the use of mutex and multiple readers/single writer locks, and reports on inconsistent use of these locking techniques that may lead to data races and deadlocks in multi-threaded applications.