Coverity's Prevent[1]? I use it for C++, and while it's not free, the pricing is /very/ reasonable.

[1] http://www.coverity.com/html/prevent-for-java.html