Tai-e Reference Documentation

Tian Tan
Yue Li
Teng Zhang
version 0.5.1-SNAPSHOT

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 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-SNAPSHOT
Last updated 2023-11-12 07:41:19 UTC