1 1. Copy SimpleHash.h and .c to the working directory and add
5 void assertvalidmemory(int low, int high) {
9 void calltool(Type name)
10 * this is equiv to establishing a mapping in the interpreter version
11 * Type should be the type of the variable being mapped
12 * the name of the formal paremater should be the name of the variable
14 * multiple parameters for multiple mappings
15 * the body of the function should contain only
16 #include "spec-file.cc",
17 where the files spec-file.* contain the specs
19 4. Declare global variables in specs.struct
21 5. In RepairCompiler/MCC, generate the .cc file:
22 java -cp ../ MCC.Compiler spec-file,
23 where spec-file.* contain the specs
25 6. Compile the program under analysis
26 g++ program.c SimpleHash.cc libchecker.a -o program