Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 1 | #!/usr/bin/env python3 |
| 2 | |
| 3 | """Sanity checks for test data. |
| 4 | """ |
| 5 | |
| 6 | # Copyright (C) 2019, Arm Limited, All Rights Reserved |
| 7 | # SPDX-License-Identifier: Apache-2.0 |
| 8 | # |
| 9 | # Licensed under the Apache License, Version 2.0 (the "License"); you may |
| 10 | # not use this file except in compliance with the License. |
| 11 | # You may obtain a copy of the License at |
| 12 | # |
| 13 | # http://www.apache.org/licenses/LICENSE-2.0 |
| 14 | # |
| 15 | # Unless required by applicable law or agreed to in writing, software |
| 16 | # distributed under the License is distributed on an "AS IS" BASIS, WITHOUT |
| 17 | # WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 18 | # See the License for the specific language governing permissions and |
| 19 | # limitations under the License. |
| 20 | # |
| 21 | # This file is part of Mbed TLS (https://tls.mbed.org) |
| 22 | |
Gilles Peskine | 1fb7aea | 2019-12-02 14:26:04 +0100 | [diff] [blame^] | 23 | import argparse |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 24 | import glob |
| 25 | import os |
| 26 | import re |
| 27 | import sys |
| 28 | |
| 29 | class Results: |
Darryl Green | 1822061 | 2019-12-17 15:03:59 +0000 | [diff] [blame] | 30 | """Store file and line information about errors or warnings in test suites.""" |
Gilles Peskine | 1fb7aea | 2019-12-02 14:26:04 +0100 | [diff] [blame^] | 31 | |
| 32 | def __init__(self, options): |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 33 | self.errors = 0 |
| 34 | self.warnings = 0 |
Gilles Peskine | 1fb7aea | 2019-12-02 14:26:04 +0100 | [diff] [blame^] | 35 | self.ignore_warnings = options.quiet |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 36 | |
| 37 | def error(self, file_name, line_number, fmt, *args): |
| 38 | sys.stderr.write(('{}:{}:ERROR:' + fmt + '\n'). |
| 39 | format(file_name, line_number, *args)) |
| 40 | self.errors += 1 |
| 41 | |
| 42 | def warning(self, file_name, line_number, fmt, *args): |
Gilles Peskine | 1fb7aea | 2019-12-02 14:26:04 +0100 | [diff] [blame^] | 43 | if not self.ignore_warnings: |
| 44 | sys.stderr.write(('{}:{}:Warning:' + fmt + '\n') |
| 45 | .format(file_name, line_number, *args)) |
| 46 | self.warnings += 1 |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 47 | |
| 48 | def collect_test_directories(): |
Darryl Green | 1822061 | 2019-12-17 15:03:59 +0000 | [diff] [blame] | 49 | """Get the relative path for the TLS and Crypto test directories.""" |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 50 | if os.path.isdir('tests'): |
| 51 | tests_dir = 'tests' |
| 52 | elif os.path.isdir('suites'): |
| 53 | tests_dir = '.' |
| 54 | elif os.path.isdir('../suites'): |
| 55 | tests_dir = '..' |
| 56 | directories = [tests_dir] |
| 57 | crypto_tests_dir = os.path.normpath(os.path.join(tests_dir, |
| 58 | '../crypto/tests')) |
| 59 | if os.path.isdir(crypto_tests_dir): |
| 60 | directories.append(crypto_tests_dir) |
| 61 | return directories |
| 62 | |
Gilles Peskine | 32b9421 | 2019-09-20 18:00:49 +0200 | [diff] [blame] | 63 | def check_description(results, seen, file_name, line_number, description): |
Darryl Green | 1822061 | 2019-12-17 15:03:59 +0000 | [diff] [blame] | 64 | """Check test case descriptions for errors.""" |
Gilles Peskine | 32b9421 | 2019-09-20 18:00:49 +0200 | [diff] [blame] | 65 | if description in seen: |
| 66 | results.error(file_name, line_number, |
| 67 | 'Duplicate description (also line {})', |
| 68 | seen[description]) |
| 69 | return |
Gilles Peskine | f12ad58 | 2019-09-20 18:02:01 +0200 | [diff] [blame] | 70 | if re.search(br'[\t;]', description): |
Gilles Peskine | 32b9421 | 2019-09-20 18:00:49 +0200 | [diff] [blame] | 71 | results.error(file_name, line_number, |
| 72 | 'Forbidden character \'{}\' in description', |
Gilles Peskine | f12ad58 | 2019-09-20 18:02:01 +0200 | [diff] [blame] | 73 | re.search(br'[\t;]', description).group(0).decode('ascii')) |
Gilles Peskine | 57870e8 | 2019-09-20 18:02:30 +0200 | [diff] [blame] | 74 | if re.search(br'[^ -~]', description): |
| 75 | results.error(file_name, line_number, |
| 76 | 'Non-ASCII character in description') |
Gilles Peskine | 32b9421 | 2019-09-20 18:00:49 +0200 | [diff] [blame] | 77 | if len(description) > 66: |
| 78 | results.warning(file_name, line_number, |
| 79 | 'Test description too long ({} > 66)', |
| 80 | len(description)) |
| 81 | seen[description] = line_number |
| 82 | |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 83 | def check_test_suite(results, data_file_name): |
| 84 | in_paragraph = False |
| 85 | descriptions = {} |
Gilles Peskine | f12ad58 | 2019-09-20 18:02:01 +0200 | [diff] [blame] | 86 | with open(data_file_name, 'rb') as data_file: |
| 87 | for line_number, line in enumerate(data_file, 1): |
| 88 | line = line.rstrip(b'\r\n') |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 89 | if not line: |
| 90 | in_paragraph = False |
| 91 | continue |
Gilles Peskine | f12ad58 | 2019-09-20 18:02:01 +0200 | [diff] [blame] | 92 | if line.startswith(b'#'): |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 93 | continue |
| 94 | if not in_paragraph: |
| 95 | # This is a test case description line. |
Gilles Peskine | 32b9421 | 2019-09-20 18:00:49 +0200 | [diff] [blame] | 96 | check_description(results, descriptions, |
| 97 | data_file_name, line_number, line) |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 98 | in_paragraph = True |
| 99 | |
| 100 | def check_ssl_opt_sh(results, file_name): |
| 101 | descriptions = {} |
Gilles Peskine | f12ad58 | 2019-09-20 18:02:01 +0200 | [diff] [blame] | 102 | with open(file_name, 'rb') as file_contents: |
| 103 | for line_number, line in enumerate(file_contents, 1): |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 104 | # Assume that all run_test calls have the same simple form |
| 105 | # with the test description entirely on the same line as the |
| 106 | # function name. |
Gilles Peskine | f12ad58 | 2019-09-20 18:02:01 +0200 | [diff] [blame] | 107 | m = re.match(br'\s*run_test\s+"((?:[^\\"]|\\.)*)"', line) |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 108 | if not m: |
| 109 | continue |
| 110 | description = m.group(1) |
Gilles Peskine | 32b9421 | 2019-09-20 18:00:49 +0200 | [diff] [blame] | 111 | check_description(results, descriptions, |
| 112 | file_name, line_number, description) |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 113 | |
| 114 | def main(): |
Gilles Peskine | 1fb7aea | 2019-12-02 14:26:04 +0100 | [diff] [blame^] | 115 | parser = argparse.ArgumentParser(description=__doc__) |
| 116 | parser.add_argument('--quiet', '-q', |
| 117 | action='store_true', |
| 118 | help='Hide warnings') |
| 119 | parser.add_argument('--verbose', '-v', |
| 120 | action='store_false', dest='quiet', |
| 121 | help='Show warnings (default: on; undoes --quiet)') |
| 122 | options = parser.parse_args() |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 123 | test_directories = collect_test_directories() |
Gilles Peskine | 1fb7aea | 2019-12-02 14:26:04 +0100 | [diff] [blame^] | 124 | results = Results(options) |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 125 | for directory in test_directories: |
| 126 | for data_file_name in glob.glob(os.path.join(directory, 'suites', |
| 127 | '*.data')): |
| 128 | check_test_suite(results, data_file_name) |
| 129 | ssl_opt_sh = os.path.join(directory, 'ssl-opt.sh') |
| 130 | if os.path.exists(ssl_opt_sh): |
| 131 | check_ssl_opt_sh(results, ssl_opt_sh) |
Gilles Peskine | 1fb7aea | 2019-12-02 14:26:04 +0100 | [diff] [blame^] | 132 | if (results.warnings or results.errors) and not options.quiet: |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 133 | sys.stderr.write('{}: {} errors, {} warnings\n' |
| 134 | .format(sys.argv[0], results.errors, results.warnings)) |
| 135 | sys.exit(1 if results.errors else 0) |
| 136 | |
| 137 | if __name__ == '__main__': |
| 138 | main() |