Tamas Ban | f70ef8c | 2017-12-19 15:35:09 +0000 | [diff] [blame] | 1 | #! /usr/bin/env python3 |
| 2 | # |
| 3 | # Copyright 2017 Linaro Limited |
David Vincze | db32b21 | 2019-04-16 17:43:57 +0200 | [diff] [blame] | 4 | # Copyright (c) 2018-2019, Arm Limited. |
Tamas Ban | f70ef8c | 2017-12-19 15:35:09 +0000 | [diff] [blame] | 5 | # |
| 6 | # Licensed under the Apache License, Version 2.0 (the "License"); |
| 7 | # you may not use this file except in compliance with the License. |
| 8 | # You may obtain a copy of the License at |
| 9 | # |
| 10 | # http://www.apache.org/licenses/LICENSE-2.0 |
| 11 | # |
| 12 | # Unless required by applicable law or agreed to in writing, software |
| 13 | # distributed under the License is distributed on an "AS IS" BASIS, |
| 14 | # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 15 | # See the License for the specific language governing permissions and |
| 16 | # limitations under the License. |
| 17 | |
Gabor Kertesz | 33e9b23 | 2018-09-12 15:38:41 +0200 | [diff] [blame] | 18 | from __future__ import print_function |
Oliver Swede | 2144044 | 2018-07-10 09:31:32 +0100 | [diff] [blame] | 19 | import os |
Oliver Swede | 05e5ded | 2018-07-19 16:40:49 +0100 | [diff] [blame] | 20 | import re |
Tamas Ban | f70ef8c | 2017-12-19 15:35:09 +0000 | [diff] [blame] | 21 | import argparse |
Gabor Kertesz | 33e9b23 | 2018-09-12 15:38:41 +0200 | [diff] [blame] | 22 | from imgtool_lib import keys |
| 23 | from imgtool_lib import image |
| 24 | from imgtool_lib import version |
Tamas Ban | f70ef8c | 2017-12-19 15:35:09 +0000 | [diff] [blame] | 25 | import sys |
Sverteczky, Marcell | 7d069e8 | 2019-07-04 18:17:33 +0200 | [diff] [blame] | 26 | import macro_parser |
Tamas Ban | f70ef8c | 2017-12-19 15:35:09 +0000 | [diff] [blame] | 27 | |
Sverteczky, Marcell | 7d069e8 | 2019-07-04 18:17:33 +0200 | [diff] [blame] | 28 | sign_bin_size_re = re.compile(r"^\s*RE_SIGN_BIN_SIZE\s*=\s*(.*)") |
| 29 | image_load_address_re = re.compile(r"^\s*RE_IMAGE_LOAD_ADDRESS\s*=\s*(.*)") |
Oliver Swede | 05e5ded | 2018-07-19 16:40:49 +0100 | [diff] [blame] | 30 | |
Oliver Swede | 2144044 | 2018-07-10 09:31:32 +0100 | [diff] [blame] | 31 | # Returns the last version number if present, or None if not |
| 32 | def get_last_version(path): |
| 33 | if (os.path.isfile(path) == False): # Version file not present |
| 34 | return None |
| 35 | else: # Version file is present, check it has a valid number inside it |
| 36 | with open(path, "r") as oldFile: |
| 37 | fileContents = oldFile.read() |
| 38 | if version.version_re.match(fileContents): # number is valid |
| 39 | return version.decode_version(fileContents) |
| 40 | else: |
| 41 | return None |
| 42 | |
| 43 | def next_version_number(args, defaultVersion, path): |
| 44 | newVersion = None |
David Vincze | d8fbe0e | 2019-08-12 15:58:57 +0200 | [diff] [blame] | 45 | versionProvided = False |
Oliver Swede | 2144044 | 2018-07-10 09:31:32 +0100 | [diff] [blame] | 46 | if (version.compare(args.version, defaultVersion) == 0): # Default version |
| 47 | lastVersion = get_last_version(path) |
| 48 | if (lastVersion is not None): |
| 49 | newVersion = version.increment_build_num(lastVersion) |
| 50 | else: |
| 51 | newVersion = version.increment_build_num(defaultVersion) |
| 52 | else: # Version number has been explicitly provided (not using the default) |
David Vincze | d8fbe0e | 2019-08-12 15:58:57 +0200 | [diff] [blame] | 53 | versionProvided = True |
Oliver Swede | 2144044 | 2018-07-10 09:31:32 +0100 | [diff] [blame] | 54 | newVersion = args.version |
| 55 | versionString = "{a}.{b}.{c}+{d}".format( |
| 56 | a=str(newVersion.major), |
| 57 | b=str(newVersion.minor), |
| 58 | c=str(newVersion.revision), |
| 59 | d=str(newVersion.build) |
| 60 | ) |
David Vincze | d8fbe0e | 2019-08-12 15:58:57 +0200 | [diff] [blame] | 61 | if not versionProvided: |
| 62 | with open(path, "w") as newFile: |
| 63 | newFile.write(versionString) |
Oliver Swede | 2144044 | 2018-07-10 09:31:32 +0100 | [diff] [blame] | 64 | print("**[INFO]** Image version number set to " + versionString) |
| 65 | return newVersion |
| 66 | |
Tamas Ban | f70ef8c | 2017-12-19 15:35:09 +0000 | [diff] [blame] | 67 | def gen_rsa2048(args): |
Tamas Ban | 861835c | 2019-05-13 08:59:38 +0100 | [diff] [blame] | 68 | keys.RSAutil.generate().export_private(args.key) |
| 69 | |
| 70 | def gen_rsa3072(args): |
| 71 | keys.RSAutil.generate(key_size=3072).export_private(args.key) |
Tamas Ban | f70ef8c | 2017-12-19 15:35:09 +0000 | [diff] [blame] | 72 | |
| 73 | keygens = { |
Tamas Ban | 861835c | 2019-05-13 08:59:38 +0100 | [diff] [blame] | 74 | 'rsa-2048': gen_rsa2048, |
| 75 | 'rsa-3072': gen_rsa3072, } |
Tamas Ban | f70ef8c | 2017-12-19 15:35:09 +0000 | [diff] [blame] | 76 | |
| 77 | def do_keygen(args): |
| 78 | if args.type not in keygens: |
| 79 | msg = "Unexpected key type: {}".format(args.type) |
| 80 | raise argparse.ArgumentTypeError(msg) |
| 81 | keygens[args.type](args) |
| 82 | |
| 83 | def do_getpub(args): |
| 84 | key = keys.load(args.key) |
| 85 | if args.lang == 'c': |
| 86 | key.emit_c() |
Tamas Ban | f70ef8c | 2017-12-19 15:35:09 +0000 | [diff] [blame] | 87 | else: |
Tamas Ban | 581034a | 2017-12-19 19:54:37 +0000 | [diff] [blame] | 88 | msg = "Unsupported language, valid are: c" |
Tamas Ban | f70ef8c | 2017-12-19 15:35:09 +0000 | [diff] [blame] | 89 | raise argparse.ArgumentTypeError(msg) |
| 90 | |
| 91 | def do_sign(args): |
| 92 | if args.rsa_pkcs1_15: |
| 93 | keys.sign_rsa_pss = False |
David Vincze | db32b21 | 2019-04-16 17:43:57 +0200 | [diff] [blame] | 94 | |
| 95 | version_num = next_version_number(args, |
| 96 | version.decode_version("0"), |
| 97 | "lastVerNum.txt") |
| 98 | |
| 99 | if args.security_counter is None: |
| 100 | # Security counter has not been explicitly provided, |
| 101 | # generate it from the version number |
| 102 | args.security_counter = ((version_num.major << 24) |
| 103 | + (version_num.minor << 16) |
| 104 | + version_num.revision) |
| 105 | |
Sverteczky, Marcell | 7d069e8 | 2019-07-04 18:17:33 +0200 | [diff] [blame] | 106 | pad_size = macro_parser.evaluate_macro(args.layout, sign_bin_size_re, 0, 1) |
Oliver Swede | 2144044 | 2018-07-10 09:31:32 +0100 | [diff] [blame] | 107 | img = image.Image.load(args.infile, |
David Vincze | db32b21 | 2019-04-16 17:43:57 +0200 | [diff] [blame] | 108 | version=version_num, |
| 109 | header_size=args.header_size, |
| 110 | security_cnt=args.security_counter, |
| 111 | included_header=args.included_header, |
Sverteczky, Marcell | 7d069e8 | 2019-07-04 18:17:33 +0200 | [diff] [blame] | 112 | pad=pad_size) |
Tamas Ban | 32d8464 | 2019-07-11 08:25:11 +0100 | [diff] [blame] | 113 | key = keys.load(args.key, args.public_key_format) if args.key else None |
Sverteczky, Marcell | 7d069e8 | 2019-07-04 18:17:33 +0200 | [diff] [blame] | 114 | ram_load_address = macro_parser.evaluate_macro(args.layout, image_load_address_re, 0, 1) |
David Vincze | 9ec0f54 | 2019-07-03 18:09:47 +0200 | [diff] [blame] | 115 | img.sign(key, ram_load_address, args.dependencies) |
Tamas Ban | f70ef8c | 2017-12-19 15:35:09 +0000 | [diff] [blame] | 116 | |
Sverteczky, Marcell | 7d069e8 | 2019-07-04 18:17:33 +0200 | [diff] [blame] | 117 | if pad_size: |
| 118 | img.pad_to(pad_size, args.align) |
Tamas Ban | f70ef8c | 2017-12-19 15:35:09 +0000 | [diff] [blame] | 119 | |
| 120 | img.save(args.outfile) |
| 121 | |
| 122 | subcmds = { |
| 123 | 'keygen': do_keygen, |
| 124 | 'getpub': do_getpub, |
| 125 | 'sign': do_sign, } |
| 126 | |
David Vincze | 9ec0f54 | 2019-07-03 18:09:47 +0200 | [diff] [blame] | 127 | |
| 128 | def get_dependencies(text): |
| 129 | if text is not None: |
| 130 | versions = [] |
| 131 | images = re.findall(r"\((\d+)", text) |
| 132 | if len(images) == 0: |
| 133 | msg = "Image dependency format is invalid: {}".format(text) |
| 134 | raise argparse.ArgumentTypeError(msg) |
| 135 | raw_versions = re.findall(r",\s*([0-9.+]+)\)", text) |
| 136 | if len(images) != len(raw_versions): |
| 137 | msg = '''There's a mismatch between the number of dependency images |
| 138 | and versions in: {}'''.format(text) |
| 139 | raise argparse.ArgumentTypeError(msg) |
| 140 | for raw_version in raw_versions: |
| 141 | try: |
| 142 | versions.append(version.decode_version(raw_version)) |
| 143 | except ValueError as e: |
| 144 | print(e) |
| 145 | dependencies = dict() |
| 146 | dependencies[image.DEP_IMAGES_KEY] = images |
| 147 | dependencies[image.DEP_VERSIONS_KEY] = versions |
| 148 | return dependencies |
| 149 | |
| 150 | |
Tamas Ban | f70ef8c | 2017-12-19 15:35:09 +0000 | [diff] [blame] | 151 | def alignment_value(text): |
| 152 | value = int(text) |
| 153 | if value not in [1, 2, 4, 8]: |
| 154 | msg = "{} must be one of 1, 2, 4 or 8".format(value) |
| 155 | raise argparse.ArgumentTypeError(msg) |
| 156 | return value |
| 157 | |
| 158 | def intparse(text): |
| 159 | """Parse a command line argument as an integer. |
| 160 | |
| 161 | Accepts 0x and other prefixes to allow other bases to be used.""" |
| 162 | return int(text, 0) |
| 163 | |
| 164 | def args(): |
| 165 | parser = argparse.ArgumentParser() |
| 166 | subs = parser.add_subparsers(help='subcommand help', dest='subcmd') |
| 167 | |
| 168 | keygenp = subs.add_parser('keygen', help='Generate pub/private keypair') |
| 169 | keygenp.add_argument('-k', '--key', metavar='filename', required=True) |
| 170 | keygenp.add_argument('-t', '--type', metavar='type', |
Oliver Swede | 2144044 | 2018-07-10 09:31:32 +0100 | [diff] [blame] | 171 | choices=keygens.keys(), required=True) |
Tamas Ban | f70ef8c | 2017-12-19 15:35:09 +0000 | [diff] [blame] | 172 | |
| 173 | getpub = subs.add_parser('getpub', help='Get public key from keypair') |
| 174 | getpub.add_argument('-k', '--key', metavar='filename', required=True) |
| 175 | getpub.add_argument('-l', '--lang', metavar='lang', default='c') |
| 176 | |
| 177 | sign = subs.add_parser('sign', help='Sign an image with a private key') |
Sverteczky, Marcell | 7d069e8 | 2019-07-04 18:17:33 +0200 | [diff] [blame] | 178 | sign.add_argument('-l', '--layout', required=True, |
| 179 | help='Location of the file that contains preprocessed macros') |
Tamas Ban | f70ef8c | 2017-12-19 15:35:09 +0000 | [diff] [blame] | 180 | sign.add_argument('-k', '--key', metavar='filename') |
Tamas Ban | 32d8464 | 2019-07-11 08:25:11 +0100 | [diff] [blame] | 181 | sign.add_argument("-K", "--public-key-format", |
| 182 | help='In what format to add the public key to the image manifest: full or hash', |
| 183 | metavar='pub_key_format', choices=['full', 'hash'], default='hash') |
Tamas Ban | f70ef8c | 2017-12-19 15:35:09 +0000 | [diff] [blame] | 184 | sign.add_argument("--align", type=alignment_value, required=True) |
Oliver Swede | 2144044 | 2018-07-10 09:31:32 +0100 | [diff] [blame] | 185 | sign.add_argument("-v", "--version", type=version.decode_version, |
| 186 | default="0.0.0+0") |
David Vincze | 9ec0f54 | 2019-07-03 18:09:47 +0200 | [diff] [blame] | 187 | sign.add_argument("-d", "--dependencies", type=get_dependencies, |
| 188 | required=False, help='''Add dependence on another image, |
| 189 | format: "(<image_ID>,<image_version>), ... "''') |
David Vincze | db32b21 | 2019-04-16 17:43:57 +0200 | [diff] [blame] | 190 | sign.add_argument("-s", "--security-counter", type=intparse, |
| 191 | help='Specify explicitly the security counter value') |
Tamas Ban | f70ef8c | 2017-12-19 15:35:09 +0000 | [diff] [blame] | 192 | sign.add_argument("-H", "--header-size", type=intparse, required=True) |
| 193 | sign.add_argument("--included-header", default=False, action='store_true', |
Oliver Swede | 2144044 | 2018-07-10 09:31:32 +0100 | [diff] [blame] | 194 | help='Image has gap for header') |
Oliver Swede | 2144044 | 2018-07-10 09:31:32 +0100 | [diff] [blame] | 195 | sign.add_argument("--rsa-pkcs1-15", |
| 196 | help='Use old PKCS#1 v1.5 signature algorithm', |
| 197 | default=False, action='store_true') |
Tamas Ban | f70ef8c | 2017-12-19 15:35:09 +0000 | [diff] [blame] | 198 | sign.add_argument("infile") |
| 199 | sign.add_argument("outfile") |
| 200 | |
| 201 | args = parser.parse_args() |
| 202 | if args.subcmd is None: |
| 203 | print('Must specify a subcommand', file=sys.stderr) |
| 204 | sys.exit(1) |
| 205 | |
| 206 | subcmds[args.subcmd](args) |
| 207 | |
| 208 | if __name__ == '__main__': |
David Vincze | db32b21 | 2019-04-16 17:43:57 +0200 | [diff] [blame] | 209 | args() |