Karl Zhang | 3de5ab1 | 2021-05-31 11:45:48 +0800 | [diff] [blame^] | 1 | #!/usr/bin/env bash |
| 2 | # |
| 3 | # Copyright (c) 2020-2021, Arm Limited. All rights reserved. |
| 4 | # |
| 5 | # SPDX-License-Identifier: BSD-3-Clause |
| 6 | # |
| 7 | |
| 8 | set -e |
| 9 | |
| 10 | SUITE_DIR_NAME=tfm_fuzz |
| 11 | |
| 12 | show_help() |
| 13 | { |
| 14 | echo "Usage: $0 <template_dir> <suites_dir> " |
| 15 | echo "" |
| 16 | echo "Where: " |
| 17 | echo " template_dir: The directory containing template files for the" |
| 18 | echo " fuzzing tool" |
| 19 | echo " suites_dir: The directory to generate the test suite to." |
| 20 | } |
| 21 | |
| 22 | if [ $# != 2 ] |
| 23 | then |
| 24 | echo "Invalid number of parameters." |
| 25 | show_help |
| 26 | exit 1 |
| 27 | fi |
| 28 | |
| 29 | INPUT_DIR=$1 |
| 30 | SUITES_DIR=$2 |
| 31 | |
| 32 | # Check that the input directory exists |
| 33 | if [ ! -d "$INPUT_DIR" ] |
| 34 | then |
| 35 | echo "Template directory '$INPUT_DIR' doesn't exist" |
| 36 | exit 1 |
| 37 | fi |
| 38 | |
| 39 | # Check that the input directory contains files |
| 40 | if [ `ls "$INPUT_DIR"| wc -l` == 0 ] |
| 41 | then |
| 42 | echo "Template directory '$INPUT_DIR' doesn't contain files" |
| 43 | exit 1 |
| 44 | fi |
| 45 | |
| 46 | if [ ! -d "$SUITES_DIR" ] |
| 47 | then |
| 48 | echo "Suites directory '$SUITES_DIR' doesn't exist" |
| 49 | exit 1 |
| 50 | fi |
| 51 | |
| 52 | # Check whether a fuzz test suite was generated before |
| 53 | if [ -d "$SUITES_DIR/$SUITE_DIR_NAME" ] |
| 54 | then |
| 55 | echo "'$SUITE_DIR_NAME' exists." |
| 56 | echo "A TF fuzz test suite is already generated, please delete it before running this script" |
| 57 | exit 1 |
| 58 | fi |
| 59 | |
| 60 | #get absolute path of the suit dir TF_FUZZ |
| 61 | pushd $SUITES_DIR > /dev/null |
| 62 | SUITE_ABSOLUTE_DIR=`pwd`/$SUITE_DIR_NAME |
| 63 | popd |
| 64 | |
| 65 | # creating directory for the fuzz tests tool |
| 66 | echo "Creating '$SUITES_DIR/$SUITE_DIR_NAME/non_secure'" |
| 67 | mkdir -p $SUITES_DIR/$SUITE_DIR_NAME/non_secure |
| 68 | |
| 69 | # generate additional files for the suite: |
| 70 | CMAKELIST=$SUITES_DIR/$SUITE_DIR_NAME/CMakeLists.txt |
| 71 | TESTSUITE=$SUITES_DIR/$SUITE_DIR_NAME/non_secure/tf_fuzz_testsuite.c |
| 72 | TESTSUITE_HEADER=$SUITES_DIR/$SUITE_DIR_NAME/non_secure/tf_fuzz_testsuite.h |
| 73 | |
| 74 | # generate data for the testcases |
| 75 | # Iterate over the testcase files and |
| 76 | # - Run the fuzzer on the test template |
| 77 | # - Generate a test function name, and replace the generic test_thread to that |
| 78 | # in the generated c file |
| 79 | # - append the generated c file to the CmakeList file. |
| 80 | declare -A FILENAMES |
| 81 | declare -A FUNC_NAMES |
| 82 | declare -A PURPOSES |
| 83 | for f in `ls $INPUT_DIR` |
| 84 | do |
| 85 | FILE="$SUITES_DIR/$SUITE_DIR_NAME/non_secure/$f.c" |
| 86 | FILENAMES[$f]=$FILE |
| 87 | |
| 88 | SEED=$RANDOM |
| 89 | echo "Generating testcase $f with seed $SEED" |
| 90 | ./tfz -z $INPUT_DIR/$f $FILE $SEED |
| 91 | |
| 92 | echo "in File ${FILENAMES[$f]}" |
| 93 | |
| 94 | PURPOSE=`grep -A 1 'Test purpose' $FILE | tail -n 1 | cut -d '*' -f 2 | sed -e 's/^[[:space:]]*//'` |
| 95 | PURPOSES[$f]=$PURPOSE |
| 96 | |
| 97 | FUNC_NAME="$PURPOSE" |
| 98 | FUNC_NAME=`echo "$FUNC_NAME" | \ |
| 99 | sed 's/^\s*//g; s/\s*$//g; s/\s\s*/_/g'` |
| 100 | FUNC_NAME=`echo "$FUNC_NAME" | \ |
| 101 | sed 's/\-/_/g; s/"//g; s/\\\//g'` |
| 102 | FUNC_NAME=`echo "$FUNC_NAME" | \ |
| 103 | sed "s/#//g; s/'//g; s/,//g; s/(//g; s/)//g"` |
| 104 | FUNC_NAMES[$f]=$FUNC_NAME |
| 105 | |
| 106 | echo " Changing 'test_thread' to '${FUNC_NAMES[$f]}'" |
| 107 | |
| 108 | sed -i "s/test_thread/$FUNC_NAME/g" $FILE |
| 109 | |
| 110 | done |
| 111 | |
| 112 | # generate the non-secure testsuite file |
| 113 | echo '#include <stdio.h>' >> $TESTSUITE |
| 114 | echo '#include <string.h>' >> $TESTSUITE |
| 115 | echo '' >> $TESTSUITE |
| 116 | echo '#include "tfm_api.h"' >> $TESTSUITE |
| 117 | echo '#include "psa_manifest/sid.h"' >> $TESTSUITE |
| 118 | echo '#include "test_framework.h"' >> $TESTSUITE |
| 119 | echo '' >> $TESTSUITE |
| 120 | echo '/* Forward declaring static test functions */' >> $TESTSUITE |
| 121 | for f in `ls $INPUT_DIR` |
| 122 | do |
| 123 | echo "static void test_${FUNC_NAMES[$f]}(struct test_result_t *ret);" >> $TESTSUITE |
| 124 | done |
| 125 | echo '/* Forward declaring functions */' >> $TESTSUITE |
| 126 | for f in `ls $INPUT_DIR` |
| 127 | do |
| 128 | echo "void ${FUNC_NAMES[$f]}(struct test_result_t *ret);" >> $TESTSUITE |
| 129 | done |
| 130 | echo '' >> $TESTSUITE |
| 131 | echo 'static struct test_t tf_fuzz_tests[] = {' >> $TESTSUITE |
| 132 | for f in `ls $INPUT_DIR` |
| 133 | do |
| 134 | echo " {&test_${FUNC_NAMES[$f]}, \"${FUNC_NAMES[$f]}\", \"${PURPOSES[$f]}\", {0} }," >> $TESTSUITE |
| 135 | done |
| 136 | echo '}; ' >> $TESTSUITE |
| 137 | echo '' >> $TESTSUITE |
| 138 | echo 'void register_testsuite_tf_fuzz_test(struct test_suite_t *p_test_suite)' >> $TESTSUITE |
| 139 | echo '{' >> $TESTSUITE |
| 140 | echo ' uint32_t list_size;' >> $TESTSUITE |
| 141 | echo '' >> $TESTSUITE |
| 142 | echo ' list_size = (sizeof(tf_fuzz_tests) / sizeof(tf_fuzz_tests[0]));' >> $TESTSUITE |
| 143 | echo '' >> $TESTSUITE |
| 144 | echo ' set_testsuite("TF-M fuzz tests (TF_FUZZ_TEST)",' >> $TESTSUITE |
| 145 | echo ' tf_fuzz_tests, list_size, p_test_suite);' >> $TESTSUITE |
| 146 | echo '}' >> $TESTSUITE |
| 147 | echo '' >> $TESTSUITE |
| 148 | for f in `ls $INPUT_DIR` |
| 149 | do |
| 150 | echo "static void test_${FUNC_NAMES[$f]}(struct test_result_t *ret)" >> $TESTSUITE |
| 151 | echo '{' >> $TESTSUITE |
| 152 | echo " ${FUNC_NAMES[$f]}(ret);" >> $TESTSUITE |
| 153 | echo ' if (ret->val != TEST_PASSED) {' >> $TESTSUITE |
| 154 | echo ' return;' >> $TESTSUITE |
| 155 | echo ' }' >> $TESTSUITE |
| 156 | echo '' >> $TESTSUITE |
| 157 | echo '}' >> $TESTSUITE |
| 158 | done |
| 159 | |
| 160 | # generate the CmakeList file |
| 161 | echo "cmake_policy(SET CMP0079 NEW)" >> $CMAKELIST |
| 162 | echo "" >> $CMAKELIST |
| 163 | echo "add_library(tfm_test_suite_tf_fuzz_ns STATIC EXCLUDE_FROM_ALL)" >> $CMAKELIST |
| 164 | echo "" >> $CMAKELIST |
| 165 | echo "target_sources(tfm_test_suite_tf_fuzz_ns" >> $CMAKELIST |
| 166 | echo " PRIVATE" >> $CMAKELIST |
| 167 | for f in `ls $INPUT_DIR` |
| 168 | do |
| 169 | echo " $SUITE_ABSOLUTE_DIR/non_secure/$f.c" >> $CMAKELIST |
| 170 | done |
| 171 | echo " $SUITE_ABSOLUTE_DIR/non_secure/tf_fuzz_testsuite.c" >> $CMAKELIST |
| 172 | echo ")" >> $CMAKELIST |
| 173 | echo "" >> $CMAKELIST |
| 174 | echo "target_include_directories(tfm_test_suite_tf_fuzz_ns" >> $CMAKELIST |
| 175 | echo " PUBLIC" >> $CMAKELIST |
| 176 | echo " ./non_secure" >> $CMAKELIST |
| 177 | echo " PRIVATE" >> $CMAKELIST |
| 178 | echo " ." >> $CMAKELIST |
| 179 | echo ")" >> $CMAKELIST |
| 180 | echo "" >> $CMAKELIST |
| 181 | echo "target_link_libraries(tfm_test_suite_tf_fuzz_ns" >> $CMAKELIST |
| 182 | echo " PRIVATE" >> $CMAKELIST |
| 183 | echo " tfm_test_framework_ns" >> $CMAKELIST |
| 184 | echo " tfm_test_suite_its_ns" >> $CMAKELIST |
| 185 | echo ")" >> $CMAKELIST |
| 186 | echo "" >> $CMAKELIST |
| 187 | echo "target_link_libraries(tfm_ns_tests" >> $CMAKELIST |
| 188 | echo " INTERFACE" >> $CMAKELIST |
| 189 | echo " tfm_test_suite_tf_fuzz_ns" >> $CMAKELIST |
| 190 | echo ")" >> $CMAKELIST |
| 191 | |
| 192 | # generate the testsuite header file |
| 193 | echo '#ifndef __PSA_API_FUZZ_TESTSUITE_H__' >> $TESTSUITE_HEADER |
| 194 | echo '#define __PSA_API_FUZZ_TESTSUITE_H__' >> $TESTSUITE_HEADER |
| 195 | echo '' >> $TESTSUITE_HEADER |
| 196 | echo 'void register_testsuite_tf_fuzz_test(struct test_suite_t *p_test_suite);' >> $TESTSUITE_HEADER |
| 197 | echo '' >> $TESTSUITE_HEADER |
| 198 | echo '#endif /* __PSA_API_FUZZ_TESTSUITE_H__ */' >> $TESTSUITE_HEADER |
| 199 | |
| 200 | # print some instruction on the screen |
| 201 | echo '' |
| 202 | echo '' |
| 203 | echo '=========================================================================' |
| 204 | echo '= The test suite generation is done. It can be compiled to TF-M by' |
| 205 | echo '= providing the following options to the CMake generate command:' |
| 206 | echo '=' |
| 207 | echo '= -DTFM_FUZZER_TOOL_TESTS=1' |
| 208 | echo '= -DTFM_FUZZER_TOOL_TESTS_CMAKE_INC_PATH='$SUITE_ABSOLUTE_DIR |
| 209 | echo '=========================================================================' |