CIMIN

CIMIN: Crashing Input MINimizer

Contributors

21900458 Gunmin Yoo
22100113 Seongbin Kim

Usage

Build the program

$ make

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

Check the results in the output path

vi <output_filepath>

About

CIMIN: Crashing Input MINimizer

Languages

Language:C 51.6%Language:HTML 36.1%Language:RPGLE 3.7%Language:Shell 2.1%Language:Python 2.0%Language:Roff 1.2%Language:Makefile 1.0%Language:XSLT 0.7%Language:CMake 0.4%Language:M4 0.3%Language:Awk 0.2%Language:JavaScript 0.1%Language:PHP 0.1%Language:DIGITAL Command Language 0.1%Language:Batchfile 0.1%Language:Emacs Lisp 0.0%Language:Assembly 0.0%Language:C++ 0.0%Language:Clean 0.0%Language:VCL 0.0%Language:Perl 0.0%Language:Module Management System 0.0%Language:Dockerfile 0.0%Language:CSS 0.0%Language:Max 0.0%