Skip to content

Tai-e/intellij-tai-e

Repository files navigation

intellij-tai-e

Build Version Downloads

The Intellij-IDEA Plugin for Tai-e (a static analysis framework for Java).

Features

  • Support for Tai-e IR file (.tir), e.g., syntax highlight, find usage (still WIP), and so on
  • Search class/method/field in Tai-e IR format
  • Copy reference in Tai-e IR format

Installation

  • Using IDE built-in plugin system:

    Settings/Preferences > Plugins > Marketplace > Search for "Tai-e" > Install Plugin

  • Manually:

    Download the latest release and install it manually using Settings/Preferences > Plugins > ⚙️ > Install plugin from disk...