Observable runtime behavior for defects indicated by automated static analysis

Klaus Wolfmaier, Rudolf Ramler, Gabor Guta, Heinz Dobler

Research output: Chapter in Book/Report/Conference proceedingsConference contributionpeer-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 languageEnglish
Title of host publicationComputer Aided Systems Theory, EUROCAST 2009 - 12th International Conference, Revised Selected Papers
Pages312-319
Number of pages8
DOIs
Publication statusPublished - 2009
Event12th International Conference on Computer Aided Systems Theory, EUROCAST 2009 - Las Palmas de Gran Canaria, Spain
Duration: 15 Feb 200920 Feb 2009

Publication series

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

Conference

Conference12th International Conference on Computer Aided Systems Theory, EUROCAST 2009
Country/TerritorySpain
CityLas Palmas de Gran Canaria
Period15.02.200920.02.2009

Keywords

  • Automated static analysis
  • Defect classification

Fingerprint

Dive into the research topics of 'Observable runtime behavior for defects indicated by automated static analysis'. Together they form a unique fingerprint.

Cite this