TChecker: Precise Static Inter-Procedural Analysis for Detecting Taint-Style Vulnerabilities in PHP Applications TChecker is a static taint analysis tool for PHP applications The key idea in TChecker is to iteratively construct call graph and precisely perform inter-procedural taint analysis TChecker found 18 new vulnerabilities and two CVEs (CVE-2022-35212, CVE-2022-35213) w