dlock : a lock debugging framework.
Dlock is a tool to look for potential deadlocks in your code. It analizes the locking patterns you use, and will report potential problems (even if the deadlock doesn't actually happen).
These details are provided for information only. No information here is legal advice and should not be used as such.