A comparison of bug finding tools for java

Finally, we propose a meta-tool that combines the output of the tools together, looking for particular lines of code, methods, and classes that many tools warn about. Documents: Advanced Search Include Citations. Authors: Advanced Search Include Citations. Abstract Bugs in software are costly and difficult to find and fix. Keyphrases bug finding tool many tool source code particular line intermediate code compile time practical impact recent year non-overlapping bug different tool bug report particular technique java program experimental result esc java different tradeoff.

Powered by:. Different tools and techniques have different tradeoffs, but the practical impact of these tradeoffs is not well understood. By using a variety of tools, we are able to cross-check their bug reports and warnings. Our experimental results show that none of the tools strictly subsumes another, and indeed the tools often find nonoverlapping bugs. We discuss the techniques each of the tools is based on, and we suggest how particular techniques affect the output of the tools.

Finally, we propose a meta-tool that combines the output of the tools together, looking for particular lines of code, methods, and classes that many tools warn about. Article :.