blob: a63e477c61e8ec6348ad648001aaf94ae8901956 [file] [log] [blame]
Randall Spangler32a65262011-06-27 10:49:11 -07001/* Copyright (c) 2011 The Chromium OS Authors. All rights reserved.
Randall Spanglerd1836442010-06-10 09:59:04 -07002 * 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 <stdio.h>
9#include <stdlib.h>
10
11#include "cryptolib.h"
12#include "file_keys.h"
Randall Spanglerd1836442010-06-10 09:59:04 -070013#include "host_common.h"
14#include "test_common.h"
Randall Spanglerd1836442010-06-10 09:59:04 -070015#include "vboot_common.h"
16
17
18static void ReChecksumKeyBlock(VbKeyBlockHeader *h) {
19 uint8_t* newchk = DigestBuf((const uint8_t*)h,
20 h->key_block_checksum.data_size,
21 SHA512_DIGEST_ALGORITHM);
22 Memcpy(GetSignatureData(&h->key_block_checksum), newchk, SHA512_DIGEST_SIZE);
Randall Spangler32a65262011-06-27 10:49:11 -070023 free(newchk);
Randall Spanglerd1836442010-06-10 09:59:04 -070024}
25
26
Randall Spangler729b8722010-06-11 11:16:20 -070027static void KeyBlockVerifyTest(const VbPublicKey* public_key,
Randall Spanglerd1836442010-06-10 09:59:04 -070028 const VbPrivateKey* private_key,
29 const VbPublicKey* data_key) {
30
31 VbKeyBlockHeader *hdr;
32 VbKeyBlockHeader *h;
vbendeb3ecaf772010-06-24 16:19:53 -070033 unsigned hsize;
Randall Spanglerd1836442010-06-10 09:59:04 -070034
Randall Spangler729b8722010-06-11 11:16:20 -070035 hdr = KeyBlockCreate(data_key, private_key, 0x1234);
36 TEST_NEQ((size_t)hdr, 0, "KeyBlockVerify() prerequisites");
Randall Spanglerd1836442010-06-10 09:59:04 -070037 if (!hdr)
38 return;
vbendeb3ecaf772010-06-24 16:19:53 -070039 hsize = (unsigned) hdr->key_block_size;
Randall Spangler32a65262011-06-27 10:49:11 -070040 h = (VbKeyBlockHeader*)malloc(hsize + 1024);
Randall Spanglerd1836442010-06-10 09:59:04 -070041
Randall Spangler138acfe2010-08-17 15:45:21 -070042 TEST_EQ(KeyBlockVerify(hdr, hsize, NULL, 1), 0,
Randall Spangler729b8722010-06-11 11:16:20 -070043 "KeyBlockVerify() ok using checksum");
Randall Spangler138acfe2010-08-17 15:45:21 -070044 TEST_EQ(KeyBlockVerify(hdr, hsize, public_key, 0), 0,
Randall Spangler729b8722010-06-11 11:16:20 -070045 "KeyBlockVerify() ok using key");
Randall Spangler138acfe2010-08-17 15:45:21 -070046 TEST_NEQ(KeyBlockVerify(hdr, hsize, NULL, 0), 0,
47 "KeyBlockVerify() missing key");
Randall Spanglerd1836442010-06-10 09:59:04 -070048
Randall Spangler138acfe2010-08-17 15:45:21 -070049 TEST_NEQ(KeyBlockVerify(hdr, hsize - 1, NULL, 1), 0,
50 "KeyBlockVerify() size--");
51 TEST_EQ(KeyBlockVerify(hdr, hsize + 1, NULL, 1), 0,
52 "KeyBlockVerify() size++");
Randall Spanglerd1836442010-06-10 09:59:04 -070053
54 Memcpy(h, hdr, hsize);
55 h->magic[0] &= 0x12;
Randall Spangler138acfe2010-08-17 15:45:21 -070056 TEST_NEQ(KeyBlockVerify(h, hsize, NULL, 1), 0, "KeyBlockVerify() magic");
Randall Spanglerd1836442010-06-10 09:59:04 -070057
58 /* Care about major version but not minor */
59 Memcpy(h, hdr, hsize);
60 h->header_version_major++;
61 ReChecksumKeyBlock(h);
Randall Spangler138acfe2010-08-17 15:45:21 -070062 TEST_NEQ(KeyBlockVerify(h, hsize, NULL, 1), 0, "KeyBlockVerify() major++");
Randall Spanglerd1836442010-06-10 09:59:04 -070063
64 Memcpy(h, hdr, hsize);
65 h->header_version_major--;
66 ReChecksumKeyBlock(h);
Randall Spangler138acfe2010-08-17 15:45:21 -070067 TEST_NEQ(KeyBlockVerify(h, hsize, NULL, 1), 0, "KeyBlockVerify() major--");
Randall Spanglerd1836442010-06-10 09:59:04 -070068
69 Memcpy(h, hdr, hsize);
70 h->header_version_minor++;
71 ReChecksumKeyBlock(h);
Randall Spangler138acfe2010-08-17 15:45:21 -070072 TEST_EQ(KeyBlockVerify(h, hsize, NULL, 1), 0, "KeyBlockVerify() minor++");
Randall Spanglerd1836442010-06-10 09:59:04 -070073
74 Memcpy(h, hdr, hsize);
75 h->header_version_minor--;
76 ReChecksumKeyBlock(h);
Randall Spangler138acfe2010-08-17 15:45:21 -070077 TEST_EQ(KeyBlockVerify(h, hsize, NULL, 1), 0, "KeyBlockVerify() minor--");
Randall Spanglerd1836442010-06-10 09:59:04 -070078
79 /* Check hash */
80 Memcpy(h, hdr, hsize);
81 h->key_block_checksum.sig_offset = hsize;
82 ReChecksumKeyBlock(h);
Randall Spangler138acfe2010-08-17 15:45:21 -070083 TEST_NEQ(KeyBlockVerify(h, hsize, NULL, 1), 0,
Randall Spangler729b8722010-06-11 11:16:20 -070084 "KeyBlockVerify() checksum off end");
Randall Spanglerd1836442010-06-10 09:59:04 -070085
86 Memcpy(h, hdr, hsize);
87 h->key_block_checksum.sig_size /= 2;
88 ReChecksumKeyBlock(h);
Randall Spangler138acfe2010-08-17 15:45:21 -070089 TEST_NEQ(KeyBlockVerify(h, hsize, NULL, 1), 0,
Randall Spangler729b8722010-06-11 11:16:20 -070090 "KeyBlockVerify() checksum too small");
Randall Spanglerd1836442010-06-10 09:59:04 -070091
92 Memcpy(h, hdr, hsize);
93 GetPublicKeyData(&h->data_key)[0] ^= 0x34;
Randall Spangler138acfe2010-08-17 15:45:21 -070094 TEST_NEQ(KeyBlockVerify(h, hsize, NULL, 1), 0,
Randall Spangler729b8722010-06-11 11:16:20 -070095 "KeyBlockVerify() checksum mismatch");
Randall Spanglerd1836442010-06-10 09:59:04 -070096
97 /* Check signature */
98 Memcpy(h, hdr, hsize);
99 h->key_block_signature.sig_offset = hsize;
100 ReChecksumKeyBlock(h);
Randall Spangler138acfe2010-08-17 15:45:21 -0700101 TEST_NEQ(KeyBlockVerify(h, hsize, public_key, 0), 0,
Randall Spangler729b8722010-06-11 11:16:20 -0700102 "KeyBlockVerify() sig off end");
Randall Spanglerd1836442010-06-10 09:59:04 -0700103
104 Memcpy(h, hdr, hsize);
105 h->key_block_signature.sig_size--;
106 ReChecksumKeyBlock(h);
Randall Spangler138acfe2010-08-17 15:45:21 -0700107 TEST_NEQ(KeyBlockVerify(h, hsize, public_key, 0), 0,
Randall Spangler729b8722010-06-11 11:16:20 -0700108 "KeyBlockVerify() sig too small");
Randall Spanglerd1836442010-06-10 09:59:04 -0700109
110 Memcpy(h, hdr, hsize);
111 GetPublicKeyData(&h->data_key)[0] ^= 0x34;
Randall Spangler138acfe2010-08-17 15:45:21 -0700112 TEST_NEQ(KeyBlockVerify(h, hsize, public_key, 0), 0,
Randall Spangler729b8722010-06-11 11:16:20 -0700113 "KeyBlockVerify() sig mismatch");
Randall Spanglerd1836442010-06-10 09:59:04 -0700114
115 /* Check that we signed header and data key */
116 Memcpy(h, hdr, hsize);
117 h->key_block_checksum.data_size = 4;
118 h->data_key.key_offset = 0;
119 h->data_key.key_size = 0;
120 ReChecksumKeyBlock(h);
Randall Spangler138acfe2010-08-17 15:45:21 -0700121 TEST_NEQ(KeyBlockVerify(h, hsize, NULL, 1), 0,
Randall Spangler729b8722010-06-11 11:16:20 -0700122 "KeyBlockVerify() didn't sign header");
Randall Spanglerd1836442010-06-10 09:59:04 -0700123
124 Memcpy(h, hdr, hsize);
125 h->data_key.key_offset = hsize;
126 ReChecksumKeyBlock(h);
Randall Spangler138acfe2010-08-17 15:45:21 -0700127 TEST_NEQ(KeyBlockVerify(h, hsize, NULL, 1), 0,
Randall Spangler729b8722010-06-11 11:16:20 -0700128 "KeyBlockVerify() data key off end");
Randall Spanglerd1836442010-06-10 09:59:04 -0700129
130 /* TODO: verify parser can support a bigger header (i.e., one where
131 * data_key.key_offset is bigger than expected). */
132
Randall Spangler32a65262011-06-27 10:49:11 -0700133 free(h);
134 free(hdr);
Randall Spanglerd1836442010-06-10 09:59:04 -0700135}
136
137
Randall Spanglera712e012011-07-13 09:48:41 -0700138static void ReSignFirmwarePreamble(VbFirmwarePreambleHeader* h,
139 const VbPrivateKey* key) {
Randall Spanglerd1836442010-06-10 09:59:04 -0700140 VbSignature *sig = CalculateSignature((const uint8_t*)h,
141 h->preamble_signature.data_size, key);
142
143 SignatureCopy(&h->preamble_signature, sig);
Randall Spangler32a65262011-06-27 10:49:11 -0700144 free(sig);
Randall Spanglerd1836442010-06-10 09:59:04 -0700145}
146
147
148static void VerifyFirmwarePreambleTest(const VbPublicKey* public_key,
149 const VbPrivateKey* private_key,
150 const VbPublicKey* kernel_subkey) {
151
Randall Spanglera712e012011-07-13 09:48:41 -0700152 VbFirmwarePreambleHeader* hdr;
153 VbFirmwarePreambleHeader* h;
Randall Spanglerd1836442010-06-10 09:59:04 -0700154 RSAPublicKey* rsa;
vbendeb3ecaf772010-06-24 16:19:53 -0700155 unsigned hsize;
Randall Spanglerd1836442010-06-10 09:59:04 -0700156
157 /* Create a dummy signature */
Randall Spanglera712e012011-07-13 09:48:41 -0700158 VbSignature* body_sig = SignatureAlloc(56, 78);
Randall Spanglerd1836442010-06-10 09:59:04 -0700159
160 rsa = PublicKeyToRSA(public_key);
Randall Spanglera712e012011-07-13 09:48:41 -0700161 hdr = CreateFirmwarePreamble(0x1234, kernel_subkey, body_sig, private_key,
162 0x5678);
Randall Spangler87c13d82010-07-19 10:35:40 -0700163 TEST_NEQ(hdr && rsa, 0, "VerifyFirmwarePreamble() prerequisites");
Randall Spanglerd1836442010-06-10 09:59:04 -0700164 if (!hdr)
165 return;
vbendeb3ecaf772010-06-24 16:19:53 -0700166 hsize = (unsigned) hdr->preamble_size;
Randall Spangler32a65262011-06-27 10:49:11 -0700167 h = (VbFirmwarePreambleHeader*)malloc(hsize + 16384);
Randall Spanglerd1836442010-06-10 09:59:04 -0700168
Randall Spangler87c13d82010-07-19 10:35:40 -0700169 TEST_EQ(VerifyFirmwarePreamble(hdr, hsize, rsa), 0,
170 "VerifyFirmwarePreamble() ok using key");
171 TEST_NEQ(VerifyFirmwarePreamble(hdr, hsize - 1, rsa), 0,
172 "VerifyFirmwarePreamble() size--");
173 TEST_EQ(VerifyFirmwarePreamble(hdr, hsize + 1, rsa), 0,
174 "VerifyFirmwarePreamble() size++");
Randall Spanglerd1836442010-06-10 09:59:04 -0700175
176 /* Care about major version but not minor */
177 Memcpy(h, hdr, hsize);
178 h->header_version_major++;
179 ReSignFirmwarePreamble(h, private_key);
Randall Spangler87c13d82010-07-19 10:35:40 -0700180 TEST_NEQ(VerifyFirmwarePreamble(h, hsize, rsa), 0,
181 "VerifyFirmwarePreamble() major++");
Randall Spanglerd1836442010-06-10 09:59:04 -0700182
183 Memcpy(h, hdr, hsize);
184 h->header_version_major--;
185 ReSignFirmwarePreamble(h, private_key);
Randall Spangler87c13d82010-07-19 10:35:40 -0700186 TEST_NEQ(VerifyFirmwarePreamble(h, hsize, rsa), 0,
187 "VerifyFirmwarePreamble() major--");
Randall Spanglerd1836442010-06-10 09:59:04 -0700188
189 Memcpy(h, hdr, hsize);
190 h->header_version_minor++;
191 ReSignFirmwarePreamble(h, private_key);
Randall Spangler87c13d82010-07-19 10:35:40 -0700192 TEST_EQ(VerifyFirmwarePreamble(h, hsize, rsa), 0,
193 "VerifyFirmwarePreamble() minor++");
Randall Spanglerd1836442010-06-10 09:59:04 -0700194
195 Memcpy(h, hdr, hsize);
196 h->header_version_minor--;
197 ReSignFirmwarePreamble(h, private_key);
Randall Spangler87c13d82010-07-19 10:35:40 -0700198 TEST_EQ(VerifyFirmwarePreamble(h, hsize, rsa), 0,
199 "VerifyFirmwarePreamble() minor--");
Randall Spanglerd1836442010-06-10 09:59:04 -0700200
201 /* Check signature */
202 Memcpy(h, hdr, hsize);
203 h->preamble_signature.sig_offset = hsize;
204 ReSignFirmwarePreamble(h, private_key);
Randall Spangler87c13d82010-07-19 10:35:40 -0700205 TEST_NEQ(VerifyFirmwarePreamble(h, hsize, rsa), 0,
206 "VerifyFirmwarePreamble() sig off end");
Randall Spanglerd1836442010-06-10 09:59:04 -0700207
208 Memcpy(h, hdr, hsize);
209 h->preamble_signature.sig_size--;
210 ReSignFirmwarePreamble(h, private_key);
Randall Spangler87c13d82010-07-19 10:35:40 -0700211 TEST_NEQ(VerifyFirmwarePreamble(h, hsize, rsa), 0,
212 "VerifyFirmwarePreamble() sig too small");
Randall Spanglerd1836442010-06-10 09:59:04 -0700213
214 Memcpy(h, hdr, hsize);
215 GetPublicKeyData(&h->kernel_subkey)[0] ^= 0x34;
Randall Spangler87c13d82010-07-19 10:35:40 -0700216 TEST_NEQ(VerifyFirmwarePreamble(h, hsize, rsa), 0,
217 "VerifyFirmwarePreamble() sig mismatch");
Randall Spanglerd1836442010-06-10 09:59:04 -0700218
219 /* Check that we signed header, kernel subkey, and body sig */
220 Memcpy(h, hdr, hsize);
221 h->preamble_signature.data_size = 4;
222 h->kernel_subkey.key_offset = 0;
223 h->kernel_subkey.key_size = 0;
224 h->body_signature.sig_offset = 0;
225 h->body_signature.sig_size = 0;
226 ReSignFirmwarePreamble(h, private_key);
Randall Spangler87c13d82010-07-19 10:35:40 -0700227 TEST_NEQ(VerifyFirmwarePreamble(h, hsize, rsa), 0,
228 "VerifyFirmwarePreamble() didn't sign header");
Randall Spanglerd1836442010-06-10 09:59:04 -0700229
230 Memcpy(h, hdr, hsize);
231 h->kernel_subkey.key_offset = hsize;
232 ReSignFirmwarePreamble(h, private_key);
Randall Spangler87c13d82010-07-19 10:35:40 -0700233 TEST_NEQ(VerifyFirmwarePreamble(h, hsize, rsa), 0,
234 "VerifyFirmwarePreamble() kernel subkey off end");
Randall Spanglerd1836442010-06-10 09:59:04 -0700235
236 Memcpy(h, hdr, hsize);
237 h->body_signature.sig_offset = hsize;
238 ReSignFirmwarePreamble(h, private_key);
Randall Spangler87c13d82010-07-19 10:35:40 -0700239 TEST_NEQ(VerifyFirmwarePreamble(h, hsize, rsa), 0,
240 "VerifyFirmwarePreamble() body sig off end");
Randall Spanglerd1836442010-06-10 09:59:04 -0700241
Randall Spanglera712e012011-07-13 09:48:41 -0700242 /* Check that we return flags properly for new and old structs */
243 Memcpy(h, hdr, hsize);
244 TEST_EQ(VbGetFirmwarePreambleFlags(h), 0x5678,
245 "VbGetFirmwarePreambleFlags() v2.1");
246 h->header_version_minor = 0;
247 TEST_EQ(VbGetFirmwarePreambleFlags(h), 0,
248 "VbGetFirmwarePreambleFlags() v2.0");
249
250 /* TODO: verify with extra padding at end of header. */
Randall Spanglerd1836442010-06-10 09:59:04 -0700251
Randall Spangler32a65262011-06-27 10:49:11 -0700252 free(h);
Randall Spanglerd1836442010-06-10 09:59:04 -0700253 RSAPublicKeyFree(rsa);
Randall Spangler32a65262011-06-27 10:49:11 -0700254 free(hdr);
Randall Spanglerd1836442010-06-10 09:59:04 -0700255}
256
257
258int main(int argc, char* argv[]) {
259 VbPrivateKey* signing_private_key = NULL;
260 VbPublicKey* signing_public_key = NULL;
261 int signing_key_algorithm;
262
263 VbPublicKey* data_public_key = NULL;
264 int data_key_algorithm;
265
266 int error_code = 0;
267
268 if(argc != 7) {
269 fprintf(stderr, "Usage: %s <signing_key_algorithm> <data_key_algorithm>"
270 " <signing key> <processed signing pubkey>"
271 " <data key> <processed data pubkey>\n", argv[0]);
272 return -1;
273 }
274
275 /* Read verification keys and create a test image. */
276 signing_key_algorithm = atoi(argv[1]);
277 data_key_algorithm = atoi(argv[2]);
278
Bill Richardsona08b5c92010-06-30 21:59:43 -0700279 signing_private_key = PrivateKeyReadPem(argv[3], signing_key_algorithm);
Randall Spanglerd1836442010-06-10 09:59:04 -0700280 if (!signing_private_key) {
281 fprintf(stderr, "Error reading signing_private_key");
282 return 1;
283 }
284
Randall Spanglerd55c6452010-06-10 12:43:51 -0700285 signing_public_key = PublicKeyReadKeyb(argv[4], signing_key_algorithm, 1);
Randall Spanglerd1836442010-06-10 09:59:04 -0700286 if (!signing_public_key) {
287 fprintf(stderr, "Error reading signing_public_key");
288 return 1;
289 }
290
Randall Spanglerd55c6452010-06-10 12:43:51 -0700291 data_public_key = PublicKeyReadKeyb(argv[6], data_key_algorithm, 1);
Randall Spanglerd1836442010-06-10 09:59:04 -0700292 if (!data_public_key) {
293 fprintf(stderr, "Error reading data_public_key");
294 return 1;
295 }
296
Randall Spangler729b8722010-06-11 11:16:20 -0700297 KeyBlockVerifyTest(signing_public_key, signing_private_key, data_public_key);
Randall Spanglerd1836442010-06-10 09:59:04 -0700298 VerifyFirmwarePreambleTest(signing_public_key, signing_private_key,
299 data_public_key);
300
301 if (signing_public_key)
Randall Spangler32a65262011-06-27 10:49:11 -0700302 free(signing_public_key);
Randall Spanglerd1836442010-06-10 09:59:04 -0700303 if (signing_private_key)
Randall Spangler32a65262011-06-27 10:49:11 -0700304 free(signing_private_key);
Randall Spanglerd1836442010-06-10 09:59:04 -0700305 if (data_public_key)
Randall Spangler32a65262011-06-27 10:49:11 -0700306 free(data_public_key);
Randall Spanglerd1836442010-06-10 09:59:04 -0700307
308 return error_code;
309}