Pinned

1. Tai-e-Template Tai-e-Template Public template

   Scaffolding project that uses Tai-e as a dependency.

   Java 6

2. intellij-tai-e intellij-tai-e Public

   IntelliJ plugin for Tai-e (a static analysis framework)

   Kotlin 8 1

3. CVE-2021-44228 CVE-2021-44228 Public

   Utilize Tai-e to identify the Log4shell (a.k.a. CVE-2021-44228) Vulnerability

   Java 9 1

4. Cut-Shortcut Cut-Shortcut Public

   Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis