blob: 80045338ab62285f78ed38cbbe3d15e752e3d0fa [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
20#include <assert.h>
21#include <stddef.h>
22#include <inttypes.h>
23#include <string.h>
24
Christopher Collins92ea77f2016-12-12 15:59:26 -080025#include "hal/hal_flash.h"
26#include "flash_map/flash_map.h"
27#include "bootutil/image.h"
David Browne629bf32017-04-24 13:37:33 -060028#include "bootutil/sha256.h"
Christopher Collins92ea77f2016-12-12 15:59:26 -080029#include "bootutil/sign_key.h"
30
Fabio Utzigba1fbe62017-07-21 14:01:20 -030031#ifdef MCUBOOT_MYNEWT
32#include "mcuboot_config/mcuboot_config.h"
Fabio Utzigeed80b62017-06-10 08:03:05 -030033#endif
34
Fabio Utzig19356bf2017-05-11 16:19:36 -030035#ifdef MCUBOOT_SIGN_RSA
Christopher Collins92ea77f2016-12-12 15:59:26 -080036#include "mbedtls/rsa.h"
David Brownd7e350d2017-04-24 13:29:28 -060037#endif
Fabio Utzig19356bf2017-05-11 16:19:36 -030038#if defined(MCUBOOT_SIGN_EC) || defined(MCUBOOT_SIGN_EC256)
Christopher Collins92ea77f2016-12-12 15:59:26 -080039#include "mbedtls/ecdsa.h"
David Brownd7e350d2017-04-24 13:29:28 -060040#endif
Christopher Collins92ea77f2016-12-12 15:59:26 -080041#include "mbedtls/asn1.h"
42
43#include "bootutil_priv.h"
44
45/*
46 * Compute SHA256 over the image.
47 */
48static int
49bootutil_img_hash(struct image_header *hdr, const struct flash_area *fap,
50 uint8_t *tmp_buf, uint32_t tmp_buf_sz,
51 uint8_t *hash_result, uint8_t *seed, int seed_len)
52{
David Browne629bf32017-04-24 13:37:33 -060053 bootutil_sha256_context sha256_ctx;
Christopher Collins92ea77f2016-12-12 15:59:26 -080054 uint32_t blk_sz;
55 uint32_t size;
56 uint32_t off;
57 int rc;
58
David Browne629bf32017-04-24 13:37:33 -060059 bootutil_sha256_init(&sha256_ctx);
Christopher Collins92ea77f2016-12-12 15:59:26 -080060
61 /* in some cases (split image) the hash is seeded with data from
62 * the loader image */
63 if(seed && (seed_len > 0)) {
David Browne629bf32017-04-24 13:37:33 -060064 bootutil_sha256_update(&sha256_ctx, seed, seed_len);
Christopher Collins92ea77f2016-12-12 15:59:26 -080065 }
66
67 size = hdr->ih_img_size + hdr->ih_hdr_size;
68
69 /*
70 * Hash is computed over image header and image itself. No TLV is
71 * included ATM.
72 */
73 size = hdr->ih_img_size + hdr->ih_hdr_size;
74 for (off = 0; off < size; off += blk_sz) {
75 blk_sz = size - off;
76 if (blk_sz > tmp_buf_sz) {
77 blk_sz = tmp_buf_sz;
78 }
79 rc = flash_area_read(fap, off, tmp_buf, blk_sz);
80 if (rc) {
81 return rc;
82 }
David Browne629bf32017-04-24 13:37:33 -060083 bootutil_sha256_update(&sha256_ctx, tmp_buf, blk_sz);
Christopher Collins92ea77f2016-12-12 15:59:26 -080084 }
David Browne629bf32017-04-24 13:37:33 -060085 bootutil_sha256_finish(&sha256_ctx, hash_result);
Christopher Collins92ea77f2016-12-12 15:59:26 -080086
87 return 0;
88}
89
90/*
David Brown43cda332017-09-01 09:53:23 -060091 * Currently, we only support being able to verify one type of
92 * signature, because there is a single verification function that we
93 * call. List the type of TLV we are expecting. If we aren't
94 * configured for any signature, don't define this macro.
95 */
96#if defined(MCUBOOT_SIGN_RSA)
97# define EXPECTED_SIG_TLV IMAGE_TLV_RSA2048
98# define EXPECTED_SIG_LEN(x) ((x) == 256) /* 2048 bits */
99# if defined(MCUBOOT_SIGN_EC) || defined(MCUBOOT_SIGN_EC256)
100# error "Multiple signature types not yet supported"
101# endif
102#elif defined(MCUBOOT_SIGN_EC)
103# define EXPECTED_SIG_TLV IMAGE_TLV_ECDSA224
104# define EXPECTED_SIG_LEN(x) ((x) >= 64) /* oids + 2 * 28 bytes */
105# if defined(MCUBOOT_SIGN_EC256)
106# error "Multiple signature types not yet supported"
107# endif
108#elif defined(MCUBOOT_SIGN_EC256)
109# define EXPECTED_SIG_TLV IMAGE_TLV_ECDSA256
110# define EXPECTED_SIG_LEN(x) ((x) >= 72) /* oids + 2 * 32 bytes */
111#endif
112
113#ifdef EXPECTED_SIG_TLV
114static int
115bootutil_find_key(uint8_t *keyhash, uint8_t keyhash_len)
116{
117 bootutil_sha256_context sha256_ctx;
118 int i;
119 const struct bootutil_key *key;
120 uint8_t hash[32];
121
122 assert(keyhash_len == 32);
123
124 for (i = 0; i < bootutil_key_cnt; i++) {
125 key = &bootutil_keys[i];
126 bootutil_sha256_init(&sha256_ctx);
127 bootutil_sha256_update(&sha256_ctx, key->key, *key->len);
128 bootutil_sha256_finish(&sha256_ctx, hash);
129 if (!memcmp(hash, keyhash, keyhash_len)) {
130 return i;
131 }
132 }
133 return -1;
134}
135#endif
136
137/*
Christopher Collins92ea77f2016-12-12 15:59:26 -0800138 * Verify the integrity of the image.
139 * Return non-zero if image could not be validated/does not validate.
140 */
141int
142bootutil_img_validate(struct image_header *hdr, const struct flash_area *fap,
143 uint8_t *tmp_buf, uint32_t tmp_buf_sz,
144 uint8_t *seed, int seed_len, uint8_t *out_hash)
145{
146 uint32_t off;
147 uint32_t size;
David Brown43cda332017-09-01 09:53:23 -0600148 int sha256_valid = 0;
149#ifdef EXPECTED_SIG_TLV
150 int valid_signature = 0;
151 int key_id = -1;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800152#endif
153 struct image_tlv tlv;
154 uint8_t buf[256];
155 uint8_t hash[32];
156 int rc;
157
Christopher Collins92ea77f2016-12-12 15:59:26 -0800158 rc = bootutil_img_hash(hdr, fap, tmp_buf, tmp_buf_sz, hash,
159 seed, seed_len);
160 if (rc) {
161 return rc;
162 }
163
164 if (out_hash) {
165 memcpy(out_hash, hash, 32);
166 }
167
168 /* After image there are TLVs. */
169 off = hdr->ih_img_size + hdr->ih_hdr_size;
170 size = off + hdr->ih_tlv_size;
171
David Brown43cda332017-09-01 09:53:23 -0600172 /*
173 * Traverse through all of the TLVs, performing any checks we know
174 * and are able to do.
175 */
Christopher Collins92ea77f2016-12-12 15:59:26 -0800176 for (; off < size; off += sizeof(tlv) + tlv.it_len) {
177 rc = flash_area_read(fap, off, &tlv, sizeof tlv);
178 if (rc) {
179 return rc;
180 }
David Brown43cda332017-09-01 09:53:23 -0600181
Christopher Collins92ea77f2016-12-12 15:59:26 -0800182 if (tlv.it_type == IMAGE_TLV_SHA256) {
David Brown43cda332017-09-01 09:53:23 -0600183 /*
184 * Verify the SHA256 image hash. This must always be
185 * present.
186 */
Christopher Collins92ea77f2016-12-12 15:59:26 -0800187 if (tlv.it_len != sizeof(hash)) {
188 return -1;
189 }
David Brown43cda332017-09-01 09:53:23 -0600190 rc = flash_area_read(fap, off + sizeof(tlv), buf, sizeof hash);
191 if (rc) {
192 return rc;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800193 }
David Brown43cda332017-09-01 09:53:23 -0600194 if (memcmp(hash, buf, sizeof(hash))) {
195 return -1;
Christopher Collins92ea77f2016-12-12 15:59:26 -0800196 }
David Brown43cda332017-09-01 09:53:23 -0600197
198 sha256_valid = 1;
199#ifdef EXPECTED_SIG_TLV
200 } else if (tlv.it_type == IMAGE_TLV_KEYHASH) {
Christopher Collins92ea77f2016-12-12 15:59:26 -0800201 /*
David Brown43cda332017-09-01 09:53:23 -0600202 * Determine which key we should be checking.
Christopher Collins92ea77f2016-12-12 15:59:26 -0800203 */
David Brown43cda332017-09-01 09:53:23 -0600204 if (tlv.it_len > 32) {
205 return -1;
206 }
207 rc = flash_area_read(fap, off + sizeof tlv, buf, tlv.it_len);
208 if (rc) {
209 return rc;
210 }
211 key_id = bootutil_find_key(buf, tlv.it_len);
212 /*
213 * The key may not be found, which is acceptable. There
214 * can be multiple signatures, each preceded by a key.
215 */
216 } else if (tlv.it_type == EXPECTED_SIG_TLV) {
217 /* Ignore this signature if it is out of bounds. */
218 if (key_id < 0 || key_id >= bootutil_key_cnt) {
219 key_id = -1;
220 continue;
221 }
222 if (!EXPECTED_SIG_LEN(tlv.it_len) || tlv.it_len > sizeof(buf)) {
223 return -1;
224 }
225 rc = flash_area_read(fap, off + sizeof(tlv), buf, tlv.it_len);
226 if (rc) {
227 return -1;
228 }
229 rc = bootutil_verify_sig(hash, sizeof(hash), buf, tlv.it_len, key_id);
230 if (rc == 0) {
231 valid_signature = 1;
232 }
233 key_id = -1;
234#endif
Christopher Collins92ea77f2016-12-12 15:59:26 -0800235 }
236 }
David Brown43cda332017-09-01 09:53:23 -0600237
238 if (!sha256_valid) {
Christopher Collins92ea77f2016-12-12 15:59:26 -0800239 return -1;
240 }
241
David Brown43cda332017-09-01 09:53:23 -0600242#ifdef EXPECTED_SIG_TLV
243 if (!valid_signature) {
Christopher Collins92ea77f2016-12-12 15:59:26 -0800244 return -1;
245 }
246#endif
David Brown43cda332017-09-01 09:53:23 -0600247
Christopher Collins92ea77f2016-12-12 15:59:26 -0800248 return 0;
249}