【论文阅读】2022 TChecker Precise Static Inter-Procedural Analysis for Detecting“TChecker: Precise Static Inter - Procedural Analysis for Detecting Taint - Style Vulnerabilities in PHP Applications” 由香港中文大学的 Changhua Luo、Penghui Li 和 Wei Meng 撰写。论文介绍了 TChecker 工具,用于检测 PHP 应用中的污点式漏洞,该工具通过精确的上下文敏感的过程间静态污点分析,克服了现有工具的局限性,在漏洞检测方面表现出色。