InfoQ Homepage Eclipse TPTP Content on InfoQ
News
RSS Feed-
Current Status of Java Static Analysis Tools
Static analysis tools help developers locate potential problems in their code. Static analysis is an inspection of code without executing it, looking for problems as varied as misunderstood APIs to use of the wrong boolean operators. This post summarizes the six of the leading tools and discusses the current trends in static analysis tools.