1 Introduction

The TERM Iteration and Transformation Environment (Termite) is a Prolog library that allows easy manipulation and analysis of C++ programs. It is particularly well suited to specify source-to-source program transformations, static program analyses and program visualizations. Termite builds upon the intermediate representation of SATIrE. More information on SATIrE can be found at http://www.complang.tuwien.ac.at/satire.


Section Index


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