{"repo":"pascal-lab/Tai-e","free":true,"listed":false,"github":"https://github.com/pascal-lab/Tai-e","clone":"git clone https://github.com/pascal-lab/Tai-e.git","description":"An easy-to-learn/use static analysis framework for Java and Android","language":"Java","stars":1801,"topics":["java","static-analysis","security","taint-analysis","call-graph","android"],"license":"LGPL-3.0","category":"mobile-apps","readme_excerpt":"Tai-e ✨News - Release v0.5.4: - 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 \"Two Approaches to Fast Bytecode Frontend for Static Analysis\" has been accepted by OOPSLA'25 . 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 PLDI'25 . 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 ICSE'25 . 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 🏅. - Our paper \"Bridge the Islands: Pointer Analysis for Microservice Systems\" has been accepted by ISSTA'25 . This paper describes the first pointer analysis for Java Microservice systems developed on top of Tai-e. - Our paper \"Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs\" has been accepted by ICSE'25 . This is the first cross-language pointer analysis between Java an","default_branch":null,"files":null,"tree":[],"storefront":"/r/pascal-lab","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/pascal-lab/Tai-e/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}