This is a simple tutorial about how to use the CIL compiler frontend to do
static and dynamic program analysis.
-Author: Zach Anderson (za
+Author: Zach Anderson (za)
2. Building and Installing
6. Let me know if I've missed any steps =)
-(This is to remind me how to build the docs in my private repo, and so they
-don't apply to the code under this tree. The documentation of which this section
-speaks will shortly be available at http://www.inf.ethz.ch/~azachary.)
-Dependencies for the documentation:
- - Ubuntu package: ocamlweb
- - Ubuntu packages: highlight highlight-common
- - Version 2.16 can be obtained for Mac OSX at:
-. Again, please let me know if I've forgotten anything
-Assuming you have installed these, doing:
-will build docs/ciltut.pdf along with everything else.
-Pass --disable-docs to the configure script to disable document building.
Makefile.in - Edit the "MODULES =" line to add additional OCaml modules. Other
LICENSE - All the code in this project is licensed under a standard 3-clause
If you use cil-template as a starting point for your project, please make the