Tai-e Ecosystem

Conference/Journal	Paper
OOPSLA 2025	Two Approaches to Fast Bytecode Frontend for Static Analysis Chenxi Li, Haoran Lin, Tian Tan, and Yue Li
PLDI 2025	Pointer Analysis for Database-Backed Applications Yufei Liang, Teng Zhang, Ganlin Li, Tian Tan, Chang Xu, Chun Cao, Xiaoxing Ma and Yue Li
S&P 2025	Detecting Taint-Style Vulnerabilities in Microservice-Structured Web Applications Fengyu Liu, Yuan Zhang, Tian Chen, Youkun Shi, Guangliang Yang, Zihan Lin, Min Yang, Junyao He and Qi Li
USENIX Security 2025	Towards Automatic Detection and Exploitation of Java Web Application Vulnerabilities via Concolic Execution guided by Cross-thread Object Manipulation Xinyou Huang, Lei Zhang, Yongheng Liu, Peng Deng, Yinzhi Cao, Yuan Zhang and Min Yang
ISSTA 2025	Bridge the Islands: Pointer Analysis for Microservice Systems Teng Zhang, Yufei Liang, Ganlin Li, Tian Tan, Chang Xu and Yue Li
ICSE 2025	Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs Chenxi Zhang, Yufei Liang, Tian Tan, Chang Xu, Shuangxiang Kan, Yulei Sui and Yue Li
ICSE 2025	PacDroid: A Pointer-Analysis-Centric Framework for Security Vulnerabilities in Android Apps Menglong Chen, Tian Tan, Minxue Pan and Yue Li
ICSE 2025	Module-Aware Context Sensitive Pointer Analysis Haofeng Li, Chenghang Shi, Jie Lu, Lian Li and Zixuan Zhao
TSE 2024	Does the Vulnerability Threaten Our Projects? Automated Vulnerable API Detection for Third-Party Libraries Fangyuan Zhang, Lingling Fan, Sen Chen, Miaoying Cai, Sihan Xu and Lida Zhao
TrustCom 2024	EffiTaint: Boosting Sensitive Data Tracking with Accurate Taint Behavior Modeling and Efficient Access Path Optimization Haocheng Li, Haipeng Qu, Gaozhou Wang and Xiangjian Ge
PLDI 2023	Context sensitivity without contexts: A cut-shortcut approach to fast and precise pointer analysis Wenjie Ma, Shengyuan Yang, Tian Tan, Xiaoxing Ma, Chang Xu and Yue Li
Heliyon 2023	CRSExtractor: Automated configuration option read sites extraction towards IoT cloud infrastructure Yuhao Liu, Wei Wang, Yan Jia, Sihan Xu and Zheli Liu
ISSTA 2023 ORIGIN	Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics Tian Tan and Yue Li