C2FSM

C2FSM: A Tool for Active Learning of Extended Finite State Machines from C ProgramsThis is the reproduction package for C2FSM, which contains the C2FSM Docker image and experiment results.How to reproduce:Download all files and unzip them (including "docker load -i c2fsm.tar.gz").Run "sh gen_code.sh". For each test/sv-benchmarks/inputs/*/src/main.c, C2FSM instruments this source program (instrumented programs are in */code/model.c).Run "sh make_trace.sh". C2FSM generates execution traces for each benchmark program. Note that this script assumes that test cases are already present. If you want to run AFL++, please set "-m all" instead of "-m trace -i ...".Run "cd test/sv-benchmarks". Then, you can run either "sh abstract.sh" or "sh baseline.sh", where the former uses the abstraction mapper, while the latter does not. Before that, you may remove the "abstract" or "baseline" directory (the original experiment results), copy the "inputs" directory, and rename the copied directory as "abstract" or "baseline", to reproduce the original results.The "test/journal_benchmarks" directory (the Simulink benchmarks) can be processed in the same way (except for the preprocessing step).For further details, please refer to "README.md".