Automated static code analysis - A tool for early vulnerability detection

Document type: Licentiates
Full text:
Author(s): Dejan Baca
Title: Automated static code analysis - A tool for early vulnerability detection
Series: Blekinge Institute of Technology Licentiate Dissertion Series
Year: 2009
Issue: 4
ISBN: 978-91-7295-161-7
ISSN: 1650-2140
Publisher: Blekinge Institute of Technology
City: Karlskrona
Organization: Blekinge Institute of Technology
Department: School of Engineering - Dept. of Systems and Software Engineering (Sektionen för teknik – avd. för programvarusystem)
School of Engineering S- 372 25 Ronneby
+46 455 38 50 00
http://www.tek.bth.se/
Language: English
Abstract: Software vulnerabilities are added into programs during its development.
Architectural flaws are introduced during planning and design, while implementation faults are created during coding. Penetration testing is often used to detect these vulnerabilities. This approach is expensive because it is
performed late in development and any correction would increase lead-time. An alternative would be to detect and correct vulnerabilities in the phase of development where they are the least expensive to correct and detect. Source
code audits have often been suggested and used to detect implementations vulnerabilities. However, manual audits are time consuming and require extended expertise to be efficient. A static code analysis tool could achieve the same results as a manual audit but at fraction of the time.

Through a set of cases studies and experiments at Ericsson AB, this thesis investigates the technical capabilities and limitations of using a static analysis tool as an early vulnerability detector. The investigation is
extended to studying the human factor by examining how the developers interact and use the static analysis tool.

The contributions of this thesis include the identification of the tools capabilities so that further security improvements can focus on other types of vulnerabilities. By using static analysis early in development possible cost saving measures are identified. Additionally, the thesis presents the limitations of static code analysis. The most important limitation being the incorrect warnings that are reported by static analysis tools. In addition, a development process overhead was deemed necessary to successfully use static analysis in an industry setting.
Subject: Software Engineering\General
Computer Science\Electronic security
URN: urn:nbn:se:bth-00429
Edit