2 papers
cs.SE2026
Using LLMs to Adjudicate Static-Analysis Alerts with Error Reduction Techniques
William Klieber, David Svoboda, Lori Flynn +1
Static analysis is widely used for finding security weaknesses in source code before deployment, but it often produces far more alerts than analysts can review. We study how well l…
cs.SE2025
Automated Code Repair for C/C++ Static Analysis Alerts
David Svoboda, Lori Flynn, William Klieber +3
(Note: This work is a preprint.) Static analysis (SA) tools produce many diagnostic alerts indicating that source code in C or C++ may be defective and potentially vulnerable to se…