vb20_api_kernel_tests.c 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447
  1. /* Copyright 2015 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 kernel verification library, api layer
  6. */
  7. #include <stdio.h>
  8. #include "2sysincludes.h"
  9. #include "2api.h"
  10. #include "2common.h"
  11. #include "2misc.h"
  12. #include "2nvstorage.h"
  13. #include "2rsa.h"
  14. #include "2secdata.h"
  15. #include "vb2_common.h"
  16. #include "test_common.h"
  17. /* Common context for tests */
  18. static uint8_t workbuf[VB2_KERNEL_WORKBUF_RECOMMENDED_SIZE]
  19. __attribute__ ((aligned (VB2_WORKBUF_ALIGN)));
  20. static struct vb2_workbuf wb;
  21. static struct vb2_context cc;
  22. static struct vb2_shared_data *sd;
  23. static struct vb2_fw_preamble *fwpre;
  24. static struct vb2_kernel_preamble *kpre;
  25. static struct vb2_packed_key *kdkey;
  26. static const char fw_kernel_key_data[36] = "Test kernel key data";
  27. static char kernel_data[0x4008] = "Sure it's a kernel...";
  28. /* Mocked function data */
  29. static struct {
  30. struct vb2_gbb_header h;
  31. struct vb2_packed_key recovery_key;
  32. char recovery_key_data[32];
  33. } mock_gbb;
  34. static int mock_read_res_fail_on_call;
  35. static int mock_unpack_key_retval;
  36. static int mock_read_gbb_header_retval;
  37. static int mock_load_kernel_keyblock_retval;
  38. static int mock_load_kernel_preamble_retval;
  39. /* Type of test to reset for */
  40. enum reset_type {
  41. FOR_PHASE1,
  42. FOR_PHASE2,
  43. FOR_PHASE3,
  44. };
  45. static void reset_common_data(enum reset_type t)
  46. {
  47. struct vb2_packed_key *k;
  48. memset(workbuf, 0xaa, sizeof(workbuf));
  49. memset(&cc, 0, sizeof(cc));
  50. cc.workbuf = workbuf;
  51. cc.workbuf_size = sizeof(workbuf);
  52. vb2_workbuf_from_ctx(&cc, &wb);
  53. vb2_init_context(&cc);
  54. sd = vb2_get_sd(&cc);
  55. vb2_nv_init(&cc);
  56. vb2_secdatak_create(&cc);
  57. vb2_secdatak_init(&cc);
  58. vb2_secdatak_set(&cc, VB2_SECDATAK_VERSIONS, 0x20002);
  59. mock_read_res_fail_on_call = 0;
  60. mock_unpack_key_retval = VB2_SUCCESS;
  61. mock_read_gbb_header_retval = VB2_SUCCESS;
  62. mock_load_kernel_keyblock_retval = VB2_SUCCESS;
  63. mock_load_kernel_preamble_retval = VB2_SUCCESS;
  64. /* Recovery key in mock GBB */
  65. mock_gbb.recovery_key.algorithm = 11;
  66. mock_gbb.recovery_key.key_offset =
  67. vb2_offset_of(&mock_gbb.recovery_key,
  68. &mock_gbb.recovery_key_data);
  69. mock_gbb.recovery_key.key_size = sizeof(mock_gbb.recovery_key_data);
  70. strcpy(mock_gbb.recovery_key_data, "The recovery key");
  71. mock_gbb.h.recovery_key_offset =
  72. vb2_offset_of(&mock_gbb, &mock_gbb.recovery_key);
  73. mock_gbb.h.recovery_key_size =
  74. mock_gbb.recovery_key.key_offset +
  75. mock_gbb.recovery_key.key_size;
  76. if (t == FOR_PHASE1) {
  77. uint8_t *kdata;
  78. /* Create mock firmware preamble in the context */
  79. sd->workbuf_preamble_offset = cc.workbuf_used;
  80. fwpre = (struct vb2_fw_preamble *)
  81. (cc.workbuf + sd->workbuf_preamble_offset);
  82. k = &fwpre->kernel_subkey;
  83. kdata = (uint8_t *)fwpre + sizeof(*fwpre);
  84. memcpy(kdata, fw_kernel_key_data, sizeof(fw_kernel_key_data));
  85. k->algorithm = 7;
  86. k->key_offset = vb2_offset_of(k, kdata);
  87. k->key_size = sizeof(fw_kernel_key_data);
  88. sd->workbuf_preamble_size = sizeof(*fwpre) + k->key_size;
  89. cc.workbuf_used += sd->workbuf_preamble_size;
  90. } else if (t == FOR_PHASE2) {
  91. struct vb2_signature *sig;
  92. struct vb2_digest_context dc;
  93. uint8_t *sdata;
  94. /* Create mock kernel data key */
  95. sd->workbuf_data_key_offset = cc.workbuf_used;
  96. kdkey = (struct vb2_packed_key *)
  97. (cc.workbuf + sd->workbuf_data_key_offset);
  98. kdkey->algorithm = VB2_ALG_RSA2048_SHA256;
  99. sd->workbuf_data_key_size = sizeof(*kdkey);
  100. cc.workbuf_used += sd->workbuf_data_key_size;
  101. /* Create mock kernel preamble in the context */
  102. sd->workbuf_preamble_offset = cc.workbuf_used;
  103. kpre = (struct vb2_kernel_preamble *)
  104. (cc.workbuf + sd->workbuf_preamble_offset);
  105. sdata = (uint8_t *)kpre + sizeof(*kpre);
  106. sig = &kpre->body_signature;
  107. sig->data_size = sizeof(kernel_data);
  108. sig->sig_offset = vb2_offset_of(sig, sdata);
  109. sig->sig_size = VB2_SHA512_DIGEST_SIZE;
  110. vb2_digest_init(&dc, VB2_HASH_SHA256);
  111. vb2_digest_extend(&dc, (const uint8_t *)kernel_data,
  112. sizeof(kernel_data));
  113. vb2_digest_finalize(&dc, sdata, sig->sig_size);
  114. sd->workbuf_preamble_size = sizeof(*kpre) + sig->sig_size;
  115. sd->vblock_preamble_offset =
  116. 0x10000 - sd->workbuf_preamble_size;
  117. cc.workbuf_used += sd->workbuf_preamble_size;
  118. } else {
  119. /* Set flags and versions for roll-forward */
  120. sd->kernel_version = 0x20004;
  121. sd->kernel_version_secdatak = 0x20002;
  122. sd->flags |= VB2_SD_FLAG_KERNEL_SIGNED;
  123. cc.flags |= VB2_CONTEXT_ALLOW_KERNEL_ROLL_FORWARD;
  124. }
  125. };
  126. /* Mocked functions */
  127. int vb2ex_read_resource(struct vb2_context *ctx,
  128. enum vb2_resource_index index,
  129. uint32_t offset,
  130. void *buf,
  131. uint32_t size)
  132. {
  133. uint8_t *rptr;
  134. uint32_t rsize;
  135. if (--mock_read_res_fail_on_call == 0)
  136. return VB2_ERROR_MOCK;
  137. switch(index) {
  138. case VB2_RES_GBB:
  139. rptr = (uint8_t *)&mock_gbb;
  140. rsize = sizeof(mock_gbb);
  141. break;
  142. default:
  143. return VB2_ERROR_EX_READ_RESOURCE_INDEX;
  144. }
  145. if (offset > rsize || offset + size > rsize)
  146. return VB2_ERROR_EX_READ_RESOURCE_SIZE;
  147. memcpy(buf, rptr + offset, size);
  148. return VB2_SUCCESS;
  149. }
  150. int vb2_read_gbb_header(struct vb2_context *ctx, struct vb2_gbb_header *gbb)
  151. {
  152. memcpy(gbb, &mock_gbb.h, sizeof(*gbb));
  153. return mock_read_gbb_header_retval;
  154. }
  155. int vb2_load_kernel_keyblock(struct vb2_context *ctx)
  156. {
  157. return mock_load_kernel_keyblock_retval;
  158. }
  159. int vb2_load_kernel_preamble(struct vb2_context *ctx)
  160. {
  161. return mock_load_kernel_preamble_retval;
  162. }
  163. int vb2_unpack_key_buffer(struct vb2_public_key *key,
  164. const uint8_t *buf,
  165. uint32_t size)
  166. {
  167. const struct vb2_packed_key *k = (const struct vb2_packed_key *)buf;
  168. key->arrsize = 0;
  169. key->hash_alg = vb2_crypto_to_hash(k->algorithm);
  170. return mock_unpack_key_retval;
  171. }
  172. int vb2_verify_digest(const struct vb2_public_key *key,
  173. struct vb2_signature *sig,
  174. const uint8_t *digest,
  175. const struct vb2_workbuf *wb)
  176. {
  177. if (memcmp(digest, (uint8_t *)sig + sig->sig_offset, sig->sig_size))
  178. return VB2_ERROR_VDATA_VERIFY_DIGEST;
  179. return VB2_SUCCESS;
  180. }
  181. /* Tests */
  182. static void phase1_tests(void)
  183. {
  184. struct vb2_packed_key *k;
  185. uint32_t old_preamble_offset;
  186. /* Test successful call */
  187. reset_common_data(FOR_PHASE1);
  188. old_preamble_offset = sd->workbuf_preamble_offset;
  189. TEST_SUCC(vb2api_kernel_phase1(&cc), "phase1 good");
  190. TEST_EQ(sd->workbuf_preamble_size, 0, " no more fw preamble");
  191. /* Make sure normal key was loaded */
  192. TEST_EQ(sd->workbuf_kernel_key_offset, old_preamble_offset,
  193. " workbuf key offset");
  194. k = (struct vb2_packed_key *)
  195. (cc.workbuf + sd->workbuf_kernel_key_offset);
  196. TEST_EQ(sd->workbuf_kernel_key_size, k->key_offset + k->key_size,
  197. " workbuf key size");
  198. TEST_EQ(cc.workbuf_used, sd->workbuf_kernel_key_offset +
  199. sd->workbuf_kernel_key_size, " workbuf used");
  200. TEST_EQ(k->algorithm, 7, " key algorithm");
  201. TEST_EQ(k->key_size, sizeof(fw_kernel_key_data), " key_size");
  202. TEST_EQ(memcmp((uint8_t *)k + k->key_offset, fw_kernel_key_data,
  203. k->key_size), 0, " key data");
  204. TEST_EQ(sd->kernel_version_secdatak, 0x20002, " secdatak version");
  205. /* Test successful call in recovery mode */
  206. reset_common_data(FOR_PHASE1);
  207. cc.flags |= VB2_CONTEXT_RECOVERY_MODE;
  208. /* No preamble loaded in recovery mode */
  209. cc.workbuf_used = old_preamble_offset = sd->workbuf_preamble_offset;
  210. sd->workbuf_preamble_offset = sd->workbuf_preamble_size = 0;
  211. TEST_SUCC(vb2api_kernel_phase1(&cc), "phase1 rec good");
  212. TEST_EQ(sd->workbuf_preamble_size, 0, "no more fw preamble");
  213. /* Make sure recovery key was loaded */
  214. TEST_EQ(sd->workbuf_kernel_key_offset, old_preamble_offset,
  215. " workbuf key offset");
  216. k = (struct vb2_packed_key *)
  217. (cc.workbuf + sd->workbuf_kernel_key_offset);
  218. TEST_EQ(sd->workbuf_kernel_key_size, k->key_offset + k->key_size,
  219. " workbuf key size");
  220. TEST_EQ(cc.workbuf_used, sd->workbuf_kernel_key_offset +
  221. sd->workbuf_kernel_key_size, " workbuf used");
  222. TEST_EQ(k->algorithm, 11, " key algorithm");
  223. TEST_EQ(k->key_size, sizeof(mock_gbb.recovery_key_data), " key_size");
  224. TEST_EQ(memcmp((uint8_t *)k + k->key_offset,
  225. mock_gbb.recovery_key_data, k->key_size), 0,
  226. " key data");
  227. TEST_EQ(sd->kernel_version_secdatak, 0x20002, " secdatak version");
  228. /* Bad secdatak causes failure in normal mode only */
  229. reset_common_data(FOR_PHASE1);
  230. cc.secdatak[0] ^= 0x33;
  231. TEST_EQ(vb2api_kernel_phase1(&cc), VB2_ERROR_SECDATAK_CRC,
  232. "phase1 bad secdata");
  233. reset_common_data(FOR_PHASE1);
  234. cc.secdatak[0] ^= 0x33;
  235. cc.flags |= VB2_CONTEXT_RECOVERY_MODE;
  236. TEST_SUCC(vb2api_kernel_phase1(&cc), "phase1 bad secdata rec");
  237. TEST_EQ(sd->kernel_version_secdatak, 0, " secdatak version");
  238. /* Failures while reading recovery key */
  239. reset_common_data(FOR_PHASE1);
  240. cc.flags |= VB2_CONTEXT_RECOVERY_MODE;
  241. cc.workbuf_used = cc.workbuf_size - sizeof(struct vb2_gbb_header) + 1;
  242. TEST_EQ(vb2api_kernel_phase1(&cc), VB2_ERROR_GBB_WORKBUF,
  243. "phase1 rec workbuf gbb header");
  244. reset_common_data(FOR_PHASE1);
  245. cc.flags |= VB2_CONTEXT_RECOVERY_MODE;
  246. mock_read_gbb_header_retval = VB2_ERROR_MOCK;
  247. TEST_EQ(vb2api_kernel_phase1(&cc), VB2_ERROR_MOCK,
  248. "phase1 rec gbb read header");
  249. reset_common_data(FOR_PHASE1);
  250. cc.flags |= VB2_CONTEXT_RECOVERY_MODE;
  251. mock_gbb.h.recovery_key_size = cc.workbuf_size - 1;
  252. TEST_EQ(vb2api_kernel_phase1(&cc), VB2_ERROR_API_KPHASE1_WORKBUF_REC_KEY,
  253. "phase1 rec workbuf key");
  254. reset_common_data(FOR_PHASE1);
  255. cc.flags |= VB2_CONTEXT_RECOVERY_MODE;
  256. mock_read_res_fail_on_call = 1;
  257. TEST_EQ(vb2api_kernel_phase1(&cc), VB2_ERROR_MOCK,
  258. "phase1 rec gbb read key");
  259. /* Failures while parsing subkey from firmware preamble */
  260. reset_common_data(FOR_PHASE1);
  261. sd->workbuf_preamble_size = 0;
  262. TEST_EQ(vb2api_kernel_phase1(&cc), VB2_ERROR_API_KPHASE1_PREAMBLE,
  263. "phase1 fw preamble");
  264. }
  265. static void load_kernel_vblock_tests(void)
  266. {
  267. reset_common_data(FOR_PHASE1);
  268. TEST_SUCC(vb2api_load_kernel_vblock(&cc), "load vblock good");
  269. reset_common_data(FOR_PHASE1);
  270. mock_load_kernel_keyblock_retval = VB2_ERROR_MOCK;
  271. TEST_EQ(vb2api_load_kernel_vblock(&cc), VB2_ERROR_MOCK,
  272. "load vblock bad keyblock");
  273. reset_common_data(FOR_PHASE1);
  274. mock_load_kernel_preamble_retval = VB2_ERROR_MOCK;
  275. TEST_EQ(vb2api_load_kernel_vblock(&cc), VB2_ERROR_MOCK,
  276. "load vblock bad preamble");
  277. }
  278. static void get_kernel_size_tests(void)
  279. {
  280. uint32_t offs, size;
  281. reset_common_data(FOR_PHASE2);
  282. offs = size = 0;
  283. TEST_SUCC(vb2api_get_kernel_size(&cc, &offs, &size), "get size good");
  284. TEST_EQ(offs, 0x10000, " offset");
  285. TEST_EQ(size, sizeof(kernel_data), " size");
  286. /* Don't need to pass pointers */
  287. reset_common_data(FOR_PHASE2);
  288. TEST_SUCC(vb2api_get_kernel_size(&cc, NULL, NULL), "get size null");
  289. reset_common_data(FOR_PHASE2);
  290. sd->workbuf_preamble_size = 0;
  291. TEST_EQ(vb2api_get_kernel_size(&cc, &offs, &size),
  292. VB2_ERROR_API_GET_KERNEL_SIZE_PREAMBLE,
  293. "get size no preamble");
  294. }
  295. static void verify_kernel_data_tests(void)
  296. {
  297. reset_common_data(FOR_PHASE2);
  298. TEST_SUCC(vb2api_verify_kernel_data(&cc, kernel_data, sizeof(kernel_data)),
  299. "verify data good");
  300. reset_common_data(FOR_PHASE2);
  301. sd->workbuf_preamble_size = 0;
  302. TEST_EQ(vb2api_verify_kernel_data(&cc, kernel_data, sizeof(kernel_data)),
  303. VB2_ERROR_API_VERIFY_KDATA_PREAMBLE, "verify no preamble");
  304. reset_common_data(FOR_PHASE2);
  305. TEST_EQ(vb2api_verify_kernel_data(&cc, kernel_data, sizeof(kernel_data) + 1),
  306. VB2_ERROR_API_VERIFY_KDATA_SIZE, "verify size");
  307. reset_common_data(FOR_PHASE2);
  308. cc.workbuf_used = cc.workbuf_size - sizeof(struct vb2_digest_context) + 1;
  309. TEST_EQ(vb2api_verify_kernel_data(&cc, kernel_data, sizeof(kernel_data)),
  310. VB2_ERROR_API_VERIFY_KDATA_WORKBUF, "verify workbuf");
  311. reset_common_data(FOR_PHASE2);
  312. sd->workbuf_data_key_size = 0;
  313. TEST_EQ(vb2api_verify_kernel_data(&cc, kernel_data, sizeof(kernel_data)),
  314. VB2_ERROR_API_VERIFY_KDATA_KEY, "verify no key");
  315. reset_common_data(FOR_PHASE2);
  316. mock_unpack_key_retval = VB2_ERROR_MOCK;
  317. TEST_EQ(vb2api_verify_kernel_data(&cc, kernel_data, sizeof(kernel_data)),
  318. VB2_ERROR_MOCK, "verify unpack key");
  319. reset_common_data(FOR_PHASE2);
  320. kdkey->algorithm = VB2_ALG_COUNT;
  321. TEST_EQ(vb2api_verify_kernel_data(&cc, kernel_data, sizeof(kernel_data)),
  322. VB2_ERROR_SHA_INIT_ALGORITHM, "verify hash init");
  323. reset_common_data(FOR_PHASE2);
  324. cc.workbuf_used = cc.workbuf_size - sizeof(struct vb2_digest_context) - 4;
  325. TEST_EQ(vb2api_verify_kernel_data(&cc, kernel_data, sizeof(kernel_data)),
  326. VB2_ERROR_API_CHECK_HASH_WORKBUF_DIGEST, "verify hash workbuf");
  327. reset_common_data(FOR_PHASE2);
  328. kernel_data[3] ^= 0xd0;
  329. TEST_EQ(vb2api_verify_kernel_data(&cc, kernel_data, sizeof(kernel_data)),
  330. VB2_ERROR_VDATA_VERIFY_DIGEST, "verify hash digest");
  331. kernel_data[3] ^= 0xd0;
  332. }
  333. static void phase3_tests(void)
  334. {
  335. uint32_t v;
  336. reset_common_data(FOR_PHASE3);
  337. TEST_SUCC(vb2api_kernel_phase3(&cc), "phase3 good");
  338. vb2_secdatak_get(&cc, VB2_SECDATAK_VERSIONS, &v);
  339. TEST_EQ(v, 0x20004, " version");
  340. reset_common_data(FOR_PHASE3);
  341. sd->kernel_version = 0x20001;
  342. TEST_SUCC(vb2api_kernel_phase3(&cc), "phase3 no rollback");
  343. vb2_secdatak_get(&cc, VB2_SECDATAK_VERSIONS, &v);
  344. TEST_EQ(v, 0x20002, " version");
  345. reset_common_data(FOR_PHASE3);
  346. sd->flags &= ~VB2_SD_FLAG_KERNEL_SIGNED;
  347. TEST_SUCC(vb2api_kernel_phase3(&cc), "phase3 unsigned kernel");
  348. vb2_secdatak_get(&cc, VB2_SECDATAK_VERSIONS, &v);
  349. TEST_EQ(v, 0x20002, " version");
  350. reset_common_data(FOR_PHASE3);
  351. cc.flags |= VB2_CONTEXT_RECOVERY_MODE;
  352. TEST_SUCC(vb2api_kernel_phase3(&cc), "phase3 recovery");
  353. vb2_secdatak_get(&cc, VB2_SECDATAK_VERSIONS, &v);
  354. TEST_EQ(v, 0x20002, " version");
  355. reset_common_data(FOR_PHASE3);
  356. cc.flags &= ~VB2_CONTEXT_ALLOW_KERNEL_ROLL_FORWARD;
  357. TEST_SUCC(vb2api_kernel_phase3(&cc), "phase3 no rollforward");
  358. vb2_secdatak_get(&cc, VB2_SECDATAK_VERSIONS, &v);
  359. TEST_EQ(v, 0x20002, " version");
  360. reset_common_data(FOR_PHASE3);
  361. sd->status &= ~VB2_SD_STATUS_SECDATAK_INIT;
  362. TEST_EQ(vb2api_kernel_phase3(&cc),
  363. VB2_ERROR_SECDATAK_SET_UNINITIALIZED, "phase3 set fail");
  364. }
  365. int main(int argc, char* argv[])
  366. {
  367. phase1_tests();
  368. load_kernel_vblock_tests();
  369. get_kernel_size_tests();
  370. verify_kernel_data_tests();
  371. phase3_tests();
  372. return gTestSuccess ? 0 : 255;
  373. }