/CIMIN

CIMIN: Crashing Input MINimizer

Primary LanguageC

CIMIN

CIMIN: Crashing Input MINimizer

Contributors

  • 21900458 Gunmin Yoo
  • 22100113 Seongbin Kim

Usage

  1. Build the program
$ make
  1. Execute the created binary file
./cimin <options>
	-i	: a file path of the crashing input
	-m 	: a string whose appearance in standard error\
			determines whether the expected crash occurs or not
	-o 	: a new file path to store the reduced crashing input
	./a.out : a file path to the executable binary of the target program
  • Example:
./cimin -i ./target_programs/balance/testcases/fail -m "Unbalanced" -o ./output/reduced ./target_programs/balance/balance
./cimin -i ./target_programs/jsmn/testcases/crash.json -m "heap-buffer-overflow" -o ./output/reduced ./target_programs/jsmn/jsondump
  • Some target programs require building
  1. Check the results in the output path
vi <output_filepath>