blob: 50bc85d4aef5daafe8d4fb8d0e7d3af1ea8c8ba9 [file] [log] [blame]
Ed Mastee4320f52014-10-08 18:35:16 +00001#!/bin/sh
Lorenzo Martignoni085bf662013-11-27 11:50:44 +00002
3DFSAN_DIR=$(dirname "$0")/../
Lorenzo Martignoni60ebffc2014-10-08 10:01:42 +00004DFSAN_CUSTOM_TESTS=${DFSAN_DIR}/../../test/dfsan/custom.cc
Lorenzo Martignoni085bf662013-11-27 11:50:44 +00005DFSAN_CUSTOM_WRAPPERS=${DFSAN_DIR}/dfsan_custom.cc
6DFSAN_ABI_LIST=${DFSAN_DIR}/done_abilist.txt
7
8DIFFOUT=$(mktemp -q /tmp/tmp.XXXXXXXXXX)
9ERRORLOG=$(mktemp -q /tmp/tmp.XXXXXXXXXX)
Ed Mastee4320f52014-10-08 18:35:16 +000010DIFF_A=$(mktemp -q /tmp/tmp.XXXXXXXXXX)
11DIFF_B=$(mktemp -q /tmp/tmp.XXXXXXXXXX)
Lorenzo Martignoni085bf662013-11-27 11:50:44 +000012
13on_exit() {
14 rm -f ${DIFFOUT} 2> /dev/null
15 rm -f ${ERRORLOG} 2> /dev/null
Ed Mastee4320f52014-10-08 18:35:16 +000016 rm -f ${DIFF_A} 2> /dev/null
17 rm -f ${DIFF_B} 2> /dev/null
Lorenzo Martignoni085bf662013-11-27 11:50:44 +000018}
19
20trap on_exit EXIT
Ed Mastee4320f52014-10-08 18:35:16 +000021grep -E "^fun:.*=custom" ${DFSAN_ABI_LIST} | grep -v "dfsan_get_label" \
22 | sed "s/^fun:\(.*\)=custom.*/\1/" | sort > $DIFF_A
23grep -E "__dfsw.*\(" ${DFSAN_CUSTOM_WRAPPERS} \
24 | sed "s/.*__dfsw_\(.*\)(.*/\1/" | sort > $DIFF_B
25diff -u $DIFF_A $DIFF_B > ${DIFFOUT}
Lorenzo Martignoni085bf662013-11-27 11:50:44 +000026if [ $? -ne 0 ]
27then
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}
31fi
32
Ed Mastee4320f52014-10-08 18:35:16 +000033grep -E __dfsw_ ${DFSAN_CUSTOM_WRAPPERS} \
34 | sed "s/.*__dfsw_\([^(]*\).*/\1/" | sort > $DIFF_A
35grep -E "^\\s*test_.*\(\);" ${DFSAN_CUSTOM_TESTS} \
36 | sed "s/.*test_\(.*\)();/\1/" | sort > $DIFF_B
37diff -u $DIFF_A $DIFF_B > ${DIFFOUT}
Lorenzo Martignoni085bf662013-11-27 11:50:44 +000038if [ $? -ne 0 ]
39then
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}
43fi
44
Ed Mastee4320f52014-10-08 18:35:16 +000045if [ -s ${ERRORLOG} ]
Lorenzo Martignoni085bf662013-11-27 11:50:44 +000046then
47 cat ${ERRORLOG}
48 exit 1
49fi
50