Sound Non-statistical Clustering of Static Analysis Alarms
Abstract elided by the publisher.
Related papers
- Sound Non-Statistical Clustering of Static Analysis Alarms TOPLAS 2017
- Reducing Static Analysis Alarms Based on Non-impacting Control Dependencies APLAS 2019
- Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis SAS 2005
- Beer: Interactive Alarm Resolution in Bayesian Program Analysis via Exploration-Exploitation OOPSLA 2026
- Effective interactive resolution of static analysis alarms OOPSLA 2017
- Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs OOPSLA 2024
- Statistical scalability analysis of communication operations in distributed applications PPoPP 2001
- Abstract Interpretation with Confidence: Quantifying the Precision of Dataflow Analysis with Probabilities PLDI 2026