•
VulPA: Detecting Semantically Recurring Vulnerabilities with Multi-Object Typestate Analysis
Liqing Cao, Haofeng Li, Chenghang Shi, Jie Lu, Haining Meng, Lian Li and Jingling Xue
ESEC/FSE, CCF-A, 2025
Publications
•
SLVHound: Static Detection of Session Lingering Vulnerabilities in Modern Java Web Applications
Haining Meng, Jie Lu, Yongheng Huang, Lian Li
Internetware, CCF-C, 2025
•
Module-Aware Context Sensitive Pointer Analysis
Haofeng Li, Chenghang Shi, Jie Lu, Lian Li, Zixuan Zhao
ICSE, CCF-A, 2025
•
Sheep’s Clothing, Wolf’s Data: Detecting Server-Induced Client Vulnerabilities in Windows Remote IPC
Fangming Gu, Qingli Guo, Jie Lu, Qinghe Xie, Beibei Zhao, Kangjie Lu, Hong Li, and Xiaorui Gong
NDSS, CCF-A, 2025
•
Detecting Broken Object-Level Authorization Vulnerabilities in Database-Backed Applications
Yongheng Huang, Chenghang Shi, Jie Lu, Haofeng Li, Haining Meng, Lian Li
CCS, CCF-A, 2024
•
Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment Transformers
Haofeng Li, Chenghang Shi, Jie Lu, Lian Li, Jingling Xue
OOPSLA, CCF-A, 2024
•
Better Not Together: Staged Solving for Context-Free Language Reachability
Chenghang Shi, Haofeng Li, Jie Lu, Lian Li
ISSTA, CCF-A, 2024
•
Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis
Haofeng Li, Tian Tan, Yue Li, Jie Lu, Haining Meng, Liqing Cao, Yongheng Huang, Lian Li, Lin Gao, Peng Di, Liang Lin, and ChenXi Cui
TSE, CCF-A, 2024
•
File Hijacking Vulnerability: The Elephant in the Room
Chendong Yu, Yang Xiao, Jie Lu, Yuekang Li , Yeting Li, L. Li, Y. Dong, J. Wang, J. Shi, D. Bo, W. Huo
NDSS, CCF-A, 2024
•
Boosting the Performance of Multi-Solver IFDS Algorithms with Flow-sensitivity Optimizations
Haofeng Li, Jie Lu, Haining Meng, Liqing Cao, Lian Li, Lin Gao
CGO, CCF-B, 2024
•
AutoWeb: Automatically Inferring Web Framework Semantics via Configuration Mutation
Haining Meng, Haofeng Li, Jie Lu, Chenghang Shi, Liqing Cao, Lian Li, lin Gao
ICECCS, CCF-C, 2024
•
Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis
Chenghang Shi , Haofeng Li , Yulei Sui , Jie Lu, Lian Li, Jingling Xue
ASE, CCF-A, 2023
•
Detecting Missing-Permission-Check Vulnerabilities in Distributed Cloud Systems
Jie Lu, Haofeng Li, Chen Liu, Lian li, Kun Cheng
Best Paper Honorable Mention, ACM CCS, CCF-A, 2022
•
Generic Sensitivity: Customizing Context-Sensitive Pointer Analysis for Generics
Haofeng Li, Jie Lu, Haining Meng, Liqing Cao, Yongheng Huang, Lian Li, Lin Gao
ESEC/FSE, CCF-A, 2022
•
Exposing Vulnerable Paths: Enhance Static Analysis with Lightweight Symbolic Execution
Guangwei Li, Ting Yuan, Jie Lu, Lian Li, Xiaobin Zhang, Xu Song, Kejun Zhang
APSEC, CCF-C, 2021
•
Detecting TensorFlow Program Bugs in Real-World Industrial Environment
Chen Liu, Jie Lu*, Guangwei Li, Ting Yuan, Lian Li, Feng Tan, Jun Yang, Liang You, Jingling Xue
ASE, CCF-A, 2021
•
GoBench: a Benchmark Suite of Real-World Go Concurrency Bugs
Ting Yuan, Guangwei Li, Jie Lu*, Chen Liu, Lian Li, Jingling Xue
CGO, CCF-B, 2021
•
Scaling Up the IFDS Algorithm with Efficient Disk-assisted Computing
Haofeng Li, Haining Meng, Hengjie Zheng, Liqing Cao, Jie Lu, Lian Li, Lin Gao
CGO, CCF-B, 2021
•
CloudRaid: Detecting Distributed Concurrency Bugs via Log Mining and Enhancement
Jie Lu, Feng Li, Chen Liu, Lian Li, Xiaobing Feng, Jingling Xue
TSE, CCF-A, 2020
•
CrashTuner: detecting crash-recovery bugs in cloud systems via meta-info analysis
Jie Lu, Chen Liu, Lian Li, Xiaobing Feng, Feng Tan, Jun Yang, Liang You
SOSP, CCF-A, 2019
•
Log analysis for distributed systems and its application
Jie Lu, Feng li, Lian Li
Chinese High Technology Letters, 2019
•
AgamottoEye: Recovering Request Flow for Cloud Systems via Log Analysis
Jie Lu, Feng Li, Lian li
Journal of Computer Science Research, 2019
•
Understanding Node Change Bugs for Distributed Systems
Jie Lu, Liu Chen, Lian Li and Xiaobing Feng
SANER, CCF-B, 2019
•
CloudRaid: hunting concurrency bugs in the cloud via log-mining
Jie Lu, Feng Li, Lian Li and Xiaobing Feng
ESEC/FSE, CCF-A, 2018