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

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/