Observable runtime behavior for defects indicated by automated static analysis

Klaus Wolfmaier; Rudolf Ramler; Gabor Guta; Heinz Dobler

doi:10.1007/978-3-642-04772-5_41

Observable runtime behavior for defects indicated by automated static analysis

Klaus Wolfmaier, Rudolf Ramler, Gabor Guta, Heinz Dobler

Research Center Hagenberg

Research output: Chapter in Book/Report/Conference proceedings › Conference contribution › peer-review

Abstract

For the efficient and effective use of automated static analysis of software systems it is crucial to know what kind of errors can be detected and how seriously a reported problem can or should be taken. In the study conducted for this paper we applied a widely used tool (PC-lint) for automated static analysis (ASA) to check C++ code fragments from student exercises. The goal of this research was to discover which types of defects can be identified by automated static analysis. In this paper we present our findings; furthermore the results from classifying the defects are set in relation to detection rules and severity levels provided by ASA, in order to derive insights for calibrating ASA tools in a specific application context.

Original language	English
Title of host publication	Computer Aided Systems Theory, EUROCAST 2009 - 12th International Conference, Revised Selected Papers
Pages	312-319
Number of pages	8
DOIs	https://doi.org/10.1007/978-3-642-04772-5_41
Publication status	Published - 2009
Event	12th International Conference on Computer Aided Systems Theory, EUROCAST 2009 - Las Palmas de Gran Canaria, Spain Duration: 15 Feb 2009 → 20 Feb 2009

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5717 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	12th International Conference on Computer Aided Systems Theory, EUROCAST 2009
Country/Territory	Spain
City	Las Palmas de Gran Canaria
Period	15.02.2009 → 20.02.2009

Keywords

Automated static analysis
Defect classification

Access to Document

10.1007/978-3-642-04772-5_41

Cite this

Wolfmaier, K., Ramler, R., Guta, G., & Dobler, H. (2009). Observable runtime behavior for defects indicated by automated static analysis. In Computer Aided Systems Theory, EUROCAST 2009 - 12th International Conference, Revised Selected Papers (pp. 312-319). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5717 LNCS). https://doi.org/10.1007/978-3-642-04772-5_41

Wolfmaier, Klaus ; Ramler, Rudolf ; Guta, Gabor et al. / Observable runtime behavior for defects indicated by automated static analysis. Computer Aided Systems Theory, EUROCAST 2009 - 12th International Conference, Revised Selected Papers. 2009. pp. 312-319 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{d4c9640b8e9d49e8bcaae21c410bbebf,

title = "Observable runtime behavior for defects indicated by automated static analysis",

abstract = "For the efficient and effective use of automated static analysis of software systems it is crucial to know what kind of errors can be detected and how seriously a reported problem can or should be taken. In the study conducted for this paper we applied a widely used tool (PC-lint) for automated static analysis (ASA) to check C++ code fragments from student exercises. The goal of this research was to discover which types of defects can be identified by automated static analysis. In this paper we present our findings; furthermore the results from classifying the defects are set in relation to detection rules and severity levels provided by ASA, in order to derive insights for calibrating ASA tools in a specific application context.",

keywords = "Automated static analysis, Defect classification",

author = "Klaus Wolfmaier and Rudolf Ramler and Gabor Guta and Heinz Dobler",

year = "2009",

doi = "10.1007/978-3-642-04772-5_41",

language = "English",

isbn = "3642047718",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "312--319",

booktitle = "Computer Aided Systems Theory, EUROCAST 2009 - 12th International Conference, Revised Selected Papers",

note = "12th International Conference on Computer Aided Systems Theory, EUROCAST 2009 ; Conference date: 15-02-2009 Through 20-02-2009",

}

Wolfmaier, K, Ramler, R, Guta, G & Dobler, H 2009, Observable runtime behavior for defects indicated by automated static analysis. in Computer Aided Systems Theory, EUROCAST 2009 - 12th International Conference, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5717 LNCS, pp. 312-319, 12th International Conference on Computer Aided Systems Theory, EUROCAST 2009, Las Palmas de Gran Canaria, Spain, 15.02.2009. https://doi.org/10.1007/978-3-642-04772-5_41

Observable runtime behavior for defects indicated by automated static analysis. / Wolfmaier, Klaus; Ramler, Rudolf; Guta, Gabor et al.
Computer Aided Systems Theory, EUROCAST 2009 - 12th International Conference, Revised Selected Papers. 2009. p. 312-319 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5717 LNCS).

Research output: Chapter in Book/Report/Conference proceedings › Conference contribution › peer-review

TY - GEN

T1 - Observable runtime behavior for defects indicated by automated static analysis

AU - Wolfmaier, Klaus

AU - Ramler, Rudolf

AU - Guta, Gabor

AU - Dobler, Heinz

PY - 2009

Y1 - 2009

N2 - For the efficient and effective use of automated static analysis of software systems it is crucial to know what kind of errors can be detected and how seriously a reported problem can or should be taken. In the study conducted for this paper we applied a widely used tool (PC-lint) for automated static analysis (ASA) to check C++ code fragments from student exercises. The goal of this research was to discover which types of defects can be identified by automated static analysis. In this paper we present our findings; furthermore the results from classifying the defects are set in relation to detection rules and severity levels provided by ASA, in order to derive insights for calibrating ASA tools in a specific application context.

AB - For the efficient and effective use of automated static analysis of software systems it is crucial to know what kind of errors can be detected and how seriously a reported problem can or should be taken. In the study conducted for this paper we applied a widely used tool (PC-lint) for automated static analysis (ASA) to check C++ code fragments from student exercises. The goal of this research was to discover which types of defects can be identified by automated static analysis. In this paper we present our findings; furthermore the results from classifying the defects are set in relation to detection rules and severity levels provided by ASA, in order to derive insights for calibrating ASA tools in a specific application context.

KW - Automated static analysis

KW - Defect classification

UR - http://www.scopus.com/inward/record.url?scp=78651229653&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-04772-5_41

DO - 10.1007/978-3-642-04772-5_41

M3 - Conference contribution

AN - SCOPUS:78651229653

SN - 3642047718

SN - 9783642047718

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 312

EP - 319

BT - Computer Aided Systems Theory, EUROCAST 2009 - 12th International Conference, Revised Selected Papers

T2 - 12th International Conference on Computer Aided Systems Theory, EUROCAST 2009

Y2 - 15 February 2009 through 20 February 2009

ER -

Wolfmaier K, Ramler R, Guta G, Dobler H. Observable runtime behavior for defects indicated by automated static analysis. In Computer Aided Systems Theory, EUROCAST 2009 - 12th International Conference, Revised Selected Papers. 2009. p. 312-319. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-04772-5_41

Observable runtime behavior for defects indicated by automated static analysis

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this