Install OCaml from your linux distribution or download from here. Make sure ocaml is in your path.
Run "ocaml -version". It should return 3.08 or higher.
Install CIL + Carburizer from here.
Download, untar the above file and run:
This will generate the executable cilly in cil/bin/cilly. Ensure this executable is in your path ($PATH).
As a test that cil is installed and in your path, go into the sample directory and RUN make ptr. You should be able to see the hardware dependence issues in the ptr.c in the sample directory.
Now we are ready to test drivers for hardware dependence bugs using Carburizer. Carburizer modifies cilly to introduce a new -dodrivers flag to test drivers for hardware
To test any driver, locate the corresponding Makefile for the driver and add the following lines:
These lines run carburizer analysis on the combined file. This enables taint propogation across different files in a driver module.
Please email me(email@example.com) for any questions about Carburizer.
Note: This version has automatic fixing (or any code generation) disabled and was released for kernel developers. You can either enable
it in source or contact me for that.