Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 1 | #!/bin/sh |
| 2 | |
| 3 | # |
| 4 | # Create an ASN.1 source code project for each line in each of the |
| 5 | # bundles/*.txt files, compile and run that it can be encoded, decoded, |
| 6 | # and fuzzed (if fuzzing is available). |
| 7 | # |
| 8 | |
| 9 | set -e |
| 10 | |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 11 | usage() { |
| 12 | echo "Usage:" |
| 13 | echo " $0 -h" |
Lev Walkin | 93f372b | 2017-10-03 16:39:38 -0700 | [diff] [blame] | 14 | echo " $0 [--dirty] -t \"<ASN.1 text defining type T, in string form>\"" |
| 15 | echo " $0 [--dirty] bundles/<bundle-name.txt> [<line>]" |
Lev Walkin | 8cec523 | 2017-10-03 15:05:54 -0700 | [diff] [blame] | 16 | echo "Where options are:" |
Lev Walkin | 4329272 | 2017-10-05 00:33:32 -0700 | [diff] [blame] | 17 | echo " -h Show this help screen" |
| 18 | echo " -e <syntax> Verify a given encoding explicitly (default is ALL)" |
| 19 | echo " --asn1c <flag> Add this flag to asn1c" |
| 20 | echo " --dirty Reuse compile results from the previous run(s)" |
| 21 | echo " -t <ASN.1> Run this particular typel" |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 22 | echo "Examples:" |
| 23 | echo " $0 -t UTF8String" |
| 24 | echo " $0 -t \"T ::= INTEGER (0..1)\"" |
| 25 | echo " $0 bundles/01-INTEGER-bundle.txt 3" |
| 26 | exit 1 |
| 27 | } |
| 28 | |
Lev Walkin | 40b8a7a | 2017-10-08 22:36:29 -0700 | [diff] [blame] | 29 | RNDTEMP="${RNDTEMP:-.tmp.random}" |
Lev Walkin | d3cce46 | 2017-10-01 13:43:36 -0700 | [diff] [blame] | 30 | |
| 31 | srcdir="${srcdir:-.}" |
Lev Walkin | 39936ce | 2017-10-05 23:56:39 -0700 | [diff] [blame] | 32 | abs_top_srcdir="${abs_top_srcdir:-`pwd`/../../}" |
| 33 | abs_top_builddir="${abs_top_builddir:-`pwd`/../../}" |
Lev Walkin | d0d6392 | 2017-10-10 01:27:37 -0700 | [diff] [blame] | 34 | MAKE="${MAKE:-make}" |
| 35 | FUZZ_TIME="${FUZZ_TIME:-10}" |
Lev Walkin | d3cce46 | 2017-10-01 13:43:36 -0700 | [diff] [blame] | 36 | |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 37 | tests_succeeded=0 |
| 38 | tests_failed=0 |
Lev Walkin | d3cce46 | 2017-10-01 13:43:36 -0700 | [diff] [blame] | 39 | stop_after_failed=1 # We stop after 3 failures. |
Lev Walkin | 8cec523 | 2017-10-03 15:05:54 -0700 | [diff] [blame] | 40 | need_clean_before_bundle=1 # Clean before testing a bundle file |
Lev Walkin | 7c470c7 | 2017-10-08 04:01:45 -0700 | [diff] [blame] | 41 | need_clean_before_test=0 # Before each line in a bundle file |
Lev Walkin | 68619bf | 2017-10-03 18:40:36 -0700 | [diff] [blame] | 42 | encodings="" # Default is to verify all supported ASN.1 transfer syntaxes |
Lev Walkin | 40b8a7a | 2017-10-08 22:36:29 -0700 | [diff] [blame] | 43 | parallelism=1 |
Lev Walkin | 4329272 | 2017-10-05 00:33:32 -0700 | [diff] [blame] | 44 | asn1c_flags="" |
Lev Walkin | 8cec523 | 2017-10-03 15:05:54 -0700 | [diff] [blame] | 45 | |
| 46 | make_clean_before_bundle() { |
Lev Walkin | ab25f19 | 2017-10-08 12:50:43 -0700 | [diff] [blame] | 47 | if [ "${need_clean_before_bundle}" = "1" ] ; then |
Lev Walkin | ac6db17 | 2017-10-10 00:31:06 -0700 | [diff] [blame] | 48 | (cd "${RNDTEMP}" && Make clean) || : |
Lev Walkin | ab25f19 | 2017-10-08 12:50:43 -0700 | [diff] [blame] | 49 | fi |
Lev Walkin | 8cec523 | 2017-10-03 15:05:54 -0700 | [diff] [blame] | 50 | } |
| 51 | |
| 52 | make_clean_before_test() { |
Lev Walkin | 60d6267 | 2017-10-08 03:16:10 -0700 | [diff] [blame] | 53 | if [ "${need_clean_before_test}" = "1" ] ; then |
| 54 | Make clean |
Lev Walkin | f22184d | 2017-10-27 18:40:32 -0700 | [diff] [blame^] | 55 | else |
| 56 | # Low resolution file system mtime prevents rapid testing |
| 57 | # without recompilation. We have to clean at least the most |
| 58 | # critical portion of the objects. This will reach our objective |
| 59 | # of fast compile times (since most of skeletons are not recompiled), |
| 60 | # but won't yield a stale T.o object where newer T.c source exists. |
| 61 | rm -f T.o || : |
Lev Walkin | 60d6267 | 2017-10-08 03:16:10 -0700 | [diff] [blame] | 62 | fi |
Lev Walkin | 8cec523 | 2017-10-03 15:05:54 -0700 | [diff] [blame] | 63 | } |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 64 | |
| 65 | # Get all the type-bearding lines in file and process them individually |
| 66 | verify_asn_types_in_file() { |
Lev Walkin | 39936ce | 2017-10-05 23:56:39 -0700 | [diff] [blame] | 67 | filename="$1" |
| 68 | need_line="$2" |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 69 | test "x$filename" != "x" || usage |
Lev Walkin | 8cec523 | 2017-10-03 15:05:54 -0700 | [diff] [blame] | 70 | |
| 71 | make_clean_before_bundle |
| 72 | |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 73 | echo "Open [$filename]" |
Lev Walkin | a460cbd | 2017-10-20 02:18:04 -0700 | [diff] [blame] | 74 | for mode in syntax full; do |
| 75 | if [ "x${mode}" = "xsyntax" ]; then |
| 76 | max_failures=1 |
| 77 | else |
| 78 | max_failures="${stop_after_failed}" |
| 79 | fi |
| 80 | |
| 81 | line=0 |
| 82 | while read asn; do |
Lev Walkin | 61b4be0 | 2017-10-18 16:37:51 -0700 | [diff] [blame] | 83 | line=`expr ${line} + 1` |
Lev Walkin | 39936ce | 2017-10-05 23:56:39 -0700 | [diff] [blame] | 84 | if echo "$asn" | sed -e 's/--.*//;' | grep -vi "[A-Z]" > /dev/null; then |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 85 | # Ignore lines consisting of just comments. |
| 86 | continue; |
| 87 | fi |
Lev Walkin | d28b45f | 2017-10-05 22:09:19 -0700 | [diff] [blame] | 88 | if [ "x$need_line" != "x" ] && [ "$need_line" != "$line" ]; then |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 89 | # We need a different line. |
| 90 | continue; |
| 91 | fi |
Lev Walkin | a460cbd | 2017-10-20 02:18:04 -0700 | [diff] [blame] | 92 | verify_asn_type "$mode" "$asn" "in $filename $line" |
| 93 | if [ "${tests_failed}" = "${max_failures}" ]; then |
Lev Walkin | d3cce46 | 2017-10-01 13:43:36 -0700 | [diff] [blame] | 94 | echo "STOP after ${tests_failed} failures, OK ${tests_succeeded}" |
| 95 | exit 1 |
| 96 | fi |
Lev Walkin | a460cbd | 2017-10-20 02:18:04 -0700 | [diff] [blame] | 97 | done < "$filename" |
| 98 | done |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 99 | } |
| 100 | |
| 101 | verify_asn_type() { |
Lev Walkin | a460cbd | 2017-10-20 02:18:04 -0700 | [diff] [blame] | 102 | mode="$1" |
| 103 | asn="$2" |
| 104 | where="$3" |
| 105 | shift 3 |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 106 | test "x$asn" != "x" || usage |
Lev Walkin | 8cec523 | 2017-10-03 15:05:54 -0700 | [diff] [blame] | 107 | |
Lev Walkin | 39936ce | 2017-10-05 23:56:39 -0700 | [diff] [blame] | 108 | if echo "$asn" | grep -v "::=" > /dev/null; then |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 109 | asn="T ::= $asn" |
| 110 | fi |
| 111 | echo "Testing [$asn] ${where}" |
| 112 | |
Lev Walkin | d3cce46 | 2017-10-01 13:43:36 -0700 | [diff] [blame] | 113 | mkdir -p ${RNDTEMP} |
Lev Walkin | a460cbd | 2017-10-20 02:18:04 -0700 | [diff] [blame] | 114 | |
| 115 | if [ "x${mode}" = "xsyntax" ]; then |
| 116 | if asn1c_invoke "${RNDTEMP}/test.asn1" "$asn" "$where" -P 2>&1 >/dev/null; then |
| 117 | return 0 |
| 118 | else |
| 119 | tests_failed=`expr ${tests_failed} + 1` |
| 120 | echo "FAIL: ASN.1 ERROR ${where}" |
| 121 | return 1 |
| 122 | fi |
| 123 | fi |
| 124 | |
Lev Walkin | ac6db17 | 2017-10-10 00:31:06 -0700 | [diff] [blame] | 125 | if (set -e && cd "${RNDTEMP}" && compile_and_test "$asn" "${where}"); then |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 126 | echo "OK [$asn] ${where}" |
Lev Walkin | 61b4be0 | 2017-10-18 16:37:51 -0700 | [diff] [blame] | 127 | tests_succeeded=`expr ${tests_succeeded} + 1` |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 128 | else |
Lev Walkin | 61b4be0 | 2017-10-18 16:37:51 -0700 | [diff] [blame] | 129 | tests_failed=`expr ${tests_failed} + 1` |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 130 | echo "FAIL [$asn] ${where}" |
| 131 | fi |
| 132 | } |
| 133 | |
Lev Walkin | 39936ce | 2017-10-05 23:56:39 -0700 | [diff] [blame] | 134 | Make() { |
Lev Walkin | d0d6392 | 2017-10-10 01:27:37 -0700 | [diff] [blame] | 135 | ${MAKE} -j "${parallelism}" "$@" || return $? |
Lev Walkin | 39936ce | 2017-10-05 23:56:39 -0700 | [diff] [blame] | 136 | } |
| 137 | |
| 138 | get_param() { |
| 139 | param="$1" |
| 140 | default="$2" |
Lev Walkin | ebeb401 | 2017-10-09 19:51:26 -0700 | [diff] [blame] | 141 | asn="$3" |
Lev Walkin | 39936ce | 2017-10-05 23:56:39 -0700 | [diff] [blame] | 142 | |
Lev Walkin | ebeb401 | 2017-10-09 19:51:26 -0700 | [diff] [blame] | 143 | if nawk '' >/dev/null 2>&1 ; then |
| 144 | AWK=nawk |
| 145 | else |
| 146 | AWK=awk |
| 147 | fi |
Lev Walkin | 39936ce | 2017-10-05 23:56:39 -0700 | [diff] [blame] | 148 | |
Lev Walkin | ebeb401 | 2017-10-09 19:51:26 -0700 | [diff] [blame] | 149 | echo "$asn" | ${AWK} "BEGIN{FS=\"[^${param}=0-9]+\"};/$param=/{for(i=1;i<=NF;i++)if(substr(\$i,0,length(\"${param}=\"))==\"${param}=\")PARAM=substr(\$i,length(\"${param}=\")+1)}END{if(PARAM)print PARAM;else print \"${default}\";}" |
Lev Walkin | 39936ce | 2017-10-05 23:56:39 -0700 | [diff] [blame] | 150 | } |
| 151 | |
Lev Walkin | 7c470c7 | 2017-10-08 04:01:45 -0700 | [diff] [blame] | 152 | # compile_and_test "<text>" "<where found>" |
Lev Walkin | ac6db17 | 2017-10-10 00:31:06 -0700 | [diff] [blame] | 153 | # This function is executed in the temporary test directory ${RNDTEMP}. |
Lev Walkin | 7c470c7 | 2017-10-08 04:01:45 -0700 | [diff] [blame] | 154 | compile_and_test() { |
Lev Walkin | 39936ce | 2017-10-05 23:56:39 -0700 | [diff] [blame] | 155 | asn="$1" |
| 156 | where="$2" |
Lev Walkin | 4329272 | 2017-10-05 00:33:32 -0700 | [diff] [blame] | 157 | |
Lev Walkin | ac6db17 | 2017-10-10 00:31:06 -0700 | [diff] [blame] | 158 | if [ "x$CC" = "x" ]; then CCSTR=""; else CCSTR="CC=${CC} "; fi |
Lev Walkin | d0d6392 | 2017-10-10 01:27:37 -0700 | [diff] [blame] | 159 | reproduce_make="cd \"${RNDTEMP}\" && ${CCSTR}CFLAGS=\"${CFLAGS}\" ${MAKE}" |
Lev Walkin | ac6db17 | 2017-10-10 00:31:06 -0700 | [diff] [blame] | 160 | |
| 161 | env > .test-environment |
| 162 | set > .test-set |
| 163 | |
Lev Walkin | 4329272 | 2017-10-05 00:33:32 -0700 | [diff] [blame] | 164 | make_clean_before_test |
| 165 | |
Lev Walkin | 7c470c7 | 2017-10-08 04:01:45 -0700 | [diff] [blame] | 166 | asn_compile "$asn" "$where" |
Lev Walkin | 39936ce | 2017-10-05 23:56:39 -0700 | [diff] [blame] | 167 | if [ $? -ne 0 ]; then |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 168 | echo "Cannot compile ASN.1 $asn" |
| 169 | return 1 |
| 170 | fi |
| 171 | |
| 172 | rm -f random-test-driver.o |
| 173 | rm -f random-test-driver |
Lev Walkin | 60d6267 | 2017-10-08 03:16:10 -0700 | [diff] [blame] | 174 | CFLAGS="${CFLAGS}" Make |
Lev Walkin | 39936ce | 2017-10-05 23:56:39 -0700 | [diff] [blame] | 175 | if [ $? -ne 0 ] ; then |
Lev Walkin | d3cce46 | 2017-10-01 13:43:36 -0700 | [diff] [blame] | 176 | echo "Cannot compile C for $asn in ${RNDTEMP}" |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 177 | return 2 |
| 178 | fi |
| 179 | |
Lev Walkin | 791d3b7 | 2017-10-02 16:24:28 -0700 | [diff] [blame] | 180 | # Maximum size of the random data |
Lev Walkin | 39936ce | 2017-10-05 23:56:39 -0700 | [diff] [blame] | 181 | rmax=`get_param RMAX 128 "$asn"` |
Lev Walkin | 791d3b7 | 2017-10-02 16:24:28 -0700 | [diff] [blame] | 182 | if [ "0${rmax}" -lt 1 ]; then rmax=128; fi |
| 183 | |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 184 | echo "Checking random data encode-decode" |
Lev Walkin | 39936ce | 2017-10-05 23:56:39 -0700 | [diff] [blame] | 185 | round_trip_check_cmd="${ASAN_ENV_FLAGS} ./random-test-driver -s ${rmax} ${encodings} -c" |
Lev Walkin | ac6db17 | 2017-10-10 00:31:06 -0700 | [diff] [blame] | 186 | echo "(${reproduce_make} && ${round_trip_check_cmd})" > .test-reproduce |
Lev Walkin | 39936ce | 2017-10-05 23:56:39 -0700 | [diff] [blame] | 187 | if eval "$round_trip_check_cmd"; then |
| 188 | echo "Random test OK" |
| 189 | else |
Lev Walkin | ac6db17 | 2017-10-10 00:31:06 -0700 | [diff] [blame] | 190 | { echo "RETRY:"; cat .test-reproduce ; } |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 191 | return 3 |
| 192 | fi |
| 193 | |
Lev Walkin | d3cce46 | 2017-10-01 13:43:36 -0700 | [diff] [blame] | 194 | echo "Generating new random data" |
| 195 | rm -rf random-data |
| 196 | cmd="${ASAN_ENV_FLAGS} UBSAN_OPTIONS=print_stacktrace=1" |
Lev Walkin | d28b45f | 2017-10-05 22:09:19 -0700 | [diff] [blame] | 197 | cmd="${cmd} ./random-test-driver -s ${rmax} ${encodings} -g random-data" |
Lev Walkin | ac6db17 | 2017-10-10 00:31:06 -0700 | [diff] [blame] | 198 | echo "(${reproduce_make} && ${cmd})" > .test-reproduce |
Lev Walkin | 39936ce | 2017-10-05 23:56:39 -0700 | [diff] [blame] | 199 | if eval "$cmd" ; then |
| 200 | echo "Random data generated OK" |
| 201 | else |
Lev Walkin | ac6db17 | 2017-10-10 00:31:06 -0700 | [diff] [blame] | 202 | { echo "RETRY:"; cat .test-reproduce ; } |
Lev Walkin | d3cce46 | 2017-10-01 13:43:36 -0700 | [diff] [blame] | 203 | return 4 |
| 204 | fi |
| 205 | |
Lev Walkin | 233d14d | 2017-10-02 01:09:01 -0700 | [diff] [blame] | 206 | # Do a LibFuzzer based testing |
Lev Walkin | 39936ce | 2017-10-05 23:56:39 -0700 | [diff] [blame] | 207 | fuzz_cmd="${ASAN_ENV_FLAGS} UBSAN_OPTIONS=print_stacktrace=1" |
Lev Walkin | d28b45f | 2017-10-05 22:09:19 -0700 | [diff] [blame] | 208 | fuzz_cmd="${fuzz_cmd} ./random-test-driver" |
Lev Walkin | e5f0d94 | 2017-10-24 00:59:32 -0700 | [diff] [blame] | 209 | fuzz_cmd="${fuzz_cmd} -timeout=3 -max_total_time=${FUZZ_TIME} -max_len=${rmax}" |
Lev Walkin | 233d14d | 2017-10-02 01:09:01 -0700 | [diff] [blame] | 210 | |
Lev Walkin | 39936ce | 2017-10-05 23:56:39 -0700 | [diff] [blame] | 211 | if grep "^fuzz:" Makefile >/dev/null ; then |
| 212 | echo "No fuzzer defined, skipping fuzzing" |
| 213 | else |
| 214 | fuzz_targets=`echo random-data/* | sed -e 's/random-data./fuzz-/g'` |
Lev Walkin | d28b45f | 2017-10-05 22:09:19 -0700 | [diff] [blame] | 215 | { |
| 216 | echo "fuzz: $fuzz_targets" |
| 217 | echo "fuzz-%: random-data/% random-test-driver" |
| 218 | echo " ASN1_DATA_DIR=\$< ${fuzz_cmd} \$<" |
| 219 | } >> Makefile |
Lev Walkin | 233d14d | 2017-10-02 01:09:01 -0700 | [diff] [blame] | 220 | fi |
| 221 | |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 222 | # If LIBFUZZER_CFLAGS are properly defined, do the fuzz test as well |
Lev Walkin | 39936ce | 2017-10-05 23:56:39 -0700 | [diff] [blame] | 223 | if echo "${LIBFUZZER_CFLAGS}" | grep -i "[a-z]" > /dev/null; then |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 224 | |
| 225 | echo "Recompiling for fuzzing..." |
| 226 | rm -f random-test-driver.o |
| 227 | rm -f random-test-driver |
Lev Walkin | d0d6392 | 2017-10-10 01:27:37 -0700 | [diff] [blame] | 228 | reproduce_make="cd \"${RNDTEMP}\" && ${CCSTR}CFLAGS=\"${LIBFUZZER_CFLAGS} ${CFLAGS}\" ${MAKE}" |
Lev Walkin | ac6db17 | 2017-10-10 00:31:06 -0700 | [diff] [blame] | 229 | echo "(${reproduce_make})" > .test-reproduce |
Lev Walkin | 39936ce | 2017-10-05 23:56:39 -0700 | [diff] [blame] | 230 | CFLAGS="${LIBFUZZER_CFLAGS} ${CFLAGS}" Make |
| 231 | if [ $? -ne 0 ]; then |
| 232 | echo "Recompile failed" |
| 233 | return 4 |
| 234 | fi |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 235 | |
Lev Walkin | d0d6392 | 2017-10-10 01:27:37 -0700 | [diff] [blame] | 236 | echo "Fuzzing will take a multiple of ${FUZZ_TIME} seconds..." |
Lev Walkin | ac6db17 | 2017-10-10 00:31:06 -0700 | [diff] [blame] | 237 | echo "(${reproduce_make} fuzz)" > .test-reproduce |
| 238 | CFLAGS="${LIBFUZZER_CFLAGS} ${CFLAGS}" Make fuzz |
Lev Walkin | 39936ce | 2017-10-05 23:56:39 -0700 | [diff] [blame] | 239 | if [ $? -ne 0 ]; then |
Lev Walkin | ac6db17 | 2017-10-10 00:31:06 -0700 | [diff] [blame] | 240 | { echo "RETRY:"; cat .test-reproduce ; } |
Lev Walkin | 233d14d | 2017-10-02 01:09:01 -0700 | [diff] [blame] | 241 | return 5 |
| 242 | fi |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 243 | fi |
| 244 | |
Lev Walkin | a5b0288 | 2017-10-01 22:48:44 -0700 | [diff] [blame] | 245 | return 0 |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 246 | } |
| 247 | |
Lev Walkin | a460cbd | 2017-10-20 02:18:04 -0700 | [diff] [blame] | 248 | asn1c_invoke() { |
| 249 | tmpfile="$1" |
| 250 | asn="$2" |
| 251 | where="$3" |
| 252 | shift 3 |
| 253 | |
| 254 | { |
| 255 | echo "Test DEFINITIONS ::= BEGIN $asn" |
| 256 | echo "-- ${where}" |
| 257 | echo "END" |
| 258 | } > ${tmpfile} |
| 259 | echo "${abs_top_builddir}/asn1c/asn1c -S ${abs_top_srcdir}/skeletons" |
| 260 | if "${abs_top_builddir}/asn1c/asn1c" -S "${abs_top_srcdir}/skeletons" \ |
| 261 | -gen-OER -gen-PER ${asn1c_flags} $@ ${tmpfile} |
| 262 | then |
| 263 | echo "ASN.1 compiled OK" |
| 264 | else |
| 265 | return 1 |
| 266 | fi |
| 267 | } |
| 268 | |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 269 | asn_compile() { |
Lev Walkin | 39936ce | 2017-10-05 23:56:39 -0700 | [diff] [blame] | 270 | asn="$1" |
| 271 | where="$2" |
Lev Walkin | d3cce46 | 2017-10-01 13:43:36 -0700 | [diff] [blame] | 272 | |
Lev Walkin | 5d947a8 | 2017-10-03 01:04:03 -0700 | [diff] [blame] | 273 | # Create "INTEGER (1..2)" from "T ::= INTEGER (1..2) -- RMAX=5" |
Lev Walkin | ebeb401 | 2017-10-09 19:51:26 -0700 | [diff] [blame] | 274 | short_asn=`echo "$asn" | sed -e 's/ *--.*//;s/RMAX=[0-9]//;'` |
Lev Walkin | 39936ce | 2017-10-05 23:56:39 -0700 | [diff] [blame] | 275 | if [ `echo "$short_asn" | grep -c "::="` = 1 ]; then |
| 276 | short_asn=`echo "$short_asn" | sed -e 's/.*::= *//'` |
Lev Walkin | d3cce46 | 2017-10-01 13:43:36 -0700 | [diff] [blame] | 277 | fi |
| 278 | |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 279 | test ! -f Makefile.am # Protection from accidental clobbering |
Lev Walkin | a460cbd | 2017-10-20 02:18:04 -0700 | [diff] [blame] | 280 | |
| 281 | asn1c_invoke "test.asn1" "$asn" "$where" "-flink-skeletons" |
| 282 | if [ $? != 0 ]; then |
Lev Walkin | a5b0288 | 2017-10-01 22:48:44 -0700 | [diff] [blame] | 283 | return 1 |
| 284 | fi |
Lev Walkin | a460cbd | 2017-10-20 02:18:04 -0700 | [diff] [blame] | 285 | |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 286 | rm -f converter-example.c |
Lev Walkin | 09be69c | 2017-10-08 16:28:11 -0700 | [diff] [blame] | 287 | ln -sf "../${srcdir}/random-test-driver.c" || cp "../${srcdir}/random-test-driver.c" . |
Lev Walkin | 40b8a7a | 2017-10-08 22:36:29 -0700 | [diff] [blame] | 288 | { |
| 289 | echo "CFLAGS+= -DASN1_TEXT='$short_asn'"; |
| 290 | echo "ASN_PROGRAM = random-test-driver" |
| 291 | echo "ASN_PROGRAM_SOURCES = random-test-driver.c" |
Lev Walkin | ac6db17 | 2017-10-10 00:31:06 -0700 | [diff] [blame] | 292 | echo |
Lev Walkin | 40b8a7a | 2017-10-08 22:36:29 -0700 | [diff] [blame] | 293 | echo "include Makefile.am.example" |
Lev Walkin | ac6db17 | 2017-10-10 00:31:06 -0700 | [diff] [blame] | 294 | echo |
| 295 | echo "all-tests-succeeded: ${abs_top_builddir}/asn1c/asn1c \$(ASN_PROGRAM_SOURCES) \$(ASN_MODULE_SOURCES) \$(ASN_MODULE_HEADERS)" |
| 296 | echo " @rm -f \$@" |
| 297 | echo " @echo Previous try did not go correctly. To reproduce:" |
| 298 | echo " @cat .test-reproduce" |
| 299 | echo " @exit 1" |
| 300 | echo |
Lev Walkin | 40b8a7a | 2017-10-08 22:36:29 -0700 | [diff] [blame] | 301 | } > Makefile |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 302 | echo "Makefile.am.example -> Makefile" |
| 303 | } |
| 304 | |
Lev Walkin | 7c470c7 | 2017-10-08 04:01:45 -0700 | [diff] [blame] | 305 | # Make up to four different passes: |
| 306 | # CFLAGS: | asn1c_flags: |
| 307 | # -m64 | -fnative-types |
| 308 | # -m32 | -fnative-types |
| 309 | # -m64 | -fwide-types |
| 310 | # -m32 | -fwide-types |
| 311 | # *) Of course, -m64 and -fnative-types are just implied. |
| 312 | test_drive() { |
| 313 | func="$1" |
| 314 | shift |
| 315 | |
| 316 | if [ "x${asn1c_flags}" = "x" ] ; then |
| 317 | # Test for native types and wide types |
| 318 | asn1c_flags=" " test_drive "${func}" "$@" |
| 319 | asn1c_flags="-fnative-types" test_drive "${func}" "$@" |
| 320 | return 0 |
| 321 | fi |
| 322 | |
Lev Walkin | ac6db17 | 2017-10-10 00:31:06 -0700 | [diff] [blame] | 323 | # Can't reuse object code. |
| 324 | rm -rf ${RNDTEMP} |
| 325 | |
Lev Walkin | 7c470c7 | 2017-10-08 04:01:45 -0700 | [diff] [blame] | 326 | echo "MODE: default" |
| 327 | # Default (likely 64-bit) mode |
| 328 | ${func} "$@" |
| 329 | |
| 330 | # 32-bit mode, if available |
| 331 | if echo "${CFLAGS_M32}" | grep -i '[a-z]' > /dev/null ; then |
| 332 | echo "MODE: 32-bit" |
Lev Walkin | ac6db17 | 2017-10-10 00:31:06 -0700 | [diff] [blame] | 333 | |
| 334 | # Can't reuse object code between modes. |
| 335 | rm -rf ${RNDTEMP} |
| 336 | |
Lev Walkin | 7c470c7 | 2017-10-08 04:01:45 -0700 | [diff] [blame] | 337 | # -m32 doesn't support fuzzing (no such library), so we remove fuzzer. |
| 338 | # -m32 doesn't support leak sanitizing (it hangs), so we remove |
Lev Walkin | ac6db17 | 2017-10-10 00:31:06 -0700 | [diff] [blame] | 339 | # ASAN_ENV_FLAGS which enable leak check in runtime. |
Lev Walkin | 7c470c7 | 2017-10-08 04:01:45 -0700 | [diff] [blame] | 340 | CFLAGS="${CFLAGS} ${CFLAGS_M32}" CFLAGS_M32="" \ |
| 341 | LIBFUZZER_CFLAGS="" ASAN_ENV_FLAGS="" \ |
| 342 | ${func} "$@" |
| 343 | fi |
| 344 | } |
| 345 | |
Lev Walkin | 40b8a7a | 2017-10-08 22:36:29 -0700 | [diff] [blame] | 346 | if echo "$*" | grep ' -- ' > /dev/null; then |
| 347 | TEST_DRIVER=`echo "$*" | sed -e 's/ -- .*/ -- /g'` |
| 348 | args=`echo "$*" | sed -e 's/.* //g'` |
| 349 | set "${args}" |
| 350 | else |
| 351 | TEST_DRIVER="" |
| 352 | fi |
| 353 | |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 354 | # Command line parsing |
Lev Walkin | 68619bf | 2017-10-03 18:40:36 -0700 | [diff] [blame] | 355 | while :; do |
| 356 | case "$1" in |
| 357 | -h) usage ;; |
Lev Walkin | d28b45f | 2017-10-05 22:09:19 -0700 | [diff] [blame] | 358 | --asn1c) asn1c_flags="${asn1c_flags} $2"; shift 2; continue ;; |
Lev Walkin | 40b8a7a | 2017-10-08 22:36:29 -0700 | [diff] [blame] | 359 | --bundle) |
| 360 | shift |
Lev Walkin | ac6db17 | 2017-10-10 00:31:06 -0700 | [diff] [blame] | 361 | |
| 362 | # Look for the transcript in bundles/NN-*-bundles.txt.log |
| 363 | set -x |
| 364 | |
Lev Walkin | 40b8a7a | 2017-10-08 22:36:29 -0700 | [diff] [blame] | 365 | base=`basename "$1" | sed -e 's/.txt$//'` |
| 366 | RNDTEMP=".tmp.${base}" |
Lev Walkin | ac6db17 | 2017-10-10 00:31:06 -0700 | [diff] [blame] | 367 | |
| 368 | if Make -C "${RNDTEMP}" all-tests-succeeded >/dev/null 2>&1 ; then |
| 369 | echo "Test succeeded before. Not rechecking." |
| 370 | tests_succeeded=1 |
| 371 | break |
| 372 | fi |
| 373 | |
Lev Walkin | 40b8a7a | 2017-10-08 22:36:29 -0700 | [diff] [blame] | 374 | test_drive verify_asn_types_in_file "$@" |
Lev Walkin | ac6db17 | 2017-10-10 00:31:06 -0700 | [diff] [blame] | 375 | |
| 376 | touch "${RNDTEMP}/all-tests-succeeded" |
| 377 | |
Lev Walkin | 40b8a7a | 2017-10-08 22:36:29 -0700 | [diff] [blame] | 378 | break |
| 379 | ;; |
Lev Walkin | 68619bf | 2017-10-03 18:40:36 -0700 | [diff] [blame] | 380 | --dirty) |
| 381 | need_clean_before_bundle=0 |
| 382 | need_clean_before_test=0 |
| 383 | shift |
| 384 | continue |
| 385 | ;; |
Lev Walkin | d28b45f | 2017-10-05 22:09:19 -0700 | [diff] [blame] | 386 | -e) encodings="${encodings} -e $2"; shift 2; continue;; |
Lev Walkin | 68619bf | 2017-10-03 18:40:36 -0700 | [diff] [blame] | 387 | -j) parallelism="$1"; shift 2; continue;; |
| 388 | -t) |
Lev Walkin | a460cbd | 2017-10-20 02:18:04 -0700 | [diff] [blame] | 389 | test_drive verify_asn_type "full" "$2" "(command line)" || exit 1 ;; |
Lev Walkin | 68619bf | 2017-10-03 18:40:36 -0700 | [diff] [blame] | 390 | "") |
Lev Walkin | 09be69c | 2017-10-08 16:28:11 -0700 | [diff] [blame] | 391 | for bundle in `ls -1 ${srcdir}/bundles/*.txt | sort -nr`; do |
Lev Walkin | 7c470c7 | 2017-10-08 04:01:45 -0700 | [diff] [blame] | 392 | test_drive verify_asn_types_in_file "$bundle" |
Lev Walkin | 68619bf | 2017-10-03 18:40:36 -0700 | [diff] [blame] | 393 | done |
| 394 | ;; |
| 395 | *) |
Lev Walkin | 40b8a7a | 2017-10-08 22:36:29 -0700 | [diff] [blame] | 396 | exec ${TEST_DRIVER} $0 --bundle "$@" |
Lev Walkin | 68619bf | 2017-10-03 18:40:36 -0700 | [diff] [blame] | 397 | ;; |
| 398 | esac |
| 399 | break |
| 400 | done |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 401 | |
Lev Walkin | d28b45f | 2017-10-05 22:09:19 -0700 | [diff] [blame] | 402 | if [ "$tests_succeeded" != "0" ] && [ "$tests_failed" = "0" ]; then |
Lev Walkin | cb52391 | 2017-09-30 19:33:23 -0700 | [diff] [blame] | 403 | echo "OK $tests_succeeded tests" |
| 404 | else |
| 405 | echo "FAILED $tests_failed tests, OK $tests_succeeded tests" |
| 406 | exit 1 |
| 407 | fi |