blob: a4760b2e14af1e90b3f34a19f6362e0d3aed1352 [file] [log] [blame]
Randall Spangler7141d732014-05-15 15:34:54 -07001/* Copyright (c) 2014 The Chromium OS Authors. All rights reserved.
2 * Use of this source code is governed by a BSD-style license that can be
3 * found in the LICENSE file.
4 *
5 * Tests for firmware image library.
6 */
7
8#include <stdint.h>
9#include <stdio.h>
10#include <string.h>
11
12#include "file_keys.h"
13#include "host_common.h"
Randall Spanglerd274a2e2014-10-23 17:38:18 -070014#include "vb2_convert_structs.h"
Randall Spangler7141d732014-05-15 15:34:54 -070015#include "vboot_common.h"
16#include "test_common.h"
17
18#include "2common.h"
19#include "2rsa.h"
20
Randall Spangler3c6ec762014-11-01 17:49:08 -070021static const uint8_t test_data[] = "This is some test data to sign.";
22static const uint32_t test_size = sizeof(test_data);
Randall Spangler7141d732014-05-15 15:34:54 -070023
Randall Spangler3c6ec762014-11-01 17:49:08 -070024static void test_unpack_key(const struct vb2_packed_key *key1)
25{
26 struct vb2_public_key pubk;
Randall Spangler7141d732014-05-15 15:34:54 -070027
28 /*
29 * Key data follows the header for a newly allocated key, so we can
30 * calculate the buffer size by looking at how far the key data goes.
31 */
Randall Spangler3c6ec762014-11-01 17:49:08 -070032 uint32_t size = key1->key_offset + key1->key_size;
33 uint8_t *buf = malloc(size);
34 struct vb2_packed_key *key = (struct vb2_packed_key *)buf;
Randall Spangler7141d732014-05-15 15:34:54 -070035
Randall Spangler3c6ec762014-11-01 17:49:08 -070036 memcpy(key, key1, size);
37 TEST_SUCC(vb2_unpack_key(&pubk, buf, size), "vb2_unpack_key() ok");
Randall Spangler7141d732014-05-15 15:34:54 -070038
Randall Spangler3c6ec762014-11-01 17:49:08 -070039 TEST_EQ(pubk.sig_alg, vb2_crypto_to_signature(key->algorithm),
Randall Spanglerc8c2f022014-10-23 09:48:20 -070040 "vb2_unpack_key() sig_alg");
Randall Spangler3c6ec762014-11-01 17:49:08 -070041 TEST_EQ(pubk.hash_alg, vb2_crypto_to_hash(key->algorithm),
Randall Spangler4eef8122014-10-23 10:07:54 -070042 "vb2_unpack_key() hash_alg");
43
Randall Spangler7141d732014-05-15 15:34:54 -070044
Randall Spangler3c6ec762014-11-01 17:49:08 -070045 memcpy(key, key1, size);
46 key->algorithm = VB2_ALG_COUNT;
47 TEST_EQ(vb2_unpack_key(&pubk, buf, size),
Randall Spanglerc8c2f022014-10-23 09:48:20 -070048 VB2_ERROR_UNPACK_KEY_SIG_ALGORITHM,
Randall Spangler224f5ac2014-06-06 09:42:30 -070049 "vb2_unpack_key() invalid algorithm");
Randall Spangler7141d732014-05-15 15:34:54 -070050
Randall Spangler3c6ec762014-11-01 17:49:08 -070051 memcpy(key, key1, size);
52 key->key_size--;
53 TEST_EQ(vb2_unpack_key(&pubk, buf, size),
Randall Spangler224f5ac2014-06-06 09:42:30 -070054 VB2_ERROR_UNPACK_KEY_SIZE,
55 "vb2_unpack_key() invalid size");
Randall Spangler7141d732014-05-15 15:34:54 -070056
Randall Spangler3c6ec762014-11-01 17:49:08 -070057 memcpy(key, key1, size);
58 key->key_offset++;
59 TEST_EQ(vb2_unpack_key(&pubk, buf, size + 1),
Randall Spangler224f5ac2014-06-06 09:42:30 -070060 VB2_ERROR_UNPACK_KEY_ALIGN,
61 "vb2_unpack_key() unaligned data");
Randall Spangler7141d732014-05-15 15:34:54 -070062
Randall Spangler3c6ec762014-11-01 17:49:08 -070063 memcpy(key, key1, size);
64 *(uint32_t *)(buf + key->key_offset) /= 2;
65 TEST_EQ(vb2_unpack_key(&pubk, buf, size),
Randall Spangler224f5ac2014-06-06 09:42:30 -070066 VB2_ERROR_UNPACK_KEY_ARRAY_SIZE,
67 "vb2_unpack_key() invalid key array size");
68
Randall Spangler3c6ec762014-11-01 17:49:08 -070069 memcpy(key, key1, size);
70 TEST_EQ(vb2_unpack_key(&pubk, buf, size - 1),
Randall Spangler224f5ac2014-06-06 09:42:30 -070071 VB2_ERROR_INSIDE_DATA_OUTSIDE,
72 "vb2_unpack_key() buffer too small");
Randall Spangler7141d732014-05-15 15:34:54 -070073
74 free(key);
75}
76
Randall Spangler3c6ec762014-11-01 17:49:08 -070077static void test_unpack_key2(const struct vb2_packed_key *key1)
Randall Spanglerd274a2e2014-10-23 17:38:18 -070078{
Randall Spanglerd274a2e2014-10-23 17:38:18 -070079 struct vb2_public_key pubk;
80 struct vb2_packed_key2 *key2;
81 uint32_t size;
82
83 /* Should be able to handle a vboot1-style key binary as well */
84 TEST_SUCC(vb2_unpack_key2(&pubk, (uint8_t *)key1,
85 key1->key_offset + key1->key_size),
86 "vb2_unpack_key2() passthru");
87
88 key2 = vb2_convert_packed_key2(key1, "Test key", &size);
89 TEST_SUCC(vb2_unpack_key2(&pubk, (uint8_t *)key2, size),
90 "vb2_unpack_key2() ok");
91 free(key2);
92
93 key2 = vb2_convert_packed_key2(key1, "Test key", &size);
94 key2->key_offset += 4;
95 TEST_EQ(vb2_unpack_key2(&pubk, (uint8_t *)key2, size),
Randall Spangler6b5b8f62014-10-31 15:18:48 -070096 VB2_ERROR_COMMON_MEMBER_SIZE,
Randall Spanglerd274a2e2014-10-23 17:38:18 -070097 "vb2_unpack_key2() buffer too small");
98 free(key2);
99
100 key2 = vb2_convert_packed_key2(key1, "Test key", &size);
Randall Spangler6f7f5df2014-10-31 11:47:52 -0700101 key2->c.fixed_size += size;
Randall Spanglerd274a2e2014-10-23 17:38:18 -0700102 TEST_EQ(vb2_unpack_key2(&pubk, (uint8_t *)key2, size),
Randall Spangler6b5b8f62014-10-31 15:18:48 -0700103 VB2_ERROR_COMMON_FIXED_SIZE,
Randall Spanglerd274a2e2014-10-23 17:38:18 -0700104 "vb2_unpack_key2() buffer too small for desc");
105 free(key2);
106
107 key2 = vb2_convert_packed_key2(key1, "Test key", &size);
108 key2->c.desc_size = 0;
Randall Spanglerd274a2e2014-10-23 17:38:18 -0700109 TEST_SUCC(vb2_unpack_key2(&pubk, (uint8_t *)key2, size),
110 "vb2_unpack_key2() no desc");
111 TEST_EQ(strcmp(pubk.desc, ""), 0, " empty desc string");
112 free(key2);
113
114 key2 = vb2_convert_packed_key2(key1, "Test key", &size);
115 key2->c.magic++;
116 TEST_EQ(vb2_unpack_key2(&pubk, (uint8_t *)key2, size),
117 VB2_ERROR_INSIDE_DATA_OUTSIDE,
118 "vb2_unpack_key2() bad magic");
119 free(key2);
120
121 key2 = vb2_convert_packed_key2(key1, "Test key", &size);
122 key2->c.struct_version_major++;
123 TEST_EQ(vb2_unpack_key2(&pubk, (uint8_t *)key2, size),
124 VB2_ERROR_UNPACK_KEY_STRUCT_VERSION,
125 "vb2_unpack_key2() bad major version");
126 free(key2);
127
128 /*
129 * Minor version changes are ok. Note that this test assumes that the
130 * source key struct version is the highest actually known to the
131 * reader. If the reader does know about minor version + 1 and that
132 * adds fields, this test will likely fail. But at that point, we
133 * should have already added a test for minor version compatibility to
134 * handle both old and new struct versions, so someone will have
135 * noticed this comment.
136 */
137 key2 = vb2_convert_packed_key2(key1, "Test key", &size);
138 key2->c.struct_version_minor++;
139 TEST_SUCC(vb2_unpack_key2(&pubk, (uint8_t *)key2, size),
140 "vb2_unpack_key2() minor version change ok");
141 free(key2);
142
143 key2 = vb2_convert_packed_key2(key1, "Test key", &size);
Randall Spangler6300a642014-11-01 15:55:26 -0700144 key2->sig_alg = VB2_SIG_INVALID;
Randall Spanglerd274a2e2014-10-23 17:38:18 -0700145 TEST_EQ(vb2_unpack_key2(&pubk, (uint8_t *)key2, size),
146 VB2_ERROR_UNPACK_KEY_SIG_ALGORITHM,
147 "vb2_unpack_key2() bad sig algorithm");
148 free(key2);
149
150 key2 = vb2_convert_packed_key2(key1, "Test key", &size);
Randall Spangler6300a642014-11-01 15:55:26 -0700151 key2->hash_alg = VB2_HASH_INVALID;
Randall Spanglerd274a2e2014-10-23 17:38:18 -0700152 TEST_EQ(vb2_unpack_key2(&pubk, (uint8_t *)key2, size),
153 VB2_ERROR_UNPACK_KEY_HASH_ALGORITHM,
154 "vb2_unpack_key2() bad hash algorithm");
155 free(key2);
156
157 key2 = vb2_convert_packed_key2(key1, "Test key", &size);
Randall Spangler6b5b8f62014-10-31 15:18:48 -0700158 key2->key_size -= 4;
Randall Spanglerd274a2e2014-10-23 17:38:18 -0700159 TEST_EQ(vb2_unpack_key2(&pubk, (uint8_t *)key2, size),
160 VB2_ERROR_UNPACK_KEY_SIZE,
161 "vb2_unpack_key2() invalid size");
162 free(key2);
163
164 key2 = vb2_convert_packed_key2(key1, "Test key", &size);
165 key2->key_offset--;
166 TEST_EQ(vb2_unpack_key2(&pubk, (uint8_t *)key2, size),
Randall Spangler6b5b8f62014-10-31 15:18:48 -0700167 VB2_ERROR_COMMON_MEMBER_UNALIGNED,
Randall Spanglerd274a2e2014-10-23 17:38:18 -0700168 "vb2_unpack_key2() unaligned data");
169 free(key2);
170
171 key2 = vb2_convert_packed_key2(key1, "Test key", &size);
172 *(uint32_t *)((uint8_t *)key2 + key2->key_offset) /= 2;
173 TEST_EQ(vb2_unpack_key2(&pubk, (uint8_t *)key2, size),
174 VB2_ERROR_UNPACK_KEY_ARRAY_SIZE,
175 "vb2_unpack_key2() invalid key array size");
176 free(key2);
177}
178
Randall Spangler3c6ec762014-11-01 17:49:08 -0700179static void test_verify_data(struct vb2_packed_key *key1,
180 const struct vb2_signature *sig)
Randall Spangler7141d732014-05-15 15:34:54 -0700181{
Randall Spangler7141d732014-05-15 15:34:54 -0700182 uint8_t workbuf[VB2_VERIFY_DATA_WORKBUF_BYTES];
183 struct vb2_workbuf wb;
Randall Spangler7141d732014-05-15 15:34:54 -0700184
Randall Spangler3c6ec762014-11-01 17:49:08 -0700185 uint32_t pubkey_size = key1->key_offset + key1->key_size;
186 struct vb2_public_key pubk, pubk_orig;
187 uint32_t sig_total_size = sig->sig_offset + sig->sig_size;
Randall Spangler7141d732014-05-15 15:34:54 -0700188 struct vb2_signature *sig2;
Randall Spangler7141d732014-05-15 15:34:54 -0700189
190 vb2_workbuf_init(&wb, workbuf, sizeof(workbuf));
191
Randall Spangler7141d732014-05-15 15:34:54 -0700192 /* Allocate signature copy for tests */
Randall Spangler3c6ec762014-11-01 17:49:08 -0700193 sig2 = (struct vb2_signature *)malloc(sig_total_size);
Randall Spangler7141d732014-05-15 15:34:54 -0700194
Randall Spangler3c6ec762014-11-01 17:49:08 -0700195 TEST_EQ(vb2_unpack_key(&pubk, (uint8_t *)key1, pubkey_size),
Randall Spangler7141d732014-05-15 15:34:54 -0700196 0, "vb2_verify_data() unpack key");
Randall Spangler3c6ec762014-11-01 17:49:08 -0700197 pubk_orig = pubk;
Randall Spangler7141d732014-05-15 15:34:54 -0700198
Randall Spangler3c6ec762014-11-01 17:49:08 -0700199 memcpy(sig2, sig, sig_total_size);
200 pubk.sig_alg = VB2_SIG_INVALID;
201 TEST_NEQ(vb2_verify_data(test_data, test_size, sig2, &pubk, &wb),
Randall Spanglerc8c2f022014-10-23 09:48:20 -0700202 0, "vb2_verify_data() bad sig alg");
Randall Spangler3c6ec762014-11-01 17:49:08 -0700203 pubk.sig_alg = pubk_orig.sig_alg;
Randall Spanglerc8c2f022014-10-23 09:48:20 -0700204
Randall Spangler3c6ec762014-11-01 17:49:08 -0700205 memcpy(sig2, sig, sig_total_size);
206 pubk.hash_alg = VB2_HASH_INVALID;
207 TEST_NEQ(vb2_verify_data(test_data, test_size, sig2, &pubk, &wb),
Randall Spanglerc8c2f022014-10-23 09:48:20 -0700208 0, "vb2_verify_data() bad hash alg");
Randall Spangler3c6ec762014-11-01 17:49:08 -0700209 pubk.hash_alg = pubk_orig.hash_alg;
Randall Spangler7141d732014-05-15 15:34:54 -0700210
211 vb2_workbuf_init(&wb, workbuf, 4);
Randall Spangler3c6ec762014-11-01 17:49:08 -0700212 memcpy(sig2, sig, sig_total_size);
213 TEST_NEQ(vb2_verify_data(test_data, test_size, sig2, &pubk, &wb),
Randall Spangler7141d732014-05-15 15:34:54 -0700214 0, "vb2_verify_data() workbuf too small");
215 vb2_workbuf_init(&wb, workbuf, sizeof(workbuf));
216
Randall Spangler3c6ec762014-11-01 17:49:08 -0700217 memcpy(sig2, sig, sig_total_size);
218 TEST_EQ(vb2_verify_data(test_data, test_size, sig2, &pubk, &wb),
Randall Spangler7141d732014-05-15 15:34:54 -0700219 0, "vb2_verify_data() ok");
220
Randall Spangler3c6ec762014-11-01 17:49:08 -0700221 memcpy(sig2, sig, sig_total_size);
Randall Spangler7141d732014-05-15 15:34:54 -0700222 sig2->sig_size -= 16;
Randall Spangler3c6ec762014-11-01 17:49:08 -0700223 TEST_NEQ(vb2_verify_data(test_data, test_size, sig2, &pubk, &wb),
Randall Spangler7141d732014-05-15 15:34:54 -0700224 0, "vb2_verify_data() wrong sig size");
225
Randall Spangler3c6ec762014-11-01 17:49:08 -0700226 memcpy(sig2, sig, sig_total_size);
227 TEST_NEQ(vb2_verify_data(test_data, test_size - 1, sig2, &pubk, &wb),
Randall Spangler7141d732014-05-15 15:34:54 -0700228 0, "vb2_verify_data() input buffer too small");
229
Randall Spangler3c6ec762014-11-01 17:49:08 -0700230 memcpy(sig2, sig, sig_total_size);
Randall Spangler7141d732014-05-15 15:34:54 -0700231 vb2_signature_data(sig2)[0] ^= 0x5A;
Randall Spangler3c6ec762014-11-01 17:49:08 -0700232 TEST_NEQ(vb2_verify_data(test_data, test_size, sig2, &pubk, &wb),
Randall Spangler7141d732014-05-15 15:34:54 -0700233 0, "vb2_verify_data() wrong sig");
234
Randall Spangler7141d732014-05-15 15:34:54 -0700235 free(sig2);
236}
237
Randall Spanglerc0ce70b2014-10-31 11:19:14 -0700238static void test_verify_signature(const struct vb2_packed_key *key1,
239 const struct vb2_signature *sig1)
240{
241 struct vb2_public_key pubk;
242 struct vb2_packed_key2 *key2;
243 struct vb2_signature2 *sig2;
244 uint8_t *buf2good, *buf2;
245 uint32_t size;
246
247 /* Unpack and convert the public key */
248 TEST_SUCC(vb2_unpack_key2(&pubk, (uint8_t *)key1,
249 key1->key_offset + key1->key_size),
250 "verify_sig vb2_unpack_key2() passthru");
251 key2 = vb2_convert_packed_key2(key1, "Test key", &size);
252 TEST_PTR_NEQ(key2, 0, "verify_sig convert pub key");
253
254 buf2good = (uint8_t *)
255 vb2_convert_signature2(sig1, "test desc", key2, &size);
256 buf2 = malloc(size);
257 sig2 = (struct vb2_signature2 *)buf2;
258
259 memcpy(buf2, buf2good, size);
260 TEST_PTR_NEQ(sig1, 0, "verify_sig convert signature");
261 TEST_SUCC(vb2_verify_signature2(sig2, size), "verify_sig ok");
262 sig2->c.magic = VB2_MAGIC_PACKED_KEY2;
263 TEST_EQ(vb2_verify_signature2(sig2, size), VB2_ERROR_SIG_MAGIC,
264 "verify_sig magic");
265
266 memcpy(buf2, buf2good, size);
267 sig2->c.total_size += 4;
268 TEST_EQ(vb2_verify_signature2(sig2, size), VB2_ERROR_COMMON_TOTAL_SIZE,
269 "verify_sig common header");
270
271 memcpy(buf2, buf2good, size);
272 sig2->c.struct_version_minor++;
273 TEST_SUCC(vb2_verify_signature2(sig2, size), "verify_sig minor ver");
274 sig2->c.struct_version_major++;
275 TEST_EQ(vb2_verify_signature2(sig2, size), VB2_ERROR_SIG_VERSION,
276 "verify_sig major ver");
277
278 memcpy(buf2, buf2good, size);
279 sig2->c.fixed_size -= 4;
280 sig2->c.desc_size += 4;
281 TEST_EQ(vb2_verify_signature2(sig2, size), VB2_ERROR_SIG_HEADER_SIZE,
282 "verify_sig header size");
283
284 memcpy(buf2, buf2good, size);
285 sig2->sig_size += 4;
286 TEST_EQ(vb2_verify_signature2(sig2, size), VB2_ERROR_COMMON_MEMBER_SIZE,
287 "verify_sig sig size");
288
289 memcpy(buf2, buf2good, size);
290 sig2->sig_alg = VB2_SIG_INVALID;
291 TEST_EQ(vb2_verify_signature2(sig2, size), VB2_ERROR_SIG_ALGORITHM,
292 "verify_sig sig alg");
293
294 memcpy(buf2, buf2good, size);
295 sig2->sig_alg = (sig2->sig_alg == VB2_SIG_NONE ?
296 VB2_SIG_RSA1024 : VB2_SIG_NONE);
297 TEST_EQ(vb2_verify_signature2(sig2, size), VB2_ERROR_SIG_SIZE,
298 "verify_sig sig size");
299
300 free(buf2);
301 free(buf2good);
302 free(key2);
303}
304
Randall Spangler7141d732014-05-15 15:34:54 -0700305int test_algorithm(int key_algorithm, const char *keys_dir)
306{
307 char filename[1024];
308 int rsa_len = siglen_map[key_algorithm] * 8;
309
310 VbPrivateKey *private_key = NULL;
Randall Spangler3c6ec762014-11-01 17:49:08 -0700311
312 struct vb2_signature *sig = NULL;
313 struct vb2_packed_key *key1;
Randall Spangler7141d732014-05-15 15:34:54 -0700314
315 printf("***Testing algorithm: %s\n", algo_strings[key_algorithm]);
316
317 sprintf(filename, "%s/key_rsa%d.pem", keys_dir, rsa_len);
318 private_key = PrivateKeyReadPem(filename, key_algorithm);
319 if (!private_key) {
320 fprintf(stderr, "Error reading private_key: %s\n", filename);
321 return 1;
322 }
323
324 sprintf(filename, "%s/key_rsa%d.keyb", keys_dir, rsa_len);
Randall Spangler3c6ec762014-11-01 17:49:08 -0700325 key1 = (struct vb2_packed_key *)
326 PublicKeyReadKeyb(filename, key_algorithm, 1);
327 if (!key1) {
Randall Spangler7141d732014-05-15 15:34:54 -0700328 fprintf(stderr, "Error reading public_key: %s\n", filename);
329 return 1;
330 }
331
Randall Spangler3c6ec762014-11-01 17:49:08 -0700332 /* Calculate good signature */
333 sig = (struct vb2_signature *)
334 CalculateSignature(test_data, sizeof(test_data), private_key);
335 TEST_PTR_NEQ(sig, 0, "Calculate signature");
336 if (!sig)
337 return 1;
Randall Spangler7141d732014-05-15 15:34:54 -0700338
Randall Spangler3c6ec762014-11-01 17:49:08 -0700339 test_unpack_key(key1);
340 test_unpack_key2(key1);
341 test_verify_data(key1, sig);
Randall Spanglerc0ce70b2014-10-31 11:19:14 -0700342 test_verify_signature(key1, sig);
Randall Spangler3c6ec762014-11-01 17:49:08 -0700343
344 if (key1)
345 free(key1);
Randall Spangler7141d732014-05-15 15:34:54 -0700346 if (private_key)
347 free(private_key);
Randall Spangler3c6ec762014-11-01 17:49:08 -0700348 if (sig)
349 free(sig);
Randall Spangler7141d732014-05-15 15:34:54 -0700350
351 return 0;
352}
353
354/* Test only the algorithms we use */
355const int key_algs[] = {
356 VB2_ALG_RSA2048_SHA256,
357 VB2_ALG_RSA4096_SHA256,
358 VB2_ALG_RSA8192_SHA512,
359};
360
361int main(int argc, char *argv[]) {
362
363 if (argc == 2) {
364 int i;
365
366 for (i = 0; i < ARRAY_SIZE(key_algs); i++) {
367 if (test_algorithm(key_algs[i], argv[1]))
368 return 1;
369 }
370
371 } else if (argc == 3 && !strcasecmp(argv[2], "--all")) {
372 /* Test all the algorithms */
373 int alg;
374
375 for (alg = 0; alg < kNumAlgorithms; alg++) {
376 if (test_algorithm(alg, argv[1]))
377 return 1;
378 }
379
380 } else {
381 fprintf(stderr, "Usage: %s <keys_dir> [--all]", argv[0]);
382 return -1;
383 }
384
385 return gTestSuccess ? 0 : 255;
386}