Conf

Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis
Penghui Li, Wei Meng, Mingxue Zhang, Chenlin Wang, Changhua Luo
PDF Cite Code
Strengthening Supply Chain Security with Fine-grained Safe Patch Identification
Changhua Luo, Wei Meng, Shuai Wang
PDF Cite Code
SelectFuzz: Efficient Directed Fuzzing with Selective Path Exploration
Changhua Luo, Wei Meng, Penghui Li
PDF Cite Code
TChecker: Precise Static Inter-Procedural Analysis for Detecting Taint-Style Vulnerabilities in PHP Applications
★Best Paper Honorable Mention
Changhua Luo, Penghui Li, Wei Meng
PDF Cite Code
On the Feasibility of Automated Built-in Function Modeling for PHP Symbolic Execution
Penghui Li, Wei Meng, Kangjie Lu, Changhua Luo
PDF Cite Code