Sound Non-Statistical Clustering of Static Analysis Alarms

Abstract

We present a sound method for clustering alarms from static analyzers. Our method clusters alarms by discovering sound dependencies between them such that if the dominant alarms of a cluster turns out to be false, all the other alarms in the same cluster are guaranteed to be false. We have implemented our clustering algorithm on top of a realistic buffer… (More)
DOI: 10.1145/3095021

Topics

1 Figure or Table

Statistics

01020201520162017
Citations per Year

Citation Velocity: 8

Averaging 8 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Cite this paper

@inproceedings{Lee2012SoundNC, title={Sound Non-Statistical Clustering of Static Analysis Alarms}, author={Woosuk Lee and Wonchan Lee and Dongok Kang and Kihong Heo and Hakjoo Oh and Kwangkeun Yi}, booktitle={ACM Trans. Program. Lang. Syst.}, year={2012} }