Check out the new USENIX Web site. next up previous
Next: Analyzing the sensitivity of Up: Implementation Previous: Implementation

Merging of source files

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