Stranger: An Automata-Based String Analysis Tool for PHP
Abstract elided by the publisher.
Related papers
- An Evaluation of Automata Algorithms for String Analysis VMCAI 2011
- Twinning Automata and Regular Expressions for String Static Analysis VMCAI 2021
- String Analysis via Automata Manipulation with Logic Circuit Representation CAV 2016
- Decision procedures for path feasibility of string-manipulating programs with complex operations POPL 2019
- Framework for Static Analysis of PHP Applications ECOOP 2015
- Artemis: Toward Accurate Detection of Server-Side Request Forgeries through LLM-Assisted Inter-procedural Path-Sensitive Taint Analysis OOPSLA 2025
- Flatten and conquer: a framework for efficient analysis of string constraints PLDI 2017
- Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers OOPSLA 2017