Skip to content
@Tai-e

Tai-e

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

Pinned Loading

  1. Tai-e-Examples Public

    Java

  2. Tai-e-Template Public template

    Scaffolding project that uses Tai-e as a dependency.

    Java 6

  3. intellij-tai-e Public

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

    Kotlin 9 3

  4. CVE-2021-44228 Public

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

    Java 9 1

Repositories

Showing 6 of 6 repositories
  • CVE-2021-44228 Public

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

    Java 9 1 0 0 Updated Apr 1, 2025
  • Tai-e-Examples Public
    Java 0 0 0 0 Updated Mar 13, 2025
  • intellij-tai-e Public

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

    Kotlin 9 3 0 6 Updated Jan 22, 2025
  • Tai-e-Template Public template

    Scaffolding project that uses Tai-e as a dependency.

    Java 6 0 0 0 Updated Dec 31, 2024
  • Cut-Shortcut Public

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

    0 0 0 0 Updated Oct 26, 2023
  • .github Public
    0 0 0 0 Updated Oct 17, 2023

Top languages

Loading…

Most used topics

Loading…