SAFERPHP: finding semantic vulnerabilities in PHP applications.

Sooel Son, Vitaly Shmatikov

Browse the full PLDI paper archive.