A Comparative Study of Industrial Static Analysis Tools

94Citations
Citations of this article
120Readers
Mendeley users who have this article in their library.

Abstract

Tools based on static analysis can be used to find defects in programs. Tools that do shallow analyses based on pattern matching have existed since the 1980's and although they can analyze large programs they have the drawback of producing a massive amount of warnings that have to be manually analyzed to see if they are real defects or not. Recent technology advances has brought forward tools that do deeper analyses that discover more defects and produce a limited amount of false warnings. These tools can still handle large industrial applications with millions lines of code. This article surveys the underlying supporting technology of three state-of-the-art static analysis tools. The survey relies on information in research articles and manuals, and includes the types of defects checked for (such as memory management, arithmetics, security vulnerabilities), soundness, value and aliasing analyses, incrementality and IDE integration. This survey is complemented by practical experiences from evaluations at the Ericsson telecom company. © 2008 Elsevier B.V. All rights reserved.

Cite

CITATION STYLE

APA

Emanuelsson, P., & Nilsson, U. (2008). A Comparative Study of Industrial Static Analysis Tools. Electronic Notes in Theoretical Computer Science, 217(C), 5–21. https://doi.org/10.1016/j.entcs.2008.06.039

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free