attributes.adoc Tai-e Reference Documentation This documentation is also available as a single-page html. The reference documentation consists of the following sections: Setup Tai-e in IntelliJ IDEA How to Run Tai-e (command-line options)? How to Specify and Access Types, Classes, and Class Members (Methods and Fields)? How to Use Taint Analysis? How to Develop A New Analysis on Tai-e? Program Abstraction in Tai-e (core classes and IR) Analysis Management Pointer Analysis Framework Publications