ClearCode 

ClearCode is source code analysis tool. It can find "dangerous" code and you can define what is dangerous yourself.
source source code bug bugs check checking validate validation validating analysis analyzer analyze regexp