Tai-e Reference Documentation

Tian Tan
Yue Li
Teng Zhang
version 0.5.1

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

Version 0.5.1
Last updated 2024-12-31 08:01:36 UTC