TChecker: Precise Static Inter-Procedural Analysis for Detecting Taint-Style Vulnerabilities in PHP Applications.

Changhua Luo, Penghui Li, Wei Meng

Browse the full CCS paper archive.