attributes.adoc Tai-e Reference Documentation This documentation is also available as multiple HTML pages. setup-in-intellij-idea.adoc command-line-options.adoc taint-analysis.adoc develop-new-analysis.adoc program-abstraction.adoc analysis-management.adoc pointer-analysis-framework.adoc publications.adoc