Tai-e Ecosystem

Since Tai-e was released, many high-quality academic papers have been built on Tai-e to build their own analysis tools.

Conference/Journal Paper Corresponding Affiliation Tool 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