Ccf-A

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