patch-validator/run_demo at main · cssl-unist/patch-validator · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
#!/bin/bash
cd build

./C3Validate.py -s ../demo/libtiff-5321 -t test_case -c driver -b buffer_overflow -n tiffcrop -v
./C3Validate.py -s ../demo/libtiff-10094 -t test_case -c driver -b buffer_overflow -n tiff2pdf -v
./C3Validate.py -s ../demo/libtiff-7601 -t test_case -c driver -b integer_overflow -n tiffcp -v

# LowFat cannot creat correct CFC
./C3Validate.py -s ../demo/TIF002_LB2 -t test_case -c driver -b buffer_overflow -n tiff_read_rgba_fuzzer -v

./C3Validate.py -s ../demo/TIF006_LB4 -t test_case -c driver -b buffer_overflow -n tiffcp -v

# LowFat cannot detect
./C3Validate.py -s ../demo/libxml2-1839/ -t test_case -c driver -b buffer_overflow -n xmllint -v

# LowFat cannot detect
./C3Validate.py -s ../demo/SND005_LB45 -t test_case -c driver -b buffer_overflow -n sndfile_fuzzer -v

### MAVR

./C3Validate.py -s ../demo/libjpeg-15232 -t test_case -c driver -b null_pointer -n djpeg -v
./C3Validate.py -s ../demo/libjpeg-2806 -t test_case -c driver -b buffer_overflow -n djpeg -v


./C3Validate.py -s ../demo/libtiff-2611 -t test_case -c driver -b divide_by_0 -n tiffmedian -v
./C3Validate.py -s ../demo/libtiff-2633 -t test_case -c driver -b buffer_overflow -n tiff2ps -v

# why this cannot (lowfat build change is need)
#./C3Validate.py -s ../demo/libxml2-5134/ -t test_case -c driver -b buffer_overflow -n xmllint -v

./C3Validate.py -s ../demo/binutils-15025/ -t test_case -c driver -b divide_by_0 -n nm-new -v

./C3Validate.py -s ../demo/libtiff-9273/ -t test_case -c driver -b buffer_overflow -n tiffsplit -v

./C3Validate.py -s ../demo/coreutils-19784/ -t test_case -c driver -b buffer_overflow -n make-prime-list -v