Tai-e

The community of static analysis framework Tai-e. Contributions are welcome.

Pinned Repositories

.github
00
Cut-Shortcut
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
0 0 00
CVE-2021-44228
Utilize Tai-e to identify the Log4shell (a.k.a. CVE-2021-44228) Vulnerability
Language:Java9 0 01
intellij-tai-e
IntelliJ plugin for Tai-e (a static analysis framework)
Language:Kotlin9 2 33
Tai-e-Examples
Language:Java00
Tai-e-Template
Scaffolding project that uses Tai-e as a dependency.
Language:Java6 0 00

Tai-e's Repositories

Tai-e/CVE-2021-44228
Utilize Tai-e to identify the Log4shell (a.k.a. CVE-2021-44228) Vulnerability
Language:Java9 0 01
Tai-e/intellij-tai-e
IntelliJ plugin for Tai-e (a static analysis framework)
Language:Kotlin9 2 33
Tai-e/Tai-e-Template
Scaffolding project that uses Tai-e as a dependency.
Language:Java6 0 00
Tai-e/.github
00
Tai-e/Cut-Shortcut
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
0 0 00
Tai-e/Tai-e-Examples
Language:Java00