kmc7468/cs420
1
0
Fork 0
mirror of https://github.com/kmc7468/cs420.git synced 2025-12-16 07:28:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add clang static analyzer to reduce criteria

Browse Source
This commit is contained in:
Minseong Jang
2022-03-28 15:26:49 +09:00
parent c4ec2c7881
commit 2947d4350f
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
tests/reduce-criteria-template.sh
View File

@@ -14,7 +14,7 @@ fi
if if
[ $FUZZ_ARG = '-i' ] &&\ [ $FUZZ_ARG = '-i' ] &&\
(! clang -pedantic -Wall -Werror=strict-prototypes -c test_reduced.c > out.txt 2>&1 ||\ (! clang -pedantic -Wall -Werror=strict-prototypes -c test_reduced.c > out.txt 2>&1 ||\
grep 'main-return-type' out.txt ||\ grep 'main-return-type' out.txt ||\
grep 'conversions than data arguments' out.txt ||\ grep 'conversions than data arguments' out.txt ||\
grep 'int-conversion' out.txt ||\ grep 'int-conversion' out.txt ||\
@@ -54,7 +54,9 @@ if
grep 'incompatible implicit' outa.txt ||\ grep 'incompatible implicit' outa.txt ||\
grep 'excess elements in struct initializer' outa.txt ||\ grep 'excess elements in struct initializer' outa.txt ||\
grep 'comparison between pointer and integer' outa.txt ||\ grep 'comparison between pointer and integer' outa.txt ||\
grep 'division by zero' outa.txt) grep 'division by zero' outa.txt ||\
! clang -Wall -Wextra --analyze -c test_reduced.c > outb.txt 2>&1 ||\
grep 'garbage value' outb.txt)
then then
exit 1 exit 1
fi fi