Table of Contents
1
Introduction
1.1
Using Termite
1.1.1
Using Termite for a standalone process
1.1.1.1
EDG C/C++ front end from the ROSE compiler
1.1.1.2
Using the Clang C/Objective C front end
1.1.1.3
Uparsing Termite terms without SATIrE
1.1.2
As part of a SATIrE analyzer
2
The Termite term representation
2.1
Grammar of TERMITE terms
2.1.1
statements
2.1.2
expressions
2.1.3
annotations
2.1.4
other stuff
3
Library Reference
3.1
asttransform.pl -- Properties of abstract syntax trees
3.2
astproperties.pl -- Properties of abstract syntax trees
3.3
astwalk.pl -- Flexible traversals of abstract syntax trees
3.4
callgraph.pl -- Create a call graph from an AST
3.5
utils.pl -- A collection of useful general-purpose predicates.
3.6
loops.pl -- Properties of loops
3.7
markers.pl -- Properties of abstract syntax trees
3.8
loopbounds.pl
3.9
termlint.pl -- Term type checker
