blob: 171ad669072db88e0dbf33109f7e16ad86c6efeb [file] [log] [blame]
Christopher Collins92ea77f2016-12-12 15:59:26 -08001/*
2 * Licensed to the Apache Software Foundation (ASF) under one
3 * or more contributor license agreements. See the NOTICE file
4 * distributed with this work for additional information
5 * regarding copyright ownership. The ASF licenses this file
6 * to you under the Apache License, Version 2.0 (the
7 * "License"); you may not use this file except in compliance
8 * with the License. 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,
13 * software distributed under the License is distributed on an
14 * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
15 * KIND, either express or implied. See the License for the
16 * specific language governing permissions and limitations
17 * under the License.
18 */
19
David Vinczee32483f2019-06-13 10:46:24 +020020/*
21 * Modifications are Copyright (c) 2019 Arm Limited.
22 */
23
Christopher Collins92ea77f2016-12-12 15:59:26 -080024#include <stddef.h>
25#include <inttypes.h>
26#include <string.h>
27
Andrzej Puzdrowskib788c712018-04-12 12:42:49 +020028#include <flash_map_backend/flash_map_backend.h>
29
Christopher Collins92ea77f2016-12-12 15:59:26 -080030#include "bootutil/image.h"
David Browne629bf32017-04-24 13:37:33 -060031#include "bootutil/sha256.h"
Christopher Collins92ea77f2016-12-12 15:59:26 -080032#include "bootutil/sign_key.h"
33
Fabio Utzigba1fbe62017-07-21 14:01:20 -030034#include "mcuboot_config/mcuboot_config.h"
Fabio Utzigeed80b62017-06-10 08:03:05 -030035
Fabio Utzigba829042018-09-18 08:29:34 -030036#ifdef MCUBOOT_ENC_IMAGES
37#include "bootutil/enc_key.h"
38#endif
39#if defined(MCUBOOT_SIGN_RSA)
Christopher Collins92ea77f2016-12-12 15:59:26 -080040#include "mbedtls/rsa.h"
David Brownd7e350d2017-04-24 13:29:28 -060041#endif
Fabio Utzig19356bf2017-05-11 16:19:36 -030042#if defined(MCUBOOT_SIGN_EC) || defined(MCUBOOT_SIGN_EC256)
Christopher Collins92ea77f2016-12-12 15:59:26 -080043#include "mbedtls/ecdsa.h"
David Brownd7e350d2017-04-24 13:29:28 -060044#endif
Christopher Collins92ea77f2016-12-12 15:59:26 -080045#include "mbedtls/asn1.h"
46
47#include "bootutil_priv.h"
48
49/*
50 * Compute SHA256 over the image.
51 */
52static int
Fabio Utzig10ee6482019-08-01 12:04:52 -030053bootutil_img_hash(struct enc_key_data *enc_state, int image_index,
54 struct image_header *hdr, const struct flash_area *fap,
55 uint8_t *tmp_buf, uint32_t tmp_buf_sz, uint8_t *hash_result,
56 uint8_t *seed, int seed_len)
Christopher Collins92ea77f2016-12-12 15:59:26 -080057{
David Browne629bf32017-04-24 13:37:33 -060058 bootutil_sha256_context sha256_ctx;
Christopher Collins92ea77f2016-12-12 15:59:26 -080059 uint32_t blk_sz;
60 uint32_t size;
Fabio Utzig2fc80df2018-12-14 06:47:38 -020061 uint16_t hdr_size;
Christopher Collins92ea77f2016-12-12 15:59:26 -080062 uint32_t off;
63 int rc;
Fabio Utzigba829042018-09-18 08:29:34 -030064#ifdef MCUBOOT_ENC_IMAGES
Fabio Utzigc21c2102019-09-10 10:10:42 -030065 uint32_t protected_off;
Fabio Utzigba829042018-09-18 08:29:34 -030066 uint32_t blk_off;
Fabio Utzigba829042018-09-18 08:29:34 -030067#endif
Christopher Collins92ea77f2016-12-12 15:59:26 -080068
Fabio Utzigb0f04732019-07-31 09:49:19 -030069#if (BOOT_IMAGE_NUMBER == 1) || !defined(MCUBOOT_ENC_IMAGES)
Fabio Utzig10ee6482019-08-01 12:04:52 -030070 (void)enc_state;
Fabio Utzigb0f04732019-07-31 09:49:19 -030071 (void)image_index;
Fabio Utzigc9621352019-08-08 12:15:51 -030072 (void)hdr_size;
Fabio Utzigb0f04732019-07-31 09:49:19 -030073#endif
74
Fabio Utzigbc077932019-08-26 11:16:34 -030075#ifdef MCUBOOT_ENC_IMAGES
76 /* Encrypted images only exist in the secondary slot */
77 if (MUST_DECRYPT(fap, image_index, hdr) &&
78 !boot_enc_valid(enc_state, image_index, fap)) {
79 return -1;
80 }
81#endif
82
David Browne629bf32017-04-24 13:37:33 -060083 bootutil_sha256_init(&sha256_ctx);
Christopher Collins92ea77f2016-12-12 15:59:26 -080084
85 /* in some cases (split image) the hash is seeded with data from
86 * the loader image */
Fabio Utzig53986042017-12-12 14:57:07 -020087 if (seed && (seed_len > 0)) {
David Browne629bf32017-04-24 13:37:33 -060088 bootutil_sha256_update(&sha256_ctx, seed, seed_len);
Christopher Collins92ea77f2016-12-12 15:59:26 -080089 }
90
David Vinczee32483f2019-06-13 10:46:24 +020091 /* Hash is computed over image header and image itself. */
Fabio Utzig2fc80df2018-12-14 06:47:38 -020092 hdr_size = hdr->ih_hdr_size;
Fabio Utzigc9621352019-08-08 12:15:51 -030093 size = BOOT_TLV_OFF(hdr);
David Vinczee32483f2019-06-13 10:46:24 +020094
Fabio Utzigc21c2102019-09-10 10:10:42 -030095#ifdef MCUBOOT_ENC_IMAGES
96 protected_off = size;
97#endif
98
David Vinczee32483f2019-06-13 10:46:24 +020099#if (MCUBOOT_IMAGE_NUMBER > 1)
100 /* If dependency TLVs are present then the TLV info header and the
101 * dependency TLVs are also protected and have to be included in the hash
102 * calculation.
103 */
104 if (hdr->ih_protect_tlv_size != 0) {
105 size += hdr->ih_protect_tlv_size;
106 }
107#endif
108
Christopher Collins92ea77f2016-12-12 15:59:26 -0800109 for (off = 0; off < size; off += blk_sz) {
110 blk_sz = size - off;
Fabio Utzigc21c2102019-09-10 10:10:42 -0300111#ifdef MCUBOOT_ENC_IMAGES
112 /* The only data that is encrypted in an image is the payload;
113 * both header and TLVs (when protected) are not.
114 */
115 if ((off < hdr_size) && ((off + blk_sz) > hdr_size)) {
116 /* read only the header */
117 blk_sz = hdr_size - off;
118 } else if (off >= protected_off) {
119 /* read protected TLVs */
120 blk_sz = size - off;
121 } else if ((off + blk_sz) > protected_off) {
122 /* do not copy beyond image payload */
123 blk_sz = protected_off - off;
124 }
125#endif
Christopher Collins92ea77f2016-12-12 15:59:26 -0800126 if (blk_sz > tmp_buf_sz) {
127 blk_sz = tmp_buf_sz;
128 }
129 rc = flash_area_read(fap, off, tmp_buf, blk_sz);
130 if (rc) {
131 return rc;
132 }
Fabio Utzigba829042018-09-18 08:29:34 -0300133#ifdef MCUBOOT_ENC_IMAGES
Fabio Utzigc21c2102019-09-10 10:10:42 -0300134 if (MUST_DECRYPT(fap, image_index, hdr)) {
135 if (off >= hdr_size && off < protected_off) {
136 blk_off = (off - hdr_size) & 0xf;
137 boot_encrypt(enc_state, image_index, fap, off - hdr_size,
138 blk_sz, blk_off, tmp_buf);
139 }
Fabio Utzigba829042018-09-18 08:29:34 -0300140 }
141#endif
David Browne629bf32017-04-24 13:37:33 -0600142 bootutil_sha256_update(&sha256_ctx, tmp_buf, blk_sz);
Christopher Collins92ea77f2016-12-12 15:59:26 -0800143 }
David Browne629bf32017-04-24 13:37:33 -0600144 bootutil_sha256_finish(&sha256_ctx, hash_result);
Christopher Collins92ea77f2016-12-12 15:59:26 -0800145
146 return 0;
147}
148
149/*
David Brown43cda332017-09-01 09:53:23 -0600150 * Currently, we only support being able to verify one type of
151 * signature, because there is a single verification function that we
152 * call. List the type of TLV we are expecting. If we aren't
153 * configured for any signature, don't define this macro.
154 */
Fabio Utzig48764842019-05-10 19:28:24 -0300155#if (defined(MCUBOOT_SIGN_RSA) + \
156 defined(MCUBOOT_SIGN_EC) + \
157 defined(MCUBOOT_SIGN_EC256) + \
158 defined(MCUBOOT_SIGN_ED25519)) > 1
Fabio Utzig3501c012019-05-13 15:07:25 -0700159#error "Only a single signature type is supported!"
160#endif
161
David Brown43cda332017-09-01 09:53:23 -0600162#if defined(MCUBOOT_SIGN_RSA)
Fabio Utzig3501c012019-05-13 15:07:25 -0700163# if MCUBOOT_SIGN_RSA_LEN == 2048
164# define EXPECTED_SIG_TLV IMAGE_TLV_RSA2048_PSS
165# elif MCUBOOT_SIGN_RSA_LEN == 3072
166# define EXPECTED_SIG_TLV IMAGE_TLV_RSA3072_PSS
167# else
168# error "Unsupported RSA signature length"
David Brown43cda332017-09-01 09:53:23 -0600169# endif
Fabio Utzig3501c012019-05-13 15:07:25 -0700170# define SIG_BUF_SIZE (MCUBOOT_SIGN_RSA_LEN / 8)
171# define EXPECTED_SIG_LEN(x) ((x) == SIG_BUF_SIZE) /* 2048 bits */
David Brown43cda332017-09-01 09:53:23 -0600172#elif defined(MCUBOOT_SIGN_EC)
173# define EXPECTED_SIG_TLV IMAGE_TLV_ECDSA224
Fabio Utzig3501c012019-05-13 15:07:25 -0700174# define SIG_BUF_SIZE 128
David Brown43cda332017-09-01 09:53:23 -0600175# define EXPECTED_SIG_LEN(x) ((x) >= 64) /* oids + 2 * 28 bytes */
David Brown43cda332017-09-01 09:53:23 -0600176#elif defined(MCUBOOT_SIGN_EC256)
177# define EXPECTED_SIG_TLV IMAGE_TLV_ECDSA256
Fabio Utzig3501c012019-05-13 15:07:25 -0700178# define SIG_BUF_SIZE 128
David Brown43cda332017-09-01 09:53:23 -0600179# define EXPECTED_SIG_LEN(x) ((x) >= 72) /* oids + 2 * 32 bytes */
Fabio Utzig48764842019-05-10 19:28:24 -0300180#elif defined(MCUBOOT_SIGN_ED25519)
181# define EXPECTED_SIG_TLV IMAGE_TLV_ED25519
182# define SIG_BUF_SIZE 64
183# define EXPECTED_SIG_LEN(x) ((x) == SIG_BUF_SIZE)
Fabio Utzig3501c012019-05-13 15:07:25 -0700184#else
185# define SIG_BUF_SIZE 32 /* no signing, sha256 digest only */
David Brown43cda332017-09-01 09:53:23 -0600186#endif
187
188#ifdef EXPECTED_SIG_TLV
189static int
190bootutil_find_key(uint8_t *keyhash, uint8_t keyhash_len)
191{
192 bootutil_sha256_context sha256_ctx;
193 int i;
194 const struct bootutil_key *key;
195 uint8_t hash[32];
196
Fabio Utzig15c14672019-08-09 07:45:20 -0300197 if (keyhash_len > 32) {
198 return -1;
199 }
David Brown43cda332017-09-01 09:53:23 -0600200
201 for (i = 0; i < bootutil_key_cnt; i++) {
202 key = &bootutil_keys[i];
203 bootutil_sha256_init(&sha256_ctx);
204 bootutil_sha256_update(&sha256_ctx, key->key, *key->len);
205 bootutil_sha256_finish(&sha256_ctx, hash);
206 if (!memcmp(hash, keyhash, keyhash_len)) {
207 return i;
208 }
209 }
210 return -1;
211}
212#endif
213
214/*
Christopher Collins92ea77f2016-12-12 15:59:26 -0800215 * Verify the integrity of the image.
216 * Return non-zero if image could not be validated/does not validate.
217 */
218int
Fabio Utzig10ee6482019-08-01 12:04:52 -0300219bootutil_img_validate(struct enc_key_data *enc_state, int image_index,
220 struct image_header *hdr, const struct flash_area *fap,
221 uint8_t *tmp_buf, uint32_t tmp_buf_sz, uint8_t *seed,
222 int seed_len, uint8_t *out_hash)
Christopher Collins92ea77f2016-12-12 15:59:26 -0800223{
224 uint32_t off;
David Brown3eaa2a12017-09-01 11:19:03 -0600225 uint32_t end;
David Brown43cda332017-09-01 09:53:23 -0600226 int sha256_valid = 0;
227#ifdef EXPECTED_SIG_TLV
228 int valid_signature = 0;
229 int key_id = -1;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800230#endif
231 struct image_tlv tlv;
Fabio Utzig3501c012019-05-13 15:07:25 -0700232 uint8_t buf[SIG_BUF_SIZE];
Christopher Collins92ea77f2016-12-12 15:59:26 -0800233 uint8_t hash[32];
234 int rc;
235
Fabio Utzig10ee6482019-08-01 12:04:52 -0300236 rc = bootutil_img_hash(enc_state, image_index, hdr, fap, tmp_buf,
237 tmp_buf_sz, hash, seed, seed_len);
Christopher Collins92ea77f2016-12-12 15:59:26 -0800238 if (rc) {
239 return rc;
240 }
241
242 if (out_hash) {
243 memcpy(out_hash, hash, 32);
244 }
245
Fabio Utzig233af7d2019-08-26 12:06:16 -0300246 rc = boot_find_tlv_offs(hdr, fap, &off, &end);
David Brownf5b33d82017-09-01 10:58:27 -0600247 if (rc) {
Fabio Utzigde6edc32017-09-04 14:35:49 -0300248 return rc;
David Brownf5b33d82017-09-01 10:58:27 -0600249 }
Christopher Collins92ea77f2016-12-12 15:59:26 -0800250
David Brown43cda332017-09-01 09:53:23 -0600251 /*
252 * Traverse through all of the TLVs, performing any checks we know
253 * and are able to do.
254 */
David Brown3eaa2a12017-09-01 11:19:03 -0600255 for (; off < end; off += sizeof(tlv) + tlv.it_len) {
Christopher Collins92ea77f2016-12-12 15:59:26 -0800256 rc = flash_area_read(fap, off, &tlv, sizeof tlv);
257 if (rc) {
258 return rc;
259 }
David Brown43cda332017-09-01 09:53:23 -0600260
Christopher Collins92ea77f2016-12-12 15:59:26 -0800261 if (tlv.it_type == IMAGE_TLV_SHA256) {
David Brown43cda332017-09-01 09:53:23 -0600262 /*
263 * Verify the SHA256 image hash. This must always be
264 * present.
265 */
Christopher Collins92ea77f2016-12-12 15:59:26 -0800266 if (tlv.it_len != sizeof(hash)) {
267 return -1;
268 }
David Brown43cda332017-09-01 09:53:23 -0600269 rc = flash_area_read(fap, off + sizeof(tlv), buf, sizeof hash);
270 if (rc) {
Fabio Utzigde6edc32017-09-04 14:35:49 -0300271 return rc;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800272 }
David Brown43cda332017-09-01 09:53:23 -0600273 if (memcmp(hash, buf, sizeof(hash))) {
Fabio Utzigde6edc32017-09-04 14:35:49 -0300274 return -1;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800275 }
David Brown43cda332017-09-01 09:53:23 -0600276
277 sha256_valid = 1;
278#ifdef EXPECTED_SIG_TLV
279 } else if (tlv.it_type == IMAGE_TLV_KEYHASH) {
Christopher Collins92ea77f2016-12-12 15:59:26 -0800280 /*
David Brown43cda332017-09-01 09:53:23 -0600281 * Determine which key we should be checking.
Christopher Collins92ea77f2016-12-12 15:59:26 -0800282 */
David Brown43cda332017-09-01 09:53:23 -0600283 if (tlv.it_len > 32) {
284 return -1;
285 }
286 rc = flash_area_read(fap, off + sizeof tlv, buf, tlv.it_len);
287 if (rc) {
288 return rc;
289 }
290 key_id = bootutil_find_key(buf, tlv.it_len);
291 /*
292 * The key may not be found, which is acceptable. There
293 * can be multiple signatures, each preceded by a key.
294 */
295 } else if (tlv.it_type == EXPECTED_SIG_TLV) {
296 /* Ignore this signature if it is out of bounds. */
297 if (key_id < 0 || key_id >= bootutil_key_cnt) {
298 key_id = -1;
299 continue;
300 }
301 if (!EXPECTED_SIG_LEN(tlv.it_len) || tlv.it_len > sizeof(buf)) {
302 return -1;
303 }
304 rc = flash_area_read(fap, off + sizeof(tlv), buf, tlv.it_len);
305 if (rc) {
306 return -1;
307 }
308 rc = bootutil_verify_sig(hash, sizeof(hash), buf, tlv.it_len, key_id);
309 if (rc == 0) {
310 valid_signature = 1;
311 }
312 key_id = -1;
313#endif
Christopher Collins92ea77f2016-12-12 15:59:26 -0800314 }
315 }
David Brown43cda332017-09-01 09:53:23 -0600316
317 if (!sha256_valid) {
Christopher Collins92ea77f2016-12-12 15:59:26 -0800318 return -1;
319 }
320
David Brown43cda332017-09-01 09:53:23 -0600321#ifdef EXPECTED_SIG_TLV
322 if (!valid_signature) {
Christopher Collins92ea77f2016-12-12 15:59:26 -0800323 return -1;
324 }
325#endif
David Brown43cda332017-09-01 09:53:23 -0600326
Christopher Collins92ea77f2016-12-12 15:59:26 -0800327 return 0;
328}