I've used semmle's tools at Google, they seemed pretty powerful.