Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -16,6 +16,8 @@
- Tai-e ships with a new frontend, providing faster and more reliable conversion from Java programs to Tai-e IR.
- Android app analysis is supported through a PacDroid-powered plugin integrated with pointer analysis.
- Spring DI and WEC analysis is supported through the Spring analysis plugin.
- Our paper _"When Absence Speaks: A Null-Aware Approach for Taint Analysis"_ has been accepted by <ins>ICSE'27</ins>. This work presents a simple yet effective approach for recovering missing taint flows, improving the vulnerability detection capability of general-purpose Java taint analysis.
- Our paper _"Heap Abstraction via Early-Confluent Object Merging for Pointer Analysis"_ has been accepted by <ins>OOPSLA'26</ins>. This work presents Valve, a novel heap abstraction technique that significantly accelerates pointer analysis while preserving high precision.
- Our paper _"Two Approaches to Fast Bytecode Frontend for Static Analysis"_ has been accepted by <ins>OOPSLA'25</ins>. This paper presents Tai-e's new bytecode frontend, which is significantly faster and more reliable than existing frontends.
- Our paper _"Pointer Analysis for Database-Backed Applications"_ has been accepted by <ins>PLDI'25</ins>. This paper describes an end–to–end pointer analysis for Java database–backed application developed on top of Tai-e.
- Our paper _"PacDroid: A Pointer-Analysis-Centric Framework for Security Vulnerabilities in Android Apps"_ has been accepted by <ins>ICSE'25</ins>. This work demonstrates Tai-e's new capability in Android analysis, providing a simple yet effective approach for security analysis of Apps. This work earned the **Best Artifact Award**🏅.
Expand Down
4 changes: 4 additions & 0 deletions docs/en/publications.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,10 @@ include::attributes.adoc[]

= Publications

* Zhiwei Zhang, Menglong Chen, Yufei Liang, Hengbin Zheng, Yinning Xiao, Tian Tan, Jie Liu, and Yue Li. _When Absence Speaks: A Null-Aware Approach for Taint Analysis_. In Proceedings of the 49th IEEE/ACM International Conference on Software Engineering, Dublin, Ireland, April 25--May 1 2027 (ICSE'27). (Accepted, to Appear).

* Jinpeng Wang, Yufei Liang, Zhongsheng Zhan, Tian Tan, and Yue Li. _Heap Abstraction via Early-Confluent Object Merging for Pointer Analysis_. In Proceedings of the ACM on Programming Languages, Volume 10, Issue OOPSLA2, Oakland, California, United States, October 4--9 2026 (OOPSLA'26).

* Chenxi Li, Haoran Lin, Tian Tan, and Yue Li. _Two Approaches to Fast Bytecode Frontend for Static Analysis_. In Proceedings of the ACM on Programming Languages, Volume 8, Issue OOPSLA2, Singapore, October 12--18 2025. (OOPSLA'25)

* Yufei Liang, Teng Zhang, Ganlin Li, Tian Tan, Chang Xu, Chun Cao, Xiaoxing Ma, and Yue Li. _Pointer Analysis for Database-Backed Applications_. In Proceedings of the 46th ACM SIGPLAN Conference on Programming Language Design and Implementation, Seoul, South Korea, June 16--20 2025 (PLDI'25).
Expand Down
Loading