Diagnosis-Oriented Alarm Correlations

Defect detection generally includes two stages: static analysis and alarm inspection. Helping the user in the alarm inspection task is a major challenge for current static analyzers. A large number of independent alarms are against the understanding and may lead developers and managers to reject the...

Full description

Saved in:
Bibliographic Details
Main Authors: Dalin Zhang, Dahai Jin, Yunzhan Gong, Hailong Zhang
Format: Conference Proceeding
Language:English
Subjects:
Abstract interpretation
Abstracts
Alarm correlations
Algorithm design and analysis
Approximation methods
Concrete
Correlation
Diagnosis
Inspection
Semantic slicing
Semantics
State slicing
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Defect detection generally includes two stages: static analysis and alarm inspection. Helping the user in the alarm inspection task is a major challenge for current static analyzers. A large number of independent alarms are against the understanding and may lead developers and managers to reject the use of static analysis tools due to the overhead of alarm inspection. To help with the inspection tasks, we formally introduce alarm correlations. If the occurrence of one alarm causes another alarm to occur, we say they are correlated. We propose a framework for the investigation of the alarms, so as to help classifying them by their correlations. The underlying algorithms were implemented inside our static analysis tool. We choose one common semantic alarm as case study and proved that our method has the effect of reducing 33.1% of alarm identification. Using correlation information, we are able to automate alarm identification that previously had to be done manually.
ISSN:1530-1362
2640-0715
DOI:10.1109/APSEC.2013.33