Tai-e Reference Documentation

Tian Tan
Yue Li
version 0.2.2

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.2.2
Last updated 2023-09-23 13:38:33 UTC