1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
/* Copyright (c) 2010 The Chromium OS Authors. All rights reserved.
* Use of this source code is governed by a BSD-style license that can be
* found in the LICENSE file.
*
* Utility for aiding fuzz testing of firmware image verification code.
*/
#include <stdio.h>
#include "file_keys.h"
#include "firmware_image.h"
#include "utility.h"
int VerifySignedFirmware(const char* root_key_file,
const char* verification_file,
const char* firmware_file) {
int error, error_code = 0;
uint64_t len;
uint8_t* verification_blob = BufferFromFile(verification_file, &len);
uint8_t* firmware_blob = BufferFromFile(firmware_file, &len);
uint8_t* root_key_blob = BufferFromFile(root_key_file, &len);
if (!root_key_blob) {
fprintf(stderr, "Couldn't read pre-processed public root key.\n");
error_code = 1;
}
if (!error_code && !firmware_blob) {
fprintf(stderr, "Couldn't read firmware image.\n");
error_code = 1;
}
if (!error_code && !verification_blob) {
fprintf(stderr, "Couldn't read verification data image.\n");
error_code = 1;
}
if (!error_code && (error = VerifyFirmware(root_key_blob,
verification_blob,
firmware_blob))) {
fprintf(stderr, "%s\n", VerifyFirmwareErrorString(error));
error_code = 1;
}
Free(root_key_blob);
Free(firmware_blob);
if (error_code)
return 0;
else
return 1;
}
int main(int argc, char* argv[]) {
if (argc != 4) {
fprintf(stderr, "Usage: %s <verification blob> <image_to_verify> <root_keyb>"
"\n", argv[0]);
return -1;
}
if (VerifySignedFirmware(argv[3], argv[1], argv[2])) {
fprintf(stderr, "Verification SUCCESS!\n");
return 0;
} else {
fprintf(stderr, "Verification FAILURE!\n");
return -1;
}
}
|