Static optimization in PHP 7
No abstract available.
Related papers
- The hiphop virtual machine OOPSLA 2014
- Framework for Static Analysis of PHP Applications ECOOP 2015
- The HipHop compiler for PHP OOPSLA 2012
- Artemis: Toward Accurate Detection of Server-Side Request Forgeries through LLM-Assisted Inter-procedural Path-Sensitive Taint Analysis OOPSLA 2025
- Tracing compilation by abstract interpretation POPL 2014
- An Executable Formal Semantics of PHP ECOOP 2014
- Stranger: An Automata-Based String Analysis Tool for PHP TACAS 2010
- Copy-on-write in the PHP language POPL 2009