Flow-Sensitive Fault Localization
Abstract elided by the publisher.
Related papers
- Taking Out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses PLDI 2025
- Precise and scalable context-sensitive pointer analysis via value flow graph ISMM 2013
- Formally Verified Hardening of C Programs against Hardware Fault Injection CPP 2025
- Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems POPL 2019
- Error Invariants for Fault Localization via Abstract Interpretation SAS 2023
- Bug-Assist: Assisting Fault Localization in ANSI-C Programs CAV 2011
- Accurately Choosing Execution Runs for Software Fault Localization CC 2006
- PAFL: Enhancing Fault Localizers by Leveraging Project-Specific Fault Patterns OOPSLA 2025