SelectFuzz: Efficient Directed Fuzzing with Selective Path Exploration C Luo, W Meng, P Li 2023 IEEE Symposium on Security and Privacy (SP), 1050-1064, 2023 | 14 | 2023 |
TChecker: Precise Static Inter-Procedural Analysis for Detecting Taint-Style Vulnerabilities in PHP Applications C Luo, P Li, W Meng The 2022 ACM SIGSAC Conference on Computer and Communications Security, 2175 …, 2022 | 13 | 2022 |
On the Feasibility of Automated Built-in Function Modeling for PHP Symbolic Execution P Li, W Meng, K Lu, C Luo The Web Conference 2021 (WWW), 2021 | 11 | 2021 |
LChecker: Detecting Loose Comparison Bugs in PHP P Li, W Meng The Web Conference 2021 (WWW), 2021 | 10 | 2021 |
Understanding and Detecting Performance Bugs in Markdown Compilers P Li, Y Liu, W Meng The 36th IEEE/ACM International Conference of Automated Software Engineering …, 2021 | 7 | 2021 |
DDRace: Finding Concurrency UAF Vulnerabilities in Linux Drivers with Directed Fuzzing M Yuan, B Zhao, P Li, J Liang, X Han, X Luo, C Zhang USENIX Security 2023, 2023 | 2 | 2023 |
SEDiff: scope-aware differential fuzzing to test internal function models in symbolic execution P Li, W Meng, K Lu The 30th ACM Joint European Software Engineering Conference and Symposium on …, 2022 | 1 | 2022 |
SDFUZZ: Target States Driven Directed Fuzzing P Li, W Meng, C Zhang USENIX Security 2024, 2024 | | 2024 |
Testing Graph Database Systems via Graph-Aware Metamorphic Relations Z Zhuang, P Li, P Ma, W Meng, S Wang VLDB 2024, 2024 | | 2024 |
Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis P Li, W Meng, M Zhang, C Wang, C Luo IEEE S&P 2024, 0 | | |