blob: df4fdc216938f6e8369da595f858fac33b9b347f [file] [log] [blame]
Randall Spangler91db2322013-01-24 10:42:13 -08001/* Copyright (c) 2013 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 *
Randall Spangler68f60492011-08-24 15:38:20 -07005 * Tests for firmware vboot_common.c
Randall Spanglerd1836442010-06-10 09:59:04 -07006 */
7
8#include <stdio.h>
9#include <stdlib.h>
10
11#include "test_common.h"
Randall Spangler68f60492011-08-24 15:38:20 -070012#include "utility.h"
Randall Spanglerd1836442010-06-10 09:59:04 -070013#include "vboot_common.h"
14
Randall Spangler91db2322013-01-24 10:42:13 -080015/*
16 * Test struct packing for vboot_struct.h structs which are passed between
17 * firmware and OS, or passed between different phases of firmware.
18 */
19static void StructPackingTest(void)
20{
21 TEST_EQ(EXPECTED_VBPUBLICKEY_SIZE, sizeof(VbPublicKey),
22 "sizeof(VbPublicKey)");
23 TEST_EQ(EXPECTED_VBSIGNATURE_SIZE, sizeof(VbSignature),
24 "sizeof(VbSignature)");
25 TEST_EQ(EXPECTED_VBKEYBLOCKHEADER_SIZE, sizeof(VbKeyBlockHeader),
26 "sizeof(VbKeyBlockHeader)");
27 TEST_EQ(EXPECTED_VBFIRMWAREPREAMBLEHEADER2_0_SIZE,
28 sizeof(VbFirmwarePreambleHeader2_0),
29 "sizeof(VbFirmwarePreambleHeader2_0)");
30 TEST_EQ(EXPECTED_VBFIRMWAREPREAMBLEHEADER2_1_SIZE,
31 sizeof(VbFirmwarePreambleHeader),
32 "sizeof(VbFirmwarePreambleHeader)");
33 TEST_EQ(EXPECTED_VBKERNELPREAMBLEHEADER_SIZE,
34 sizeof(VbKernelPreambleHeader),
35 "sizeof(VbKernelPreambleHeader)");
Randall Spanglerf02bbb42011-08-24 14:16:01 -070036
Randall Spangler91db2322013-01-24 10:42:13 -080037 TEST_EQ(VB_SHARED_DATA_HEADER_SIZE_V1,
38 (long)&((VbSharedDataHeader*)NULL)->recovery_reason,
39 "sizeof(VbSharedDataHeader) V1");
Randall Spanglerf02bbb42011-08-24 14:16:01 -070040
Randall Spangler91db2322013-01-24 10:42:13 -080041 TEST_EQ(VB_SHARED_DATA_HEADER_SIZE_V2,
42 sizeof(VbSharedDataHeader),
43 "sizeof(VbSharedDataHeader) V2");
Randall Spanglerf02bbb42011-08-24 14:16:01 -070044}
45
Randall Spangler68f60492011-08-24 15:38:20 -070046/* Test array size macro */
Randall Spangler91db2322013-01-24 10:42:13 -080047static void ArraySizeTest(void)
48{
49 uint8_t arr1[12];
50 uint32_t arr2[7];
51 uint64_t arr3[9];
Randall Spanglerf02bbb42011-08-24 14:16:01 -070052
Randall Spangler91db2322013-01-24 10:42:13 -080053 TEST_EQ(ARRAY_SIZE(arr1), 12, "ARRAYSIZE(uint8_t)");
54 TEST_EQ(ARRAY_SIZE(arr2), 7, "ARRAYSIZE(uint32_t)");
55 TEST_EQ(ARRAY_SIZE(arr3), 9, "ARRAYSIZE(uint64_t)");
Randall Spangler81d09962010-06-23 10:15:38 -070056}
57
Randall Spanglerd1836442010-06-10 09:59:04 -070058/* Helper functions not dependent on specific key sizes */
Randall Spangler91db2322013-01-24 10:42:13 -080059static void VerifyHelperFunctions(void)
60{
61 {
62 uint8_t *p = (uint8_t *)VerifyHelperFunctions;
63 TEST_EQ((int)OffsetOf(p, p), 0, "OffsetOf() equal");
64 TEST_EQ((int)OffsetOf(p, p+10), 10, "OffsetOf() positive");
65 TEST_EQ((int)OffsetOf(p, p+0x12345678), 0x12345678,
66 "OffsetOf() large");
67 }
Randall Spanglerd1836442010-06-10 09:59:04 -070068
Randall Spangler91db2322013-01-24 10:42:13 -080069 {
70 VbPublicKey k = {sizeof(k), 2, 3, 4};
71 TEST_EQ((int)OffsetOf(&k, GetPublicKeyData(&k)), sizeof(k),
72 "GetPublicKeyData() adjacent");
73 TEST_EQ((int)OffsetOf(&k, GetPublicKeyDataC(&k)), sizeof(k),
74 "GetPublicKeyDataC() adjacent");
75 }
Randall Spanglerd1836442010-06-10 09:59:04 -070076
Randall Spangler91db2322013-01-24 10:42:13 -080077 {
78 VbPublicKey k = {123, 2, 3, 4};
79 TEST_EQ((int)OffsetOf(&k, GetPublicKeyData(&k)), 123,
80 "GetPublicKeyData() spaced");
81 TEST_EQ((int)OffsetOf(&k, GetPublicKeyDataC(&k)), 123,
82 "GetPublicKeyDataC() spaced");
83 }
Randall Spanglerd1836442010-06-10 09:59:04 -070084
Randall Spangler91db2322013-01-24 10:42:13 -080085 {
86 uint8_t *p = (uint8_t *)VerifyHelperFunctions;
87 TEST_EQ(VerifyMemberInside(p, 20, p, 6, 11, 3), 0,
88 "MemberInside ok 1");
89 TEST_EQ(VerifyMemberInside(p, 20, p+4, 4, 8, 4), 0,
90 "MemberInside ok 2");
91 TEST_EQ(VerifyMemberInside(p, 20, p-4, 4, 8, 4), 1,
92 "MemberInside member before parent");
93 TEST_EQ(VerifyMemberInside(p, 20, p+20, 4, 8, 4), 1,
94 "MemberInside member after parent");
95 TEST_EQ(VerifyMemberInside(p, 20, p, 21, 0, 0), 1,
96 "MemberInside member too big");
97 TEST_EQ(VerifyMemberInside(p, 20, p, 4, 21, 0), 1,
98 "MemberInside data after parent");
99 TEST_EQ(VerifyMemberInside(p, 20, p, 4, (uint64_t)-1, 0), 1,
100 "MemberInside data before parent");
101 TEST_EQ(VerifyMemberInside(p, 20, p, 4, 4, 17), 1,
102 "MemberInside data too big");
Randall Spangler3b806ea2013-01-25 13:56:55 -0800103 TEST_EQ(VerifyMemberInside(p, (uint64_t)-1,
104 p+(uint64_t)-10, 12, 5, 0), 1,
105 "MemberInside wraparound 1");
106 TEST_EQ(VerifyMemberInside(p, (uint64_t)-1,
107 p+(uint64_t)-10, 5, 12, 0), 1,
108 "MemberInside wraparound 2");
109 TEST_EQ(VerifyMemberInside(p, (uint64_t)-1,
110 p+(uint64_t)-10, 5, 0, 12), 1,
111 "MemberInside wraparound 3");
Randall Spangler91db2322013-01-24 10:42:13 -0800112 }
Randall Spanglerd1836442010-06-10 09:59:04 -0700113
Randall Spangler91db2322013-01-24 10:42:13 -0800114 {
115 VbPublicKey k = {sizeof(k), 128, 0, 0};
116 TEST_EQ(VerifyPublicKeyInside(&k, sizeof(k)+128, &k), 0,
117 "PublicKeyInside ok 1");
118 TEST_EQ(VerifyPublicKeyInside(&k - 1, 2*sizeof(k)+128, &k), 0,
119 "PublicKeyInside ok 2");
120 TEST_EQ(VerifyPublicKeyInside(&k, 128, &k), 1,
121 "PublicKeyInside key too big");
122 }
Randall Spanglerd1836442010-06-10 09:59:04 -0700123
Randall Spangler91db2322013-01-24 10:42:13 -0800124 {
125 VbPublicKey k = {100, 4, 0, 0};
126 TEST_EQ(VerifyPublicKeyInside(&k, 99, &k), 1,
127 "PublicKeyInside offset too big");
128 }
129
130 {
131 VbSignature s = {sizeof(s), 128, 2000};
132 TEST_EQ(VerifySignatureInside(&s, sizeof(s)+128, &s), 0,
133 "SignatureInside ok 1");
134 TEST_EQ(VerifySignatureInside(&s - 1, 2*sizeof(s)+128, &s), 0,
135 "SignatureInside ok 2");
136 TEST_EQ(VerifySignatureInside(&s, 128, &s), 1,
137 "SignatureInside sig too big");
138 }
139
140 {
141 VbSignature s = {100, 4, 0};
142 TEST_EQ(VerifySignatureInside(&s, 99, &s), 1,
143 "SignatureInside offset too big");
144 }
Randall Spanglerd1836442010-06-10 09:59:04 -0700145}
146
Randall Spangler68f60492011-08-24 15:38:20 -0700147/* Public key utility functions */
Randall Spangler91db2322013-01-24 10:42:13 -0800148static void PublicKeyTest(void)
149{
150 VbPublicKey k[3];
151 VbPublicKey j[5];
Randall Spangler68f60492011-08-24 15:38:20 -0700152
Randall Spangler91db2322013-01-24 10:42:13 -0800153 /* Fill some bits of the public key data */
154 Memset(j, 0, sizeof(j));
155 Memset(k, 0x42, sizeof(k));
156 k[1].key_size = 12345;
157 k[2].key_version = 67;
Randall Spangler68f60492011-08-24 15:38:20 -0700158
Randall Spangler91db2322013-01-24 10:42:13 -0800159 PublicKeyInit(k, (uint8_t*)(k + 1), 2 * sizeof(VbPublicKey));
160 TEST_EQ(k->key_offset, sizeof(VbPublicKey), "PublicKeyInit key_offset");
161 TEST_EQ(k->key_size, 2 * sizeof(VbPublicKey), "PublicKeyInit key_size");
162 TEST_EQ(k->algorithm, kNumAlgorithms, "PublicKeyInit algorithm");
163 TEST_EQ(k->key_version, 0, "PublicKeyInit key_version");
Randall Spangler68f60492011-08-24 15:38:20 -0700164
Randall Spangler91db2322013-01-24 10:42:13 -0800165 /* Set algorithm and version, so we can tell if they get copied */
166 k->algorithm = 3;
167 k->key_version = 21;
Randall Spangler68f60492011-08-24 15:38:20 -0700168
Randall Spangler91db2322013-01-24 10:42:13 -0800169 /* Copying to a smaller destination should fail */
170 PublicKeyInit(j, (uint8_t*)(j + 1), 2 * sizeof(VbPublicKey) - 1);
171 TEST_NEQ(0, PublicKeyCopy(j, k), "PublicKeyCopy too small");
Randall Spangler68f60492011-08-24 15:38:20 -0700172
Randall Spangler91db2322013-01-24 10:42:13 -0800173 /* Copying to same or larger size should succeed */
174 PublicKeyInit(j, (uint8_t*)(j + 2), 2 * sizeof(VbPublicKey) + 1);
175 TEST_EQ(0, PublicKeyCopy(j, k), "PublicKeyCopy same");
176 /* Offset in destination shouldn't have been modified */
177 TEST_EQ(j->key_offset, 2 * sizeof(VbPublicKey),
178 "PublicKeyCopy key_offset");
179 /* Size should have been reduced to match the source */
180 TEST_EQ(k->key_size, 2 * sizeof(VbPublicKey), "PublicKeyCopy key_size");
181 /* Other fields should have been copied */
182 TEST_EQ(k->algorithm, j->algorithm, "PublicKeyCopy algorithm");
183 TEST_EQ(k->key_version, j->key_version, "PublicKeyCopy key_version");
184 /* Data should have been copied */
185 TEST_EQ(0,
186 Memcmp(GetPublicKeyData(k), GetPublicKeyData(j), k->key_size),
187 "PublicKeyCopy data");
Randall Spangler68f60492011-08-24 15:38:20 -0700188}
189
Randall Spangler68f60492011-08-24 15:38:20 -0700190/* VbSharedData utility tests */
Randall Spangler91db2322013-01-24 10:42:13 -0800191static void VbSharedDataTest(void)
192{
193 uint8_t buf[VB_SHARED_DATA_MIN_SIZE + 1];
194 VbSharedDataHeader* d = (VbSharedDataHeader*)buf;
Randall Spangler68f60492011-08-24 15:38:20 -0700195
Randall Spangler91db2322013-01-24 10:42:13 -0800196 TEST_NEQ(VBOOT_SUCCESS,
197 VbSharedDataInit(d, sizeof(VbSharedDataHeader) - 1),
198 "VbSharedDataInit too small");
199 TEST_NEQ(VBOOT_SUCCESS,
200 VbSharedDataInit(d, VB_SHARED_DATA_MIN_SIZE - 1),
201 "VbSharedDataInit too small 2");
202 TEST_NEQ(VBOOT_SUCCESS,
203 VbSharedDataInit(NULL, VB_SHARED_DATA_MIN_SIZE),
204 "VbSharedDataInit null");
Randall Spangler68f60492011-08-24 15:38:20 -0700205
Randall Spangler91db2322013-01-24 10:42:13 -0800206 Memset(buf, 0x68, sizeof(buf));
207 TEST_EQ(VBOOT_SUCCESS, VbSharedDataInit(d, VB_SHARED_DATA_MIN_SIZE),
208 "VbSharedDataInit");
209
210 /* Check fields that should have been initialized */
211 TEST_EQ(d->magic, VB_SHARED_DATA_MAGIC, "VbSharedDataInit magic");
212 TEST_EQ(d->struct_version, VB_SHARED_DATA_VERSION,
213 "VbSharedDataInit version");
214 TEST_EQ(d->struct_size, sizeof(VbSharedDataHeader),
215 "VbSharedDataInit struct_size");
216 TEST_EQ(d->data_size, VB_SHARED_DATA_MIN_SIZE,
217 "VbSharedDataInit data_size");
218 TEST_EQ(d->data_used, d->struct_size, "VbSharedDataInit data_used");
219 TEST_EQ(d->firmware_index, 0xFF, "VbSharedDataInit firmware index");
220
221 /* Sample some other fields to make sure they were zeroed */
222 TEST_EQ(d->flags, 0, "VbSharedDataInit firmware flags");
223 TEST_EQ(d->lk_call_count, 0, "VbSharedDataInit lk_call_count");
224 TEST_EQ(d->kernel_version_lowest, 0,
225 "VbSharedDataInit kernel_version_lowest");
Randall Spangler3b806ea2013-01-25 13:56:55 -0800226
227 TEST_NEQ(VBOOT_SUCCESS, VbSharedDataSetKernelKey(NULL, NULL),
228 "VbSharedDataSetKernelKey null");
Randall Spangler68f60492011-08-24 15:38:20 -0700229}
230
Randall Spangler91db2322013-01-24 10:42:13 -0800231int main(int argc, char* argv[])
232{
233 StructPackingTest();
234 ArraySizeTest();
235 VerifyHelperFunctions();
236 PublicKeyTest();
237 VbSharedDataTest();
Randall Spanglerd1836442010-06-10 09:59:04 -0700238
Randall Spangler91db2322013-01-24 10:42:13 -0800239 return gTestSuccess ? 0 : 255;
Randall Spanglerd1836442010-06-10 09:59:04 -0700240}