Static Analysis tools likeCoverity,Klocwork InsightorKlocwork Solo for Java Developers,Findbugs,HP Fortify,IBM’sSoftware Analyzer, Microsoft’sFXCopandVeracode’son-demand static analysis checking are a step up from what compilers and IDEs check for you (although IDEs likeIntelliJ IDEAinclude a good...