/intellij-tai-e

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

Primary LanguageKotlin

Stargazers