Next: Analyzing the sensitivity of
Up: Implementation
Previous: Implementation
We use CIL (a C Intermediate Language implemented in OCaml) [11] as the
infrastructure for our source-to-source translation. CIL translates C code
into a clean, easy-to-manipulate subset of C. It includes drivers that act
as drop-in replacements for gcc, ar, and ld so that CIL can be
used with existing makefiles. CIL uses these drivers to collect all of the
source files for a program, preprocess them, and merge them into a single C
file to facilitate whole-program analysis.
Naveen Sastry
2003-05-12