Ed Maste | e4320f5 | 2014-10-08 18:35:16 +0000 | [diff] [blame^] | 1 | #!/bin/sh |
Lorenzo Martignoni | 085bf66 | 2013-11-27 11:50:44 +0000 | [diff] [blame] | 2 | |
| 3 | DFSAN_DIR=$(dirname "$0")/../ |
Lorenzo Martignoni | 60ebffc | 2014-10-08 10:01:42 +0000 | [diff] [blame] | 4 | DFSAN_CUSTOM_TESTS=${DFSAN_DIR}/../../test/dfsan/custom.cc |
Lorenzo Martignoni | 085bf66 | 2013-11-27 11:50:44 +0000 | [diff] [blame] | 5 | DFSAN_CUSTOM_WRAPPERS=${DFSAN_DIR}/dfsan_custom.cc |
| 6 | DFSAN_ABI_LIST=${DFSAN_DIR}/done_abilist.txt |
| 7 | |
| 8 | DIFFOUT=$(mktemp -q /tmp/tmp.XXXXXXXXXX) |
| 9 | ERRORLOG=$(mktemp -q /tmp/tmp.XXXXXXXXXX) |
Ed Maste | e4320f5 | 2014-10-08 18:35:16 +0000 | [diff] [blame^] | 10 | DIFF_A=$(mktemp -q /tmp/tmp.XXXXXXXXXX) |
| 11 | DIFF_B=$(mktemp -q /tmp/tmp.XXXXXXXXXX) |
Lorenzo Martignoni | 085bf66 | 2013-11-27 11:50:44 +0000 | [diff] [blame] | 12 | |
| 13 | on_exit() { |
| 14 | rm -f ${DIFFOUT} 2> /dev/null |
| 15 | rm -f ${ERRORLOG} 2> /dev/null |
Ed Maste | e4320f5 | 2014-10-08 18:35:16 +0000 | [diff] [blame^] | 16 | rm -f ${DIFF_A} 2> /dev/null |
| 17 | rm -f ${DIFF_B} 2> /dev/null |
Lorenzo Martignoni | 085bf66 | 2013-11-27 11:50:44 +0000 | [diff] [blame] | 18 | } |
| 19 | |
| 20 | trap on_exit EXIT |
Ed Maste | e4320f5 | 2014-10-08 18:35:16 +0000 | [diff] [blame^] | 21 | grep -E "^fun:.*=custom" ${DFSAN_ABI_LIST} | grep -v "dfsan_get_label" \ |
| 22 | | sed "s/^fun:\(.*\)=custom.*/\1/" | sort > $DIFF_A |
| 23 | grep -E "__dfsw.*\(" ${DFSAN_CUSTOM_WRAPPERS} \ |
| 24 | | sed "s/.*__dfsw_\(.*\)(.*/\1/" | sort > $DIFF_B |
| 25 | diff -u $DIFF_A $DIFF_B > ${DIFFOUT} |
Lorenzo Martignoni | 085bf66 | 2013-11-27 11:50:44 +0000 | [diff] [blame] | 26 | if [ $? -ne 0 ] |
| 27 | then |
| 28 | echo -n "The following differences between the ABI list and ">> ${ERRORLOG} |
| 29 | echo "the implemented custom wrappers have been found:" >> ${ERRORLOG} |
| 30 | cat ${DIFFOUT} >> ${ERRORLOG} |
| 31 | fi |
| 32 | |
Ed Maste | e4320f5 | 2014-10-08 18:35:16 +0000 | [diff] [blame^] | 33 | grep -E __dfsw_ ${DFSAN_CUSTOM_WRAPPERS} \ |
| 34 | | sed "s/.*__dfsw_\([^(]*\).*/\1/" | sort > $DIFF_A |
| 35 | grep -E "^\\s*test_.*\(\);" ${DFSAN_CUSTOM_TESTS} \ |
| 36 | | sed "s/.*test_\(.*\)();/\1/" | sort > $DIFF_B |
| 37 | diff -u $DIFF_A $DIFF_B > ${DIFFOUT} |
Lorenzo Martignoni | 085bf66 | 2013-11-27 11:50:44 +0000 | [diff] [blame] | 38 | if [ $? -ne 0 ] |
| 39 | then |
| 40 | echo -n "The following differences between the implemented " >> ${ERRORLOG} |
| 41 | echo "custom wrappers and the tests have been found:" >> ${ERRORLOG} |
| 42 | cat ${DIFFOUT} >> ${ERRORLOG} |
| 43 | fi |
| 44 | |
Ed Maste | e4320f5 | 2014-10-08 18:35:16 +0000 | [diff] [blame^] | 45 | if [ -s ${ERRORLOG} ] |
Lorenzo Martignoni | 085bf66 | 2013-11-27 11:50:44 +0000 | [diff] [blame] | 46 | then |
| 47 | cat ${ERRORLOG} |
| 48 | exit 1 |
| 49 | fi |
| 50 | |