SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement
Abstract elided by the publisher.
Related papers
- Path sensitive MFP solutions in presence of intersecting infeasible control flow path segments CC 2019
- Computing partially path-sensitive MFP solutions in data flow analyses CC 2018
- Path-Sensitive Dataflow Analysis with Iterative Refinement SAS 2006
- Thresher: precise refutations for heap reachability PLDI 2013
- Path invariants PLDI 2007
- Artemis: Toward Accurate Detection of Server-Side Request Forgeries through LLM-Assisted Inter-procedural Path-Sensitive Taint Analysis OOPSLA 2025
- Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis OOPSLA 2026
- Debugging Network Reachability with Blocked Paths CAV 2021