An abstraction tool for C
cd ./out/artifacts/cabs_jar & java -jar cabs.jar [inputPath1] [inputPath2] [outputCodePath1] [outputCodePath2] [outputMapPath]
inputPath1: buggy code (C source code file)
inputPath2: fixed code (C source code file)
outputCodePath1: buggy code (C source code file after abstraction)
outputCodePath2: fixed code (C source code file after abstraction) outputMapPath: a mapping table for abstraction