intellij-tai-e

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...