Publications

Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis

Penghui Li, Wei Meng, Mingxue Zhang, Chenlin Wang, Changhua Luo

Strengthening Supply Chain Security with Fine-grained Safe Patch Identification

Changhua Luo, Wei Meng, Shuai Wang

SelectFuzz: Efficient Directed Fuzzing with Selective Path Exploration

Changhua Luo, Wei Meng, Penghui Li

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

Changhua Luo, Penghui Li, Wei Meng

On the Feasibility of Automated Built-in Function Modeling for PHP Symbolic Execution

Penghui Li, Wei Meng, Kangjie Lu, Changhua Luo