Repair/RepairCompiler/compiler-steps.txt

   1 1. Copy SimpleHash.h and .c to the working directory and add
   2    include "Simplehash.h"
   3
   4 2. Create function
   5    void assertvalidmemory(int low, int high) {
   6    }
   7
   8 3. Create function
   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
  13      used in the specs
  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
  18
  19 4. Declare global variables in specs.struct
  20
  21 5. In RepairCompiler/MCC, generate the .cc file:
  22    java -cp ../ MCC.Compiler spec-file,
  23    where spec-file.* contain the specs
  24
  25 6. Compile the program under analysis
  26    g++ program.c SimpleHash.cc libchecker.a -o program
  27