Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis
Abstract elided by the publisher.
Related papers
- Sound Non-Statistical Clustering of Static Analysis Alarms TOPLAS 2017
- User-guided program reasoning using Bayesian inference PLDI 2018
- Beer: Interactive Alarm Resolution in Bayesian Program Analysis via Exploration-Exploitation OOPSLA 2026
- Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences OOPSLA 2025
- Bridging Coverage and Confidence: Reliable Static False Alarm Elimination via Input-Agnosticity PLDI 2026
- Continuously reasoning about programs using differential Bayesian inference PLDI 2019
- Sound Non-statistical Clustering of Static Analysis Alarms VMCAI 2012
- Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis POPL 2022