HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection
No abstract available.
Related papers
- String constraints with concatenation and transducers solved efficiently POPL 2018
- CertiStr: a certified string solver CPP 2022
- Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions TACAS 2017
- Sound and precise analysis of web applications for injection vulnerabilities PLDI 2007
- Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories ECOOP 2025
- Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection OOPSLA 2026
- Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation OOPSLA 2026
- Decision procedures for path feasibility of string-manipulating programs with complex operations POPL 2019