Repositories list

• intellij-tai-e

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

  intellijstatic-analysisintellij-plugin+ 1tai-e

  Kotlin

  •3•9•0•6•Updated Oct 28, 2024Oct 28, 2024

• Tai-e-Examples

  Public
  Java

  •0•0•0•0•Updated Aug 9, 2024Aug 9, 2024

• Tai-e-Template

  Public template
  Scaffolding project that uses Tai-e as a dependency.

  javasecuritystatic-analysis+ 2taint-analysistai-e

  Java

  •0•6•0•0•Updated Nov 30, 2023Nov 30, 2023

• Cut-Shortcut

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

  javapointer-analysisalias-analysis+ 1context-sensitivity

  0•0•0•0•Updated Oct 26, 2023Oct 26, 2023

• .github

  Public
  0•0•0•0•Updated Oct 17, 2023Oct 17, 2023

• CVE-2021-44228

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

  javasecuritytaint-analysis+ 1log4shell

  Java

  •1•9•0•0•Updated Oct 6, 2023Oct 6, 2023