Tai-e
An easy-to-learn/use static analysis framework for Java and Android observed · 2026-08-28
Health v2 · maintenance only
84/100
- Activity 99
- Release rhythm 57
- Longevity 100
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-02. Adoption (stars, forks) is never an input.
- gap_med: 268.5
- age_days: 1503
- days_rel: 72
- days_push: 7
- n_releases_24m: 3
Adoption not part of the score
1804 stars · 199 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
Tai-e is an easy-to-learn, developer-friendly static analysis framework for Java and Android programs, offering pointer analysis, taint analysis, call graph construction, and dataflow analyses. It is actively developed by an academic group and widely used as a foundation for published program-analysis research.
Use cases
- build a custom static analysis for Java bytecode
- run taint analysis to find security vulnerabilities in Java apps
- generate call graphs for Java programs
- analyze Android apps for security vulnerabilities
- learn pointer analysis through course assignments
- perform context-sensitive pointer analysis research
- analyze Java microservice or database-backed applications
When to choose
- you need a modern, extensible Java/Android static analysis framework with strong pointer analysis
- you are doing academic research or coursework in program analysis
- you need taint analysis or vulnerability detection on JVM bytecode
When to avoid
- you need static analysis for languages other than Java/Android
- you want a turnkey commercial-grade SAST product without writing analysis code
- you need dynamic analysis or runtime instrumentation instead of static analysis
Facets
framework · maturity active
security parser developer-tools plugin-system cli programming-languages security developer-tools android-tools jvm cli cross-platform static-analysis pointer-analysis taint-analysis call-graph dataflow-analysis android-analysis program-analysis research algorithms
10 sources
- readme: https://github.com/pascal-lab/Tai-e · fetched 2026-08-28 · 6331bda9b757
- homepage: https://tai-e.pascal-lab.net/docs/index.html · fetched 2026-08-29 · fbf0627e4dba
- site_page: https://tai-e.pascal-lab.net/docs/current/reference/en/index.html · fetched 2026-08-29 · 0abf648b9025
- site_page: https://tai-e.pascal-lab.net/docs/current/api/index.html · fetched 2026-08-29 · e6bbb14bd7b2
- site_page: https://tai-e.pascal-lab.net/docs/0.5.4/reference/en/index.html · fetched 2026-08-29 · 06d7717b365c
- site_page: https://tai-e.pascal-lab.net/docs/0.5.4/api/index.html · fetched 2026-08-29 · c61299f9555d
- site_page: https://tai-e.pascal-lab.net/docs/0.5.2/reference/en/index.html · fetched 2026-08-29 · 75a671673a4d
- site_page: https://tai-e.pascal-lab.net/docs/0.5.2/api/index.html · fetched 2026-08-29 · 0d0f11833558
- site_page: https://tai-e.pascal-lab.net/docs/0.5.1/reference/en/index.html · fetched 2026-08-29 · 619675fd4cfa
- site_page: https://tai-e.pascal-lab.net/docs/0.5.1/api/index.html · fetched 2026-08-29 · cb83dda01733
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| pascal-lab/Tai-e | main | 84 |
| pascal-lab/Tai-e-assignments | examples | 50 |
For agents
markdown · JSON · MCP: product_card(name="pascal-lab/Tai-e")
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem