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
|
Nanjing University
|
Implement new frontend
|
PLDI 2025
|
Pointer Analysis for Database-Backed Applications
|
Nanjing University
|
Implement new analysis technique
|
S&P 2025
|
Detecting Taint-Style Vulnerabilities in Microservice-Structured
Web Applications
|
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
|
Fudan University
|
Implement new analysis technique
|
ISSTA 2025
|
Bridge the Islands: Pointer Analysis for Microservice Systems
|
Nanjing University
|
Implement new analysis technique
|
ICSE 2025
|
Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs
|
Nanjing University
|
Implement new analysis technique
|
ICSE 2025
|
PacDroid: A Pointer-Analysis-Centric Framework for Security
Vulnerabilities in Android Apps
|
Nanjing University
|
Implement new analysis technique
|
ICSE 2025
|
Module-Aware Context Sensitive Pointer Analysis
|
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
|
Nankai University
|
Construct Call Graph
|
TrustCom 2024
|
EffiTaint: Boosting Sensitive Data Tracking with Accurate Taint
Behavior Modeling and Efficient Access Path Optimization
|
Ocean University of China
|
Implement new analysis technique
|
PLDI 2023
|
Context sensitivity without contexts: A cut-shortcut approach to
fast and precise pointer analysis
|
Nanjing University
|
Implement new analysis technique
|
Heliyon 2023
|
CRSExtractor: Automated configuration option read sites extraction
towards IoT cloud infrastructure
|
Beijing Jiaotong University
|
Implement new analysis technique
|