| Manuel Pégourié-Gonnard | e137ea6 | 2015-04-09 10:47:44 +0200 | [diff] [blame] | 1 | #!/bin/sh | 
| Simon Butcher | 71ebc58 | 2016-06-23 20:02:07 +0100 | [diff] [blame] | 2 | # | 
|  | 3 | # This file is part of mbed TLS (https://tls.mbed.org) | 
|  | 4 | # | 
| Gilles Peskine | 0c12e30 | 2019-05-22 18:22:45 +0200 | [diff] [blame] | 5 | # Copyright (c) 2015-2019, ARM Limited, All Rights Reserved | 
|  | 6 |  | 
| Manuel Pégourié-Gonnard | e137ea6 | 2015-04-09 10:47:44 +0200 | [diff] [blame] | 7 | set -eu | 
|  | 8 |  | 
| Gilles Peskine | 0c12e30 | 2019-05-22 18:22:45 +0200 | [diff] [blame] | 9 | if [ $# -ne 0 ] && [ "$1" = "--help" ]; then | 
|  | 10 | cat <<EOF | 
|  | 11 | $0 [-v] | 
|  | 12 | This script confirms that the naming of all symbols and identifiers in mbed | 
|  | 13 | TLS are consistent with the house style and are also self-consistent. | 
|  | 14 |  | 
|  | 15 | -v    If the script fails unexpectedly, print a command trace. | 
|  | 16 | EOF | 
|  | 17 | exit | 
|  | 18 | fi | 
|  | 19 |  | 
| Simon Butcher | 71ebc58 | 2016-06-23 20:02:07 +0100 | [diff] [blame] | 20 | if grep --version|head -n1|grep GNU >/dev/null; then :; else | 
| Ron Eldor | bf007d2 | 2016-12-15 14:42:37 +0200 | [diff] [blame] | 21 | echo "This script requires GNU grep.">&2 | 
| Simon Butcher | 71ebc58 | 2016-06-23 20:02:07 +0100 | [diff] [blame] | 22 | exit 1 | 
|  | 23 | fi | 
|  | 24 |  | 
| Gilles Peskine | 36428d3 | 2019-05-15 17:29:15 +0200 | [diff] [blame] | 25 | trace= | 
|  | 26 | if [ $# -ne 0 ] && [ "$1" = "-v" ]; then | 
|  | 27 | shift | 
|  | 28 | trace='-x' | 
|  | 29 | exec 2>check-names.err | 
|  | 30 | trap 'echo "FAILED UNEXPECTEDLY, status=$?"; | 
|  | 31 | cat check-names.err' EXIT | 
|  | 32 | set -x | 
|  | 33 | fi | 
|  | 34 |  | 
| Simon Butcher | 71ebc58 | 2016-06-23 20:02:07 +0100 | [diff] [blame] | 35 | printf "Analysing source code...\n" | 
|  | 36 |  | 
| Gilles Peskine | 36428d3 | 2019-05-15 17:29:15 +0200 | [diff] [blame] | 37 | sh $trace tests/scripts/list-macros.sh | 
| Manuel Pégourié-Gonnard | e137ea6 | 2015-04-09 10:47:44 +0200 | [diff] [blame] | 38 | tests/scripts/list-enum-consts.pl | 
| Gilles Peskine | 36428d3 | 2019-05-15 17:29:15 +0200 | [diff] [blame] | 39 | sh $trace tests/scripts/list-identifiers.sh | 
|  | 40 | sh $trace tests/scripts/list-symbols.sh | 
| Manuel Pégourié-Gonnard | e137ea6 | 2015-04-09 10:47:44 +0200 | [diff] [blame] | 41 |  | 
|  | 42 | FAIL=0 | 
|  | 43 |  | 
| Simon Butcher | 71ebc58 | 2016-06-23 20:02:07 +0100 | [diff] [blame] | 44 | printf "\nExported symbols declared in header: " | 
| Manuel Pégourié-Gonnard | e137ea6 | 2015-04-09 10:47:44 +0200 | [diff] [blame] | 45 | UNDECLARED=$( diff exported-symbols identifiers | sed -n -e 's/^< //p' ) | 
| Manuel Pégourié-Gonnard | 9afdc83 | 2015-08-04 17:15:13 +0200 | [diff] [blame] | 46 | if [ "x$UNDECLARED" = "x" ]; then | 
| Manuel Pégourié-Gonnard | e137ea6 | 2015-04-09 10:47:44 +0200 | [diff] [blame] | 47 | echo "PASS" | 
|  | 48 | else | 
|  | 49 | echo "FAIL" | 
|  | 50 | echo "$UNDECLARED" | 
|  | 51 | FAIL=1 | 
|  | 52 | fi | 
|  | 53 |  | 
|  | 54 | diff macros identifiers | sed -n -e 's/< //p' > actual-macros | 
|  | 55 |  | 
|  | 56 | for THING in actual-macros enum-consts; do | 
|  | 57 | printf "Names of $THING: " | 
|  | 58 | test -r $THING | 
| Simon Butcher | 3ad2efd | 2018-05-02 14:49:38 +0100 | [diff] [blame] | 59 | BAD=$( grep -v '^MBEDTLS_[0-9A-Z_]*[0-9A-Z]$' $THING || true ) | 
| Manuel Pégourié-Gonnard | e137ea6 | 2015-04-09 10:47:44 +0200 | [diff] [blame] | 60 | if [ "x$BAD" = "x" ]; then | 
|  | 61 | echo "PASS" | 
|  | 62 | else | 
|  | 63 | echo "FAIL" | 
|  | 64 | echo "$BAD" | 
|  | 65 | FAIL=1 | 
|  | 66 | fi | 
|  | 67 | done | 
|  | 68 |  | 
|  | 69 | for THING in identifiers; do | 
|  | 70 | printf "Names of $THING: " | 
|  | 71 | test -r $THING | 
|  | 72 | BAD=$( grep -v '^mbedtls_[0-9a-z_]*[0-9a-z]$' $THING || true ) | 
|  | 73 | if [ "x$BAD" = "x" ]; then | 
|  | 74 | echo "PASS" | 
|  | 75 | else | 
|  | 76 | echo "FAIL" | 
|  | 77 | echo "$BAD" | 
|  | 78 | FAIL=1 | 
|  | 79 | fi | 
|  | 80 | done | 
|  | 81 |  | 
| Manuel Pégourié-Gonnard | f9aae83 | 2015-04-09 12:20:53 +0200 | [diff] [blame] | 82 | printf "Likely typos: " | 
|  | 83 | sort -u actual-macros enum-consts > _caps | 
| Jaeden Amero | 78d9d0c | 2019-07-04 20:50:11 +0100 | [diff] [blame] | 84 | HEADERS=$( ls include/mbedtls/*.h crypto/include/mbedtls/*.h | egrep -v 'compat-1\.3\.h' ) | 
| Manuel Pégourié-Gonnard | f9aae83 | 2015-04-09 12:20:53 +0200 | [diff] [blame] | 85 | NL=' | 
|  | 86 | ' | 
| Manuel Pégourié-Gonnard | 6ad5d35 | 2015-05-28 15:08:28 +0200 | [diff] [blame] | 87 | sed -n 's/MBED..._[A-Z0-9_]*/\'"$NL"'&\'"$NL"/gp \ | 
| Manuel Pégourié-Gonnard | f9aae83 | 2015-04-09 12:20:53 +0200 | [diff] [blame] | 88 | $HEADERS library/*.c \ | 
|  | 89 | | grep MBEDTLS | sort -u > _MBEDTLS_XXX | 
|  | 90 | TYPOS=$( diff _caps _MBEDTLS_XXX | sed -n 's/^> //p' \ | 
| Manuel Pégourié-Gonnard | 32da9f6 | 2015-07-31 15:52:30 +0200 | [diff] [blame] | 91 | | egrep -v 'XXX|__|_$|^MBEDTLS_.*CONFIG_FILE$' || true ) | 
| Manuel Pégourié-Gonnard | f9aae83 | 2015-04-09 12:20:53 +0200 | [diff] [blame] | 92 | rm _MBEDTLS_XXX _caps | 
| Manuel Pégourié-Gonnard | 9afdc83 | 2015-08-04 17:15:13 +0200 | [diff] [blame] | 93 | if [ "x$TYPOS" = "x" ]; then | 
| Manuel Pégourié-Gonnard | f9aae83 | 2015-04-09 12:20:53 +0200 | [diff] [blame] | 94 | echo "PASS" | 
|  | 95 | else | 
|  | 96 | echo "FAIL" | 
|  | 97 | echo "$TYPOS" | 
|  | 98 | FAIL=1 | 
|  | 99 | fi | 
|  | 100 |  | 
| Gilles Peskine | 36428d3 | 2019-05-15 17:29:15 +0200 | [diff] [blame] | 101 | if [ -n "$trace" ]; then | 
|  | 102 | set +x | 
|  | 103 | trap - EXIT | 
|  | 104 | rm check-names.err | 
|  | 105 | fi | 
|  | 106 |  | 
| Simon Butcher | 71ebc58 | 2016-06-23 20:02:07 +0100 | [diff] [blame] | 107 | printf "\nOverall: " | 
| Manuel Pégourié-Gonnard | e137ea6 | 2015-04-09 10:47:44 +0200 | [diff] [blame] | 108 | if [ "$FAIL" -eq 0 ]; then | 
|  | 109 | rm macros actual-macros enum-consts identifiers exported-symbols | 
|  | 110 | echo "PASSED" | 
|  | 111 | exit 0 | 
|  | 112 | else | 
|  | 113 | echo "FAILED" | 
|  | 114 | exit 1 | 
|  | 115 | fi |