Observable runtime behavior for defects indicated by automated static analysis

Klaus Wolfmaier, Rudolf Ramler, Gabor Guta, Heinz Dobler

Publikation: Beitrag in Buch/Bericht/TagungsbandKonferenzbeitragBegutachtung

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.

OriginalspracheEnglisch
TitelComputer Aided Systems Theory, EUROCAST 2009 - 12th International Conference, Revised Selected Papers
Seiten312-319
Seitenumfang8
DOIs
PublikationsstatusVeröffentlicht - 2009
Veranstaltung12th International Conference on Computer Aided Systems Theory, EUROCAST 2009 - Las Palmas de Gran Canaria, Spanien
Dauer: 15 Feb. 200920 Feb. 2009

Publikationsreihe

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Band5717 LNCS
ISSN (Print)0302-9743
ISSN (elektronisch)1611-3349

Konferenz

Konferenz12th International Conference on Computer Aided Systems Theory, EUROCAST 2009
Land/GebietSpanien
OrtLas Palmas de Gran Canaria
Zeitraum15.02.200920.02.2009

Fingerprint

Untersuchen Sie die Forschungsthemen von „Observable runtime behavior for defects indicated by automated static analysis“. Zusammen bilden sie einen einzigartigen Fingerprint.

Zitieren