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] |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 57 | return directories |
| 58 | |
Gilles Peskine | 32b9421 | 2019-09-20 18:00:49 +0200 | [diff] [blame] | 59 | def check_description(results, seen, file_name, line_number, description): |
Darryl Green | 1822061 | 2019-12-17 15:03:59 +0000 | [diff] [blame] | 60 | """Check test case descriptions for errors.""" |
Gilles Peskine | 32b9421 | 2019-09-20 18:00:49 +0200 | [diff] [blame] | 61 | if description in seen: |
| 62 | results.error(file_name, line_number, |
| 63 | 'Duplicate description (also line {})', |
| 64 | seen[description]) |
| 65 | return |
Gilles Peskine | f12ad58 | 2019-09-20 18:02:01 +0200 | [diff] [blame] | 66 | if re.search(br'[\t;]', description): |
Gilles Peskine | 32b9421 | 2019-09-20 18:00:49 +0200 | [diff] [blame] | 67 | results.error(file_name, line_number, |
| 68 | 'Forbidden character \'{}\' in description', |
Gilles Peskine | f12ad58 | 2019-09-20 18:02:01 +0200 | [diff] [blame] | 69 | re.search(br'[\t;]', description).group(0).decode('ascii')) |
Gilles Peskine | 57870e8 | 2019-09-20 18:02:30 +0200 | [diff] [blame] | 70 | if re.search(br'[^ -~]', description): |
| 71 | results.error(file_name, line_number, |
| 72 | 'Non-ASCII character in description') |
Gilles Peskine | 32b9421 | 2019-09-20 18:00:49 +0200 | [diff] [blame] | 73 | if len(description) > 66: |
| 74 | results.warning(file_name, line_number, |
| 75 | 'Test description too long ({} > 66)', |
| 76 | len(description)) |
| 77 | seen[description] = line_number |
| 78 | |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 79 | def check_test_suite(results, data_file_name): |
Gilles Peskine | aaee444 | 2020-03-24 16:49:21 +0100 | [diff] [blame] | 80 | """Check the test cases in the given unit test data file.""" |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 81 | in_paragraph = False |
| 82 | descriptions = {} |
Gilles Peskine | f12ad58 | 2019-09-20 18:02:01 +0200 | [diff] [blame] | 83 | with open(data_file_name, 'rb') as data_file: |
| 84 | for line_number, line in enumerate(data_file, 1): |
| 85 | line = line.rstrip(b'\r\n') |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 86 | if not line: |
| 87 | in_paragraph = False |
| 88 | continue |
Gilles Peskine | f12ad58 | 2019-09-20 18:02:01 +0200 | [diff] [blame] | 89 | if line.startswith(b'#'): |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 90 | continue |
| 91 | if not in_paragraph: |
| 92 | # This is a test case description line. |
Gilles Peskine | 32b9421 | 2019-09-20 18:00:49 +0200 | [diff] [blame] | 93 | check_description(results, descriptions, |
| 94 | data_file_name, line_number, line) |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 95 | in_paragraph = True |
| 96 | |
| 97 | def check_ssl_opt_sh(results, file_name): |
Gilles Peskine | aaee444 | 2020-03-24 16:49:21 +0100 | [diff] [blame] | 98 | """Check the test cases in ssl-opt.sh or a file with a similar format.""" |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 99 | descriptions = {} |
Gilles Peskine | f12ad58 | 2019-09-20 18:02:01 +0200 | [diff] [blame] | 100 | with open(file_name, 'rb') as file_contents: |
| 101 | for line_number, line in enumerate(file_contents, 1): |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 102 | # Assume that all run_test calls have the same simple form |
| 103 | # with the test description entirely on the same line as the |
| 104 | # function name. |
Gilles Peskine | f12ad58 | 2019-09-20 18:02:01 +0200 | [diff] [blame] | 105 | m = re.match(br'\s*run_test\s+"((?:[^\\"]|\\.)*)"', line) |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 106 | if not m: |
| 107 | continue |
| 108 | description = m.group(1) |
Gilles Peskine | 32b9421 | 2019-09-20 18:00:49 +0200 | [diff] [blame] | 109 | check_description(results, descriptions, |
| 110 | file_name, line_number, description) |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 111 | |
| 112 | def main(): |
Gilles Peskine | 1fb7aea | 2019-12-02 14:26:04 +0100 | [diff] [blame] | 113 | parser = argparse.ArgumentParser(description=__doc__) |
| 114 | parser.add_argument('--quiet', '-q', |
| 115 | action='store_true', |
| 116 | help='Hide warnings') |
| 117 | parser.add_argument('--verbose', '-v', |
| 118 | action='store_false', dest='quiet', |
| 119 | help='Show warnings (default: on; undoes --quiet)') |
| 120 | options = parser.parse_args() |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 121 | test_directories = collect_test_directories() |
Gilles Peskine | 1fb7aea | 2019-12-02 14:26:04 +0100 | [diff] [blame] | 122 | results = Results(options) |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 123 | for directory in test_directories: |
| 124 | for data_file_name in glob.glob(os.path.join(directory, 'suites', |
| 125 | '*.data')): |
| 126 | check_test_suite(results, data_file_name) |
| 127 | ssl_opt_sh = os.path.join(directory, 'ssl-opt.sh') |
| 128 | if os.path.exists(ssl_opt_sh): |
| 129 | check_ssl_opt_sh(results, ssl_opt_sh) |
Gilles Peskine | 1fb7aea | 2019-12-02 14:26:04 +0100 | [diff] [blame] | 130 | if (results.warnings or results.errors) and not options.quiet: |
Gilles Peskine | ba94b58 | 2019-09-16 19:18:40 +0200 | [diff] [blame] | 131 | sys.stderr.write('{}: {} errors, {} warnings\n' |
| 132 | .format(sys.argv[0], results.errors, results.warnings)) |
| 133 | sys.exit(1 if results.errors else 0) |
| 134 | |
| 135 | if __name__ == '__main__': |
| 136 | main() |