7 citations · 8 across the 8 of their papers we have counts for
3 papers · 1 filter
An Empirical Analysis of CodeQL False Positives and Query Refinements for Java Vulnerabilities
Amirali Sajadi, Saikat Dutta, Preetha Chatterjee
Static application security testing (SAST) tools help developers find vulnerabilities before deployment, but false positives create substantial triage effort. We study whether Code…
TraceView: Interactive Visualization of Agentic Program Repair Trajectories
Amirali Sajadi, Tu Nguyen, Kimmie Huynh +2
LLM-based automated program repair (APR) agents generate patches to fix software bugs with minimal human intervention. These agents often produce long trajectories of reasoning, to…
AXE: Grey-Box Exploitability Confirmation for Localized Vulnerability Reports
Amirali Sajadi, Tu Nguyen, Kostadin Damevski +1
Vulnerability detection tools are widely adopted in software projects, yet they often overwhelm maintainers with false positives and non-actionable reports. Automated exploitation…