Tools for checking incorrect usage of locking techniques in k-space

[Kumar amit mehta]

Hi,

I recently came across this tool called KEDR[1] for checking memory leak in 
kernel modules. I'm using it to check If my trivial kernel modules (based on 
LDD3 examples) are leaking memory. I was wondering if there exist a similar 
tool for checking incorrect usage of locking techniques implemented by kernel 
module. 

-Amit

[1]: http://kedr.berlios.de/