Tai-e Ecosystem

Conference/Journal	Paper	Corresponding Affiliation	Usage
OOPSLA 2025	Two Approaches to Fast Bytecode Frontend for Static Analysis Chenxi Li, Haoran Lin, Tian Tan, and Yue Li	Nanjing University	Implement new frontend
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	Nanjing University	Implement new analysis technique
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	Fudan University	Implement new analysis technique
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	Fudan University	Implement new analysis technique
ISSTA 2025	Bridge the Islands: Pointer Analysis for Microservice Systems Teng Zhang, Yufei Liang, Ganlin Li, Tian Tan, Chang Xu and Yue Li	Nanjing University	Implement new analysis technique
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	Nanjing University	Implement new analysis technique
ICSE 2025	PacDroid: A Pointer-Analysis-Centric Framework for Security Vulnerabilities in Android Apps Menglong Chen, Tian Tan, Minxue Pan and Yue Li	Nanjing University	Implement new analysis technique
ICSE 2025	Module-Aware Context Sensitive Pointer Analysis Haofeng Li, Chenghang Shi, Jie Lu, Lian Li and Zixuan Zhao	Institute of Software, Chinese Academy of Sciences	Implement new analysis technique
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	Nankai University	Construct Call Graph
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	Ocean University of China	Implement new analysis technique
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	Nanjing University	Implement new analysis technique
Heliyon 2023	CRSExtractor: Automated configuration option read sites extraction towards IoT cloud infrastructure Yuhao Liu, Wei Wang, Yan Jia, Sihan Xu and Zheli Liu	Beijing Jiaotong University	Implement new analysis technique
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	Nanjing University	Introduce Tai-e framework