Detecting Broken Object-Level Authorization Vulnerabilities in Database-Backed Applications
Yongheng Huang, Chenghang Shi, Jie Lu, Haofeng Li, Haining Meng, Lian LiCCS CCF-A, 2024
View
Publications
CCS CCF-A, 2024
View
Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment Transformers
Haofeng Li, Chenghang Shi, Jie Lu, Lian Li, Jingling XueOOPSLA CCF-A, 2024
View
Better Not Together: Staged Solving for Context-Free Language Reachability
Chenghang Shi, Haofeng Li, Jie Lu, Lian LiISSTA CCF-A, 2024
View
Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis
Jie Lu, Feng Li, Lian liTSE CCF-A, 2024
View
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. HuoNDSS CCF-A, 2024
View
Boosting the Performance of Multi-Solver IFDS Algorithms with Flow-sensitivity Optimizations
Haofeng Li, Jie Lu, Haining Meng, Liqing Cao, Lian Li, Lin GaoCGO CCF-B, 2024
View
AutoWeb: Automatically Inferring Web Framework Semantics via Configuration Mutation
Haining Meng, Haofeng Li, Jie Lu, Chenghang Shi, Liqing Cao, Lian Li, lin GaoICECCS CCF-C, 2024
View
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 XueASE CCF-A, 2023
View
Detecting Missing-Permission-Check Vulnerabilities in Distributed Cloud Systems
Jie Lu, Haofeng Li, Chen Liu, Lian li, Kun ChengBest Paper Honorable Mention, ACM CCS, CCF-A, 2022
View
Generic Sensitivity: Customizing Context-Sensitive Pointer Analysis for Generics
Haofeng Li, Jie Lu, Haining Meng, Liqing Cao, Yongheng Huang, Lian Li, Lin GaoESEC/FSE CCF-A, 2022
View
Exposing Vulnerable Paths: Enhance Static Analysis with Lightweight Symbolic Execution
Guangwei Li, Ting Yuan, Jie Lu, Lian Li, Xiaobin Zhang, Xu Song, Kejun ZhangAPSEC CCF-C, 2021
View
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 XueASE CCF-A, 2021
View
GoBench: a Benchmark Suite of Real-World Go Concurrency Bugs
Ting Yuan, Guangwei Li, Jie Lu*, Chen Liu, Lian Li, Jingling XueCGO CCF-B, 2021
View
Scaling Up the IFDS Algorithm with Efficient Disk-assisted Computing
Haofeng Li, Haining Meng, Hengjie Zheng, Liqing Cao, Jie Lu, Lian Li, Lin GaoCGO CCF-A, 2021
View
CloudRaid: Detecting Distributed Concurrency Bugs via Log Mining and Enhancement
Jie Lu, Feng Li, Chen Liu, Lian Li, Xiaobing Feng, Jingling XueTSE CCF-A, 2020
View
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 YouSOSP CCF-A, 2019
View
Log analysis for distributed systems and its application
Jie Lu, Feng li, Lian LiChinese High Technology Letters, 2019
View
AgamottoEye: Recovering Request Flow for Cloud Systems via Log Analysis
Jie Lu, Feng Li, Lian liJournal of Computer Science Research, 2019
View
Understanding Node Change Bugs for Distributed Systems
Jie Lu, Liu Chen, Lian Li and Xiaobing FengSANER CCF-B, 2019
View
CloudRaid: hunting concurrency bugs in the cloud via log-mining
Jie Lu, Feng Li, Lian Li and Xiaobing FengESEC/FSE CCF-A, 2018
View