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

Changhua Luo Penghui Li Wei Meng

Published in: CCS (2022)

Keyphrases

object oriented
statistical analysis
database
genetic algorithm
image analysis
quantitative analysis
web applications
automatic detection