Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 1 | /* Copyright (c) 2013 The Chromium OS Authors. All rights reserved. |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 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 | |
Bill Richardson | 0c3ba24 | 2013-03-29 11:09:30 -0700 | [diff] [blame] | 8 | #include <stdint.h> |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 9 | #include <stdio.h> |
| 10 | #include <stdlib.h> |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 11 | #include <string.h> |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 12 | |
| 13 | #include "cryptolib.h" |
| 14 | #include "file_keys.h" |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 15 | #include "host_common.h" |
| 16 | #include "test_common.h" |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 17 | #include "vboot_common.h" |
| 18 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 19 | static void VerifyPublicKeyToRSA(const VbPublicKey *orig_key) |
| 20 | { |
| 21 | RSAPublicKey *rsa; |
| 22 | VbPublicKey *key = PublicKeyAlloc(orig_key->key_size, 0, 0); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 23 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 24 | PublicKeyCopy(key, orig_key); |
| 25 | key->algorithm = kNumAlgorithms; |
| 26 | TEST_EQ((size_t)PublicKeyToRSA(key), 0, |
| 27 | "PublicKeyToRSA() invalid algorithm"); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 28 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 29 | PublicKeyCopy(key, orig_key); |
| 30 | key->key_size -= 1; |
| 31 | TEST_EQ((size_t)PublicKeyToRSA(key), 0, |
| 32 | "PublicKeyToRSA() invalid size"); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 33 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 34 | rsa = PublicKeyToRSA(orig_key); |
| 35 | TEST_NEQ((size_t)rsa, 0, "PublicKeyToRSA() ok"); |
| 36 | if (rsa) { |
| 37 | TEST_EQ((int)rsa->algorithm, (int)key->algorithm, |
| 38 | "PublicKeyToRSA() algorithm"); |
| 39 | RSAPublicKeyFree(rsa); |
| 40 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 41 | } |
| 42 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 43 | static void VerifyDataTest(const VbPublicKey *public_key, |
| 44 | const VbPrivateKey *private_key) |
| 45 | { |
| 46 | const uint8_t test_data[] = "This is some test data to sign."; |
| 47 | const uint64_t test_size = sizeof(test_data); |
| 48 | VbSignature *sig; |
| 49 | RSAPublicKey *rsa; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 50 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 51 | sig = CalculateSignature(test_data, test_size, private_key); |
| 52 | TEST_PTR_NEQ(sig, 0, "VerifyData() calculate signature"); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 53 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 54 | rsa = PublicKeyToRSA(public_key); |
| 55 | TEST_PTR_NEQ(rsa, 0, "VerifyData() calculate rsa"); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 56 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 57 | if (!sig || !rsa) |
| 58 | return; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 59 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 60 | TEST_EQ(VerifyData(test_data, test_size, sig, rsa), 0, |
| 61 | "VerifyData() ok"); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 62 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 63 | sig->sig_size -= 16; |
| 64 | TEST_EQ(VerifyData(test_data, test_size, sig, rsa), 1, |
| 65 | "VerifyData() wrong sig size"); |
| 66 | sig->sig_size += 16; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 67 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 68 | TEST_EQ(VerifyData(test_data, test_size - 1, sig, rsa), 1, |
| 69 | "VerifyData() input buffer too small"); |
Randall Spangler | 87c13d8 | 2010-07-19 10:35:40 -0700 | [diff] [blame] | 70 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 71 | GetSignatureData(sig)[0] ^= 0x5A; |
| 72 | TEST_EQ(VerifyData(test_data, test_size, sig, rsa), 1, |
| 73 | "VerifyData() wrong sig"); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 74 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 75 | RSAPublicKeyFree(rsa); |
| 76 | free(sig); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 77 | } |
| 78 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 79 | static void VerifyDigestTest(const VbPublicKey *public_key, |
| 80 | const VbPrivateKey *private_key) |
| 81 | { |
| 82 | const uint8_t test_data[] = "This is some other test data to sign."; |
| 83 | VbSignature *sig; |
| 84 | RSAPublicKey *rsa; |
| 85 | uint8_t *digest; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 86 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 87 | sig = CalculateSignature(test_data, sizeof(test_data), private_key); |
| 88 | rsa = PublicKeyToRSA(public_key); |
| 89 | digest = DigestBuf(test_data, sizeof(test_data), |
| 90 | (int)public_key->algorithm); |
| 91 | TEST_NEQ(sig && rsa && digest, 0, "VerifyData() prerequisites"); |
| 92 | if (!sig || !rsa || !digest) |
| 93 | return; |
Randall Spangler | 39ed88e | 2010-06-15 14:53:01 -0700 | [diff] [blame] | 94 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 95 | TEST_EQ(VerifyDigest(digest, sig, rsa), 0, "VerifyDigest() ok"); |
Randall Spangler | 39ed88e | 2010-06-15 14:53:01 -0700 | [diff] [blame] | 96 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 97 | GetSignatureData(sig)[0] ^= 0x5A; |
| 98 | TEST_EQ(VerifyDigest(digest, sig, rsa), 1, "VerifyDigest() wrong sig"); |
Randall Spangler | 39ed88e | 2010-06-15 14:53:01 -0700 | [diff] [blame] | 99 | |
Randall Spangler | 3b806ea | 2013-01-25 13:56:55 -0800 | [diff] [blame] | 100 | sig->sig_size = 1; |
| 101 | TEST_EQ(VerifyDigest(digest, sig, rsa), 1, "VerifyDigest() sig size"); |
| 102 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 103 | RSAPublicKeyFree(rsa); |
| 104 | free(sig); |
Simon Glass | 2500185 | 2013-08-16 02:47:57 -0600 | [diff] [blame] | 105 | VbExFree(digest); |
Randall Spangler | 39ed88e | 2010-06-15 14:53:01 -0700 | [diff] [blame] | 106 | } |
| 107 | |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 108 | static void ReSignKernelPreamble(VbKernelPreambleHeader *h, |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 109 | const VbPrivateKey *key) |
| 110 | { |
| 111 | VbSignature *sig = CalculateSignature((const uint8_t *)h, |
| 112 | h->preamble_signature.data_size, key); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 113 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 114 | SignatureCopy(&h->preamble_signature, sig); |
| 115 | free(sig); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 116 | } |
| 117 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 118 | static void VerifyKernelPreambleTest(const VbPublicKey *public_key, |
| 119 | const VbPrivateKey *private_key) |
| 120 | { |
| 121 | VbKernelPreambleHeader *hdr; |
| 122 | VbKernelPreambleHeader *h; |
| 123 | RSAPublicKey *rsa; |
| 124 | unsigned hsize; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 125 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 126 | /* Create a dummy signature */ |
| 127 | VbSignature *body_sig = SignatureAlloc(56, 78); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 128 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 129 | rsa = PublicKeyToRSA(public_key); |
| 130 | hdr = CreateKernelPreamble(0x1234, 0x100000, 0x300000, 0x4000, body_sig, |
Furquan Shaikh | 80e779d | 2015-02-03 15:34:29 -0800 | [diff] [blame] | 131 | 0, 0, 0, 0, private_key); |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 132 | TEST_NEQ(hdr && rsa, 0, "VerifyKernelPreamble() prerequisites"); |
| 133 | if (!hdr) |
| 134 | return; |
| 135 | hsize = (unsigned) hdr->preamble_size; |
| 136 | h = (VbKernelPreambleHeader *)malloc(hsize + 16384); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 137 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 138 | TEST_EQ(VerifyKernelPreamble(hdr, hsize, rsa), 0, |
| 139 | "VerifyKernelPreamble() ok using key"); |
| 140 | TEST_NEQ(VerifyKernelPreamble(hdr, hsize - 1, rsa), 0, |
| 141 | "VerifyKernelPreamble() size--"); |
Randall Spangler | 3b806ea | 2013-01-25 13:56:55 -0800 | [diff] [blame] | 142 | TEST_NEQ(VerifyKernelPreamble(hdr, 4, rsa), 0, |
| 143 | "VerifyKernelPreamble() size tiny"); |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 144 | TEST_EQ(VerifyKernelPreamble(hdr, hsize + 1, rsa), 0, |
| 145 | "VerifyKernelPreamble() size++"); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 146 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 147 | /* Care about major version but not minor */ |
| 148 | Memcpy(h, hdr, hsize); |
| 149 | h->header_version_major++; |
| 150 | ReSignKernelPreamble(h, private_key); |
| 151 | TEST_NEQ(VerifyKernelPreamble(h, hsize, rsa), 0, |
| 152 | "VerifyKernelPreamble() major++"); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 153 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 154 | Memcpy(h, hdr, hsize); |
| 155 | h->header_version_major--; |
| 156 | ReSignKernelPreamble(h, private_key); |
| 157 | TEST_NEQ(VerifyKernelPreamble(h, hsize, rsa), 0, |
| 158 | "VerifyKernelPreamble() major--"); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 159 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 160 | Memcpy(h, hdr, hsize); |
| 161 | h->header_version_minor++; |
| 162 | ReSignKernelPreamble(h, private_key); |
| 163 | TEST_EQ(VerifyKernelPreamble(h, hsize, rsa), 0, |
| 164 | "VerifyKernelPreamble() minor++"); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 165 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 166 | Memcpy(h, hdr, hsize); |
| 167 | h->header_version_minor--; |
| 168 | ReSignKernelPreamble(h, private_key); |
| 169 | TEST_EQ(VerifyKernelPreamble(h, hsize, rsa), 0, |
| 170 | "VerifyKernelPreamble() minor--"); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 171 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 172 | /* Check signature */ |
| 173 | Memcpy(h, hdr, hsize); |
| 174 | h->preamble_signature.sig_offset = hsize; |
| 175 | ReSignKernelPreamble(h, private_key); |
| 176 | TEST_NEQ(VerifyKernelPreamble(h, hsize, rsa), 0, |
| 177 | "VerifyKernelPreamble() sig off end"); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 178 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 179 | Memcpy(h, hdr, hsize); |
| 180 | h->preamble_signature.sig_size--; |
| 181 | ReSignKernelPreamble(h, private_key); |
| 182 | TEST_NEQ(VerifyKernelPreamble(h, hsize, rsa), 0, |
| 183 | "VerifyKernelPreamble() sig too small"); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 184 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 185 | Memcpy(h, hdr, hsize); |
| 186 | GetSignatureData(&h->body_signature)[0] ^= 0x34; |
| 187 | TEST_NEQ(VerifyKernelPreamble(h, hsize, rsa), 0, |
| 188 | "VerifyKernelPreamble() sig mismatch"); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 189 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 190 | /* Check that we signed header and body sig */ |
| 191 | Memcpy(h, hdr, hsize); |
| 192 | h->preamble_signature.data_size = 4; |
| 193 | h->body_signature.sig_offset = 0; |
| 194 | h->body_signature.sig_size = 0; |
| 195 | ReSignKernelPreamble(h, private_key); |
| 196 | TEST_NEQ(VerifyKernelPreamble(h, hsize, rsa), 0, |
| 197 | "VerifyKernelPreamble() didn't sign header"); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 198 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 199 | Memcpy(h, hdr, hsize); |
| 200 | h->body_signature.sig_offset = hsize; |
| 201 | ReSignKernelPreamble(h, private_key); |
| 202 | TEST_NEQ(VerifyKernelPreamble(h, hsize, rsa), 0, |
| 203 | "VerifyKernelPreamble() body sig off end"); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 204 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 205 | /* TODO: verify parser can support a bigger header. */ |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 206 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 207 | free(h); |
| 208 | RSAPublicKeyFree(rsa); |
| 209 | free(hdr); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 210 | } |
| 211 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 212 | int test_algorithm(int key_algorithm, const char *keys_dir) |
| 213 | { |
| 214 | char filename[1024]; |
| 215 | int rsa_len = siglen_map[key_algorithm] * 8; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 216 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 217 | VbPrivateKey *private_key = NULL; |
| 218 | VbPublicKey *public_key = NULL; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 219 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 220 | printf("***Testing algorithm: %s\n", algo_strings[key_algorithm]); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 221 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 222 | sprintf(filename, "%s/key_rsa%d.pem", keys_dir, rsa_len); |
| 223 | private_key = PrivateKeyReadPem(filename, key_algorithm); |
| 224 | if (!private_key) { |
| 225 | fprintf(stderr, "Error reading private_key: %s\n", filename); |
| 226 | return 1; |
| 227 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 228 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 229 | sprintf(filename, "%s/key_rsa%d.keyb", keys_dir, rsa_len); |
| 230 | public_key = PublicKeyReadKeyb(filename, key_algorithm, 1); |
| 231 | if (!public_key) { |
| 232 | fprintf(stderr, "Error reading public_key: %s\n", filename); |
| 233 | return 1; |
| 234 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 235 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 236 | VerifyPublicKeyToRSA(public_key); |
| 237 | VerifyDataTest(public_key, private_key); |
| 238 | VerifyDigestTest(public_key, private_key); |
| 239 | VerifyKernelPreambleTest(public_key, private_key); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 240 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 241 | if (public_key) |
| 242 | free(public_key); |
| 243 | if (private_key) |
| 244 | free(private_key); |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 245 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 246 | return 0; |
| 247 | } |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 248 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 249 | /* |
| 250 | * Test only the algorithms we use: |
| 251 | * 4 (rsa2048 sha256) |
| 252 | * 7 (rsa4096 sha256) |
| 253 | * 11 (rsa8192 sha512) |
| 254 | */ |
| 255 | const int key_algs[] = {4, 7, 11}; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 256 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 257 | int main(int argc, char *argv[]) { |
| 258 | if (argc == 2) { |
| 259 | int i; |
| 260 | |
| 261 | for (i = 0; i < ARRAY_SIZE(key_algs); i++) { |
| 262 | if (test_algorithm(key_algs[i], argv[1])) |
| 263 | return 1; |
| 264 | } |
| 265 | |
| 266 | } else if (argc == 3 && !strcasecmp(argv[2], "--all")) { |
| 267 | /* Test all the algorithms */ |
| 268 | int alg; |
| 269 | |
| 270 | for (alg = 0; alg < kNumAlgorithms; alg++) { |
| 271 | if (test_algorithm(alg, argv[1])) |
| 272 | return 1; |
| 273 | } |
| 274 | |
| 275 | } else { |
| 276 | fprintf(stderr, "Usage: %s <keys_dir> [--all]", argv[0]); |
| 277 | return -1; |
| 278 | } |
| 279 | |
Simon Glass | 2500185 | 2013-08-16 02:47:57 -0600 | [diff] [blame] | 280 | if (vboot_api_stub_check_memory()) |
| 281 | return 255; |
| 282 | |
Randall Spangler | e061a25 | 2013-01-22 15:34:07 -0800 | [diff] [blame] | 283 | return gTestSuccess ? 0 : 255; |
Randall Spangler | d183644 | 2010-06-10 09:59:04 -0700 | [diff] [blame] | 284 | } |