Reducing Static Analysis Alarms Based on Non-impacting Control Dependencies
No abstract available.
Related papers
- Sound Non-Statistical Clustering of Static Analysis Alarms TOPLAS 2017
- Sound Non-statistical Clustering of Static Analysis Alarms VMCAI 2012
- Bridging Coverage and Confidence: Reliable Static False Alarm Elimination via Input-Agnosticity PLDI 2026
- Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs OOPSLA 2024
- Selective context-sensitivity guided by impact pre-analysis PLDI 2014
- Beer: Interactive Alarm Resolution in Bayesian Program Analysis via Exploration-Exploitation OOPSLA 2026
- Selective X-Sensitive Analysis Guided by Impact Pre-Analysis TOPLAS 2016
- SCAF: a speculation-aware collaborative dependence analysis framework PLDI 2020