intellij tai e

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