Stranger: An Automata-Based String Analysis Tool for PHP.

Fang Yu, Muath Alkhalaf, Tevfik Bultan

Browse the full TACAS paper archive.