Incremental False Path Elimination for Static Software Analysis

Ansgar Fehnker, Ralf Huuck, Sean Seefried

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Abstract

In this work we introduce a novel approach for removing false positives in static program analysis. We present an incremental algorithm that investigates paths to failure locations with respect to feasibility. The feasibility test it done by interval constraint solving over a semantic abstraction of program paths. Sets of infeasible paths can be ruled out by enriching the analysis incrementally with observers. Much like counterexample guided abstraction refinement for software verification our approach enables to start static program analysis with a coarse syntactic abstraction and use richer semantic information to rule out false positives when necessary and possible. Moreover, we present our implementation in the Goanna static analyzer and compare it to other tools for C/C++ program analysis.
Original languageEnglish
Title of host publicationAutomated Technology for Verification and Analysis
Subtitle of host publication7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings
EditorsZhiming Liu, Anders P. Ravn
PublisherSpringer
Pages255-270
Number of pages16
ISBN (Electronic)978-3-642-04761-9
ISBN (Print)978-3-642-04760-2
DOIs
Publication statusPublished - 2009
Externally publishedYes
Event7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009 - Macao, China
Duration: 14 Oct 200916 Oct 2009
Conference number: 7

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume5799

Conference

Conference7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009
Abbreviated titleATVA
CountryChina
CityMacao
Period14/10/0916/10/09

Fingerprint Dive into the research topics of 'Incremental False Path Elimination for Static Software Analysis'. Together they form a unique fingerprint.

  • Cite this

    Fehnker, A., Huuck, R., & Seefried, S. (2009). Incremental False Path Elimination for Static Software Analysis. In Z. Liu, & A. P. Ravn (Eds.), Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings (pp. 255-270). (Lecture Notes in Computer Science; Vol. 5799). Springer. https://doi.org/10.1007/978-3-642-04761-9_20