QuanjunZhang / SCAN

A code abstraction tool for C/C++ language

SCAN

An abstraction tool for C

run

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