1*4882a593Smuzhiyun /*
2*4882a593Smuzhiyun * Copyright (C) 2016 The Android Open Source Project
3*4882a593Smuzhiyun *
4*4882a593Smuzhiyun * Permission is hereby granted, free of charge, to any person
5*4882a593Smuzhiyun * obtaining a copy of this software and associated documentation
6*4882a593Smuzhiyun * files (the "Software"), to deal in the Software without
7*4882a593Smuzhiyun * restriction, including without limitation the rights to use, copy,
8*4882a593Smuzhiyun * modify, merge, publish, distribute, sublicense, and/or sell copies
9*4882a593Smuzhiyun * of the Software, and to permit persons to whom the Software is
10*4882a593Smuzhiyun * furnished to do so, subject to the following conditions:
11*4882a593Smuzhiyun *
12*4882a593Smuzhiyun * The above copyright notice and this permission notice shall be
13*4882a593Smuzhiyun * included in all copies or substantial portions of the Software.
14*4882a593Smuzhiyun *
15*4882a593Smuzhiyun * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
16*4882a593Smuzhiyun * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
17*4882a593Smuzhiyun * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
18*4882a593Smuzhiyun * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
19*4882a593Smuzhiyun * BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN
20*4882a593Smuzhiyun * ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
21*4882a593Smuzhiyun * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
22*4882a593Smuzhiyun * SOFTWARE.
23*4882a593Smuzhiyun */
24*4882a593Smuzhiyun
25*4882a593Smuzhiyun #include <android_avb/avb_cmdline.h>
26*4882a593Smuzhiyun #include <android_avb/avb_sha.h>
27*4882a593Smuzhiyun #include <android_avb/avb_util.h>
28*4882a593Smuzhiyun #include <android_avb/avb_version.h>
29*4882a593Smuzhiyun
30*4882a593Smuzhiyun #define NUM_GUIDS 3
31*4882a593Smuzhiyun
32*4882a593Smuzhiyun /* Substitutes all variables (e.g. $(ANDROID_SYSTEM_PARTUUID)) with
33*4882a593Smuzhiyun * values. Returns NULL on OOM, otherwise the cmdline with values
34*4882a593Smuzhiyun * replaced.
35*4882a593Smuzhiyun */
avb_sub_cmdline(AvbOps * ops,const char * cmdline,const char * ab_suffix,bool using_boot_for_vbmeta,const AvbCmdlineSubstList * additional_substitutions)36*4882a593Smuzhiyun char* avb_sub_cmdline(AvbOps* ops,
37*4882a593Smuzhiyun const char* cmdline,
38*4882a593Smuzhiyun const char* ab_suffix,
39*4882a593Smuzhiyun bool using_boot_for_vbmeta,
40*4882a593Smuzhiyun const AvbCmdlineSubstList* additional_substitutions) {
41*4882a593Smuzhiyun const char* part_name_str[NUM_GUIDS] = {"system", "boot", "vbmeta"};
42*4882a593Smuzhiyun const char* replace_str[NUM_GUIDS] = {"$(ANDROID_SYSTEM_PARTUUID)",
43*4882a593Smuzhiyun "$(ANDROID_BOOT_PARTUUID)",
44*4882a593Smuzhiyun "$(ANDROID_VBMETA_PARTUUID)"};
45*4882a593Smuzhiyun char* ret = NULL;
46*4882a593Smuzhiyun AvbIOResult io_ret;
47*4882a593Smuzhiyun size_t n;
48*4882a593Smuzhiyun
49*4882a593Smuzhiyun /* Special-case for when the top-level vbmeta struct is in the boot
50*4882a593Smuzhiyun * partition.
51*4882a593Smuzhiyun */
52*4882a593Smuzhiyun if (using_boot_for_vbmeta) {
53*4882a593Smuzhiyun part_name_str[2] = "boot";
54*4882a593Smuzhiyun }
55*4882a593Smuzhiyun
56*4882a593Smuzhiyun /* Replace unique partition GUIDs */
57*4882a593Smuzhiyun for (n = 0; n < NUM_GUIDS; n++) {
58*4882a593Smuzhiyun char part_name[AVB_PART_NAME_MAX_SIZE];
59*4882a593Smuzhiyun char guid_buf[37];
60*4882a593Smuzhiyun
61*4882a593Smuzhiyun /* Don't attempt to query the partition guid unless its search string is
62*4882a593Smuzhiyun * present in the command line. Note: the original cmdline is used here,
63*4882a593Smuzhiyun * not the replaced one. See b/116010959.
64*4882a593Smuzhiyun */
65*4882a593Smuzhiyun if (avb_strstr(cmdline, replace_str[n]) == NULL) {
66*4882a593Smuzhiyun continue;
67*4882a593Smuzhiyun }
68*4882a593Smuzhiyun
69*4882a593Smuzhiyun if (!avb_str_concat(part_name,
70*4882a593Smuzhiyun sizeof part_name,
71*4882a593Smuzhiyun part_name_str[n],
72*4882a593Smuzhiyun avb_strlen(part_name_str[n]),
73*4882a593Smuzhiyun ab_suffix,
74*4882a593Smuzhiyun avb_strlen(ab_suffix))) {
75*4882a593Smuzhiyun avb_error("Partition name and suffix does not fit.\n");
76*4882a593Smuzhiyun goto fail;
77*4882a593Smuzhiyun }
78*4882a593Smuzhiyun
79*4882a593Smuzhiyun io_ret = ops->get_unique_guid_for_partition(
80*4882a593Smuzhiyun ops, part_name, guid_buf, sizeof guid_buf);
81*4882a593Smuzhiyun if (io_ret == AVB_IO_RESULT_ERROR_OOM) {
82*4882a593Smuzhiyun goto fail;
83*4882a593Smuzhiyun } else if (io_ret != AVB_IO_RESULT_OK) {
84*4882a593Smuzhiyun avb_error("Error getting unique GUID for partition.\n");
85*4882a593Smuzhiyun goto fail;
86*4882a593Smuzhiyun }
87*4882a593Smuzhiyun
88*4882a593Smuzhiyun if (ret == NULL) {
89*4882a593Smuzhiyun ret = avb_replace(cmdline, replace_str[n], guid_buf);
90*4882a593Smuzhiyun } else {
91*4882a593Smuzhiyun char* new_ret = avb_replace(ret, replace_str[n], guid_buf);
92*4882a593Smuzhiyun avb_free(ret);
93*4882a593Smuzhiyun ret = new_ret;
94*4882a593Smuzhiyun }
95*4882a593Smuzhiyun if (ret == NULL) {
96*4882a593Smuzhiyun goto fail;
97*4882a593Smuzhiyun }
98*4882a593Smuzhiyun }
99*4882a593Smuzhiyun
100*4882a593Smuzhiyun /* It's possible there is no _PARTUUID for replacement above.
101*4882a593Smuzhiyun * Duplicate cmdline to ret for additional substitutions below.
102*4882a593Smuzhiyun */
103*4882a593Smuzhiyun if (ret == NULL) {
104*4882a593Smuzhiyun ret = avb_strdup(cmdline);
105*4882a593Smuzhiyun if (ret == NULL) {
106*4882a593Smuzhiyun goto fail;
107*4882a593Smuzhiyun }
108*4882a593Smuzhiyun }
109*4882a593Smuzhiyun
110*4882a593Smuzhiyun /* Replace any additional substitutions. */
111*4882a593Smuzhiyun if (additional_substitutions != NULL) {
112*4882a593Smuzhiyun for (n = 0; n < additional_substitutions->size; ++n) {
113*4882a593Smuzhiyun char* new_ret = avb_replace(ret,
114*4882a593Smuzhiyun additional_substitutions->tokens[n],
115*4882a593Smuzhiyun additional_substitutions->values[n]);
116*4882a593Smuzhiyun avb_free(ret);
117*4882a593Smuzhiyun ret = new_ret;
118*4882a593Smuzhiyun if (ret == NULL) {
119*4882a593Smuzhiyun goto fail;
120*4882a593Smuzhiyun }
121*4882a593Smuzhiyun }
122*4882a593Smuzhiyun }
123*4882a593Smuzhiyun
124*4882a593Smuzhiyun return ret;
125*4882a593Smuzhiyun
126*4882a593Smuzhiyun fail:
127*4882a593Smuzhiyun if (ret != NULL) {
128*4882a593Smuzhiyun avb_free(ret);
129*4882a593Smuzhiyun }
130*4882a593Smuzhiyun return NULL;
131*4882a593Smuzhiyun }
132*4882a593Smuzhiyun
cmdline_append_option(AvbSlotVerifyData * slot_data,const char * key,const char * value)133*4882a593Smuzhiyun static int cmdline_append_option(AvbSlotVerifyData* slot_data,
134*4882a593Smuzhiyun const char* key,
135*4882a593Smuzhiyun const char* value) {
136*4882a593Smuzhiyun size_t offset, key_len, value_len;
137*4882a593Smuzhiyun char* new_cmdline;
138*4882a593Smuzhiyun
139*4882a593Smuzhiyun key_len = avb_strlen(key);
140*4882a593Smuzhiyun value_len = avb_strlen(value);
141*4882a593Smuzhiyun
142*4882a593Smuzhiyun offset = 0;
143*4882a593Smuzhiyun if (slot_data->cmdline != NULL) {
144*4882a593Smuzhiyun offset = avb_strlen(slot_data->cmdline);
145*4882a593Smuzhiyun if (offset > 0) {
146*4882a593Smuzhiyun offset += 1;
147*4882a593Smuzhiyun }
148*4882a593Smuzhiyun }
149*4882a593Smuzhiyun
150*4882a593Smuzhiyun new_cmdline = avb_calloc(offset + key_len + value_len + 2);
151*4882a593Smuzhiyun if (new_cmdline == NULL) {
152*4882a593Smuzhiyun return 0;
153*4882a593Smuzhiyun }
154*4882a593Smuzhiyun if (offset > 0) {
155*4882a593Smuzhiyun avb_memcpy(new_cmdline, slot_data->cmdline, offset - 1);
156*4882a593Smuzhiyun new_cmdline[offset - 1] = ' ';
157*4882a593Smuzhiyun }
158*4882a593Smuzhiyun avb_memcpy(new_cmdline + offset, key, key_len);
159*4882a593Smuzhiyun new_cmdline[offset + key_len] = '=';
160*4882a593Smuzhiyun avb_memcpy(new_cmdline + offset + key_len + 1, value, value_len);
161*4882a593Smuzhiyun if (slot_data->cmdline != NULL) {
162*4882a593Smuzhiyun avb_free(slot_data->cmdline);
163*4882a593Smuzhiyun }
164*4882a593Smuzhiyun slot_data->cmdline = new_cmdline;
165*4882a593Smuzhiyun
166*4882a593Smuzhiyun return 1;
167*4882a593Smuzhiyun }
168*4882a593Smuzhiyun
169*4882a593Smuzhiyun #define AVB_MAX_DIGITS_UINT64 32
170*4882a593Smuzhiyun
171*4882a593Smuzhiyun /* Writes |value| to |digits| in base 10 followed by a NUL byte.
172*4882a593Smuzhiyun * Returns number of characters written excluding the NUL byte.
173*4882a593Smuzhiyun */
uint64_to_base10(uint64_t value,char digits[AVB_MAX_DIGITS_UINT64])174*4882a593Smuzhiyun static size_t uint64_to_base10(uint64_t value,
175*4882a593Smuzhiyun char digits[AVB_MAX_DIGITS_UINT64]) {
176*4882a593Smuzhiyun char rev_digits[AVB_MAX_DIGITS_UINT64];
177*4882a593Smuzhiyun size_t n, num_digits;
178*4882a593Smuzhiyun
179*4882a593Smuzhiyun for (num_digits = 0; num_digits < AVB_MAX_DIGITS_UINT64 - 1;) {
180*4882a593Smuzhiyun rev_digits[num_digits++] = avb_div_by_10(&value) + '0';
181*4882a593Smuzhiyun if (value == 0) {
182*4882a593Smuzhiyun break;
183*4882a593Smuzhiyun }
184*4882a593Smuzhiyun }
185*4882a593Smuzhiyun
186*4882a593Smuzhiyun for (n = 0; n < num_digits; n++) {
187*4882a593Smuzhiyun digits[n] = rev_digits[num_digits - 1 - n];
188*4882a593Smuzhiyun }
189*4882a593Smuzhiyun digits[n] = '\0';
190*4882a593Smuzhiyun return n;
191*4882a593Smuzhiyun }
192*4882a593Smuzhiyun
cmdline_append_version(AvbSlotVerifyData * slot_data,const char * key,uint64_t major_version,uint64_t minor_version)193*4882a593Smuzhiyun static int cmdline_append_version(AvbSlotVerifyData* slot_data,
194*4882a593Smuzhiyun const char* key,
195*4882a593Smuzhiyun uint64_t major_version,
196*4882a593Smuzhiyun uint64_t minor_version) {
197*4882a593Smuzhiyun char major_digits[AVB_MAX_DIGITS_UINT64];
198*4882a593Smuzhiyun char minor_digits[AVB_MAX_DIGITS_UINT64];
199*4882a593Smuzhiyun char combined[AVB_MAX_DIGITS_UINT64 * 2 + 1];
200*4882a593Smuzhiyun size_t num_major_digits, num_minor_digits;
201*4882a593Smuzhiyun
202*4882a593Smuzhiyun num_major_digits = uint64_to_base10(major_version, major_digits);
203*4882a593Smuzhiyun num_minor_digits = uint64_to_base10(minor_version, minor_digits);
204*4882a593Smuzhiyun avb_memcpy(combined, major_digits, num_major_digits);
205*4882a593Smuzhiyun combined[num_major_digits] = '.';
206*4882a593Smuzhiyun avb_memcpy(combined + num_major_digits + 1, minor_digits, num_minor_digits);
207*4882a593Smuzhiyun combined[num_major_digits + 1 + num_minor_digits] = '\0';
208*4882a593Smuzhiyun
209*4882a593Smuzhiyun return cmdline_append_option(slot_data, key, combined);
210*4882a593Smuzhiyun }
211*4882a593Smuzhiyun
cmdline_append_uint64_base10(AvbSlotVerifyData * slot_data,const char * key,uint64_t value)212*4882a593Smuzhiyun static int cmdline_append_uint64_base10(AvbSlotVerifyData* slot_data,
213*4882a593Smuzhiyun const char* key,
214*4882a593Smuzhiyun uint64_t value) {
215*4882a593Smuzhiyun char digits[AVB_MAX_DIGITS_UINT64];
216*4882a593Smuzhiyun uint64_to_base10(value, digits);
217*4882a593Smuzhiyun return cmdline_append_option(slot_data, key, digits);
218*4882a593Smuzhiyun }
219*4882a593Smuzhiyun
cmdline_append_hex(AvbSlotVerifyData * slot_data,const char * key,const uint8_t * data,size_t data_len)220*4882a593Smuzhiyun static int cmdline_append_hex(AvbSlotVerifyData* slot_data,
221*4882a593Smuzhiyun const char* key,
222*4882a593Smuzhiyun const uint8_t* data,
223*4882a593Smuzhiyun size_t data_len) {
224*4882a593Smuzhiyun int ret;
225*4882a593Smuzhiyun char* hex_data = avb_bin2hex(data, data_len);
226*4882a593Smuzhiyun if (hex_data == NULL) {
227*4882a593Smuzhiyun return 0;
228*4882a593Smuzhiyun }
229*4882a593Smuzhiyun ret = cmdline_append_option(slot_data, key, hex_data);
230*4882a593Smuzhiyun avb_free(hex_data);
231*4882a593Smuzhiyun return ret;
232*4882a593Smuzhiyun }
233*4882a593Smuzhiyun
avb_append_options(AvbOps * ops,AvbSlotVerifyFlags flags,AvbSlotVerifyData * slot_data,AvbVBMetaImageHeader * toplevel_vbmeta,AvbAlgorithmType algorithm_type,AvbHashtreeErrorMode hashtree_error_mode,AvbHashtreeErrorMode resolved_hashtree_error_mode)234*4882a593Smuzhiyun AvbSlotVerifyResult avb_append_options(
235*4882a593Smuzhiyun AvbOps* ops,
236*4882a593Smuzhiyun AvbSlotVerifyFlags flags,
237*4882a593Smuzhiyun AvbSlotVerifyData* slot_data,
238*4882a593Smuzhiyun AvbVBMetaImageHeader* toplevel_vbmeta,
239*4882a593Smuzhiyun AvbAlgorithmType algorithm_type,
240*4882a593Smuzhiyun AvbHashtreeErrorMode hashtree_error_mode,
241*4882a593Smuzhiyun AvbHashtreeErrorMode resolved_hashtree_error_mode) {
242*4882a593Smuzhiyun AvbSlotVerifyResult ret;
243*4882a593Smuzhiyun const char* verity_mode = NULL;
244*4882a593Smuzhiyun bool is_device_unlocked;
245*4882a593Smuzhiyun AvbIOResult io_ret;
246*4882a593Smuzhiyun
247*4882a593Smuzhiyun /* Add androidboot.vbmeta.device option... except if not using a vbmeta
248*4882a593Smuzhiyun * partition since it doesn't make sense in that case.
249*4882a593Smuzhiyun */
250*4882a593Smuzhiyun if (!(flags & AVB_SLOT_VERIFY_FLAGS_NO_VBMETA_PARTITION)) {
251*4882a593Smuzhiyun if (!cmdline_append_option(slot_data,
252*4882a593Smuzhiyun "androidboot.vbmeta.device",
253*4882a593Smuzhiyun "PARTUUID=$(ANDROID_VBMETA_PARTUUID)")) {
254*4882a593Smuzhiyun ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM;
255*4882a593Smuzhiyun goto out;
256*4882a593Smuzhiyun }
257*4882a593Smuzhiyun }
258*4882a593Smuzhiyun
259*4882a593Smuzhiyun /* Add androidboot.vbmeta.avb_version option. */
260*4882a593Smuzhiyun if (!cmdline_append_version(slot_data,
261*4882a593Smuzhiyun "androidboot.vbmeta.avb_version",
262*4882a593Smuzhiyun AVB_VERSION_MAJOR,
263*4882a593Smuzhiyun AVB_VERSION_MINOR)) {
264*4882a593Smuzhiyun ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM;
265*4882a593Smuzhiyun goto out;
266*4882a593Smuzhiyun }
267*4882a593Smuzhiyun
268*4882a593Smuzhiyun /* Set androidboot.avb.device_state to "locked" or "unlocked". */
269*4882a593Smuzhiyun io_ret = ops->read_is_device_unlocked(ops, &is_device_unlocked);
270*4882a593Smuzhiyun if (io_ret == AVB_IO_RESULT_ERROR_OOM) {
271*4882a593Smuzhiyun ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM;
272*4882a593Smuzhiyun goto out;
273*4882a593Smuzhiyun } else if (io_ret != AVB_IO_RESULT_OK) {
274*4882a593Smuzhiyun avb_error("Error getting device state.\n");
275*4882a593Smuzhiyun ret = AVB_SLOT_VERIFY_RESULT_ERROR_IO;
276*4882a593Smuzhiyun goto out;
277*4882a593Smuzhiyun }
278*4882a593Smuzhiyun if (!cmdline_append_option(slot_data,
279*4882a593Smuzhiyun "androidboot.vbmeta.device_state",
280*4882a593Smuzhiyun is_device_unlocked ? "unlocked" : "locked")) {
281*4882a593Smuzhiyun ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM;
282*4882a593Smuzhiyun goto out;
283*4882a593Smuzhiyun }
284*4882a593Smuzhiyun
285*4882a593Smuzhiyun /* Set androidboot.vbmeta.{hash_alg, size, digest} - use same hash
286*4882a593Smuzhiyun * function as is used to sign vbmeta.
287*4882a593Smuzhiyun */
288*4882a593Smuzhiyun switch (algorithm_type) {
289*4882a593Smuzhiyun /* Explicit fallthrough. */
290*4882a593Smuzhiyun case AVB_ALGORITHM_TYPE_NONE:
291*4882a593Smuzhiyun case AVB_ALGORITHM_TYPE_SHA256_RSA2048:
292*4882a593Smuzhiyun case AVB_ALGORITHM_TYPE_SHA256_RSA4096:
293*4882a593Smuzhiyun case AVB_ALGORITHM_TYPE_SHA256_RSA8192: {
294*4882a593Smuzhiyun size_t n, total_size = 0;
295*4882a593Smuzhiyun uint8_t vbmeta_digest[AVB_SHA256_DIGEST_SIZE];
296*4882a593Smuzhiyun avb_slot_verify_data_calculate_vbmeta_digest(
297*4882a593Smuzhiyun slot_data, AVB_DIGEST_TYPE_SHA256, vbmeta_digest);
298*4882a593Smuzhiyun for (n = 0; n < slot_data->num_vbmeta_images; n++) {
299*4882a593Smuzhiyun total_size += slot_data->vbmeta_images[n].vbmeta_size;
300*4882a593Smuzhiyun }
301*4882a593Smuzhiyun if (!cmdline_append_option(
302*4882a593Smuzhiyun slot_data, "androidboot.vbmeta.hash_alg", "sha256") ||
303*4882a593Smuzhiyun !cmdline_append_uint64_base10(
304*4882a593Smuzhiyun slot_data, "androidboot.vbmeta.size", total_size) ||
305*4882a593Smuzhiyun !cmdline_append_hex(slot_data,
306*4882a593Smuzhiyun "androidboot.vbmeta.digest",
307*4882a593Smuzhiyun vbmeta_digest,
308*4882a593Smuzhiyun AVB_SHA256_DIGEST_SIZE)) {
309*4882a593Smuzhiyun ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM;
310*4882a593Smuzhiyun goto out;
311*4882a593Smuzhiyun }
312*4882a593Smuzhiyun } break;
313*4882a593Smuzhiyun /* Explicit fallthrough. */
314*4882a593Smuzhiyun case AVB_ALGORITHM_TYPE_SHA512_RSA2048:
315*4882a593Smuzhiyun case AVB_ALGORITHM_TYPE_SHA512_RSA4096:
316*4882a593Smuzhiyun case AVB_ALGORITHM_TYPE_SHA512_RSA8192: {
317*4882a593Smuzhiyun size_t n, total_size = 0;
318*4882a593Smuzhiyun uint8_t vbmeta_digest[AVB_SHA512_DIGEST_SIZE];
319*4882a593Smuzhiyun avb_slot_verify_data_calculate_vbmeta_digest(
320*4882a593Smuzhiyun slot_data, AVB_DIGEST_TYPE_SHA512, vbmeta_digest);
321*4882a593Smuzhiyun for (n = 0; n < slot_data->num_vbmeta_images; n++) {
322*4882a593Smuzhiyun total_size += slot_data->vbmeta_images[n].vbmeta_size;
323*4882a593Smuzhiyun }
324*4882a593Smuzhiyun if (!cmdline_append_option(
325*4882a593Smuzhiyun slot_data, "androidboot.vbmeta.hash_alg", "sha512") ||
326*4882a593Smuzhiyun !cmdline_append_uint64_base10(
327*4882a593Smuzhiyun slot_data, "androidboot.vbmeta.size", total_size) ||
328*4882a593Smuzhiyun !cmdline_append_hex(slot_data,
329*4882a593Smuzhiyun "androidboot.vbmeta.digest",
330*4882a593Smuzhiyun vbmeta_digest,
331*4882a593Smuzhiyun AVB_SHA512_DIGEST_SIZE)) {
332*4882a593Smuzhiyun ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM;
333*4882a593Smuzhiyun goto out;
334*4882a593Smuzhiyun }
335*4882a593Smuzhiyun } break;
336*4882a593Smuzhiyun case _AVB_ALGORITHM_NUM_TYPES:
337*4882a593Smuzhiyun avb_assert_not_reached();
338*4882a593Smuzhiyun break;
339*4882a593Smuzhiyun }
340*4882a593Smuzhiyun
341*4882a593Smuzhiyun /* Set androidboot.veritymode and androidboot.vbmeta.invalidate_on_error */
342*4882a593Smuzhiyun if (toplevel_vbmeta->flags & AVB_VBMETA_IMAGE_FLAGS_HASHTREE_DISABLED) {
343*4882a593Smuzhiyun verity_mode = "disabled";
344*4882a593Smuzhiyun } else {
345*4882a593Smuzhiyun const char* dm_verity_mode = NULL;
346*4882a593Smuzhiyun char* new_ret;
347*4882a593Smuzhiyun
348*4882a593Smuzhiyun switch (resolved_hashtree_error_mode) {
349*4882a593Smuzhiyun case AVB_HASHTREE_ERROR_MODE_RESTART_AND_INVALIDATE:
350*4882a593Smuzhiyun if (!cmdline_append_option(
351*4882a593Smuzhiyun slot_data, "androidboot.vbmeta.invalidate_on_error", "yes")) {
352*4882a593Smuzhiyun ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM;
353*4882a593Smuzhiyun goto out;
354*4882a593Smuzhiyun }
355*4882a593Smuzhiyun verity_mode = "enforcing";
356*4882a593Smuzhiyun dm_verity_mode = "restart_on_corruption";
357*4882a593Smuzhiyun break;
358*4882a593Smuzhiyun case AVB_HASHTREE_ERROR_MODE_RESTART:
359*4882a593Smuzhiyun verity_mode = "enforcing";
360*4882a593Smuzhiyun dm_verity_mode = "restart_on_corruption";
361*4882a593Smuzhiyun break;
362*4882a593Smuzhiyun case AVB_HASHTREE_ERROR_MODE_EIO:
363*4882a593Smuzhiyun verity_mode = "eio";
364*4882a593Smuzhiyun /* For now there's no option to specify the EIO mode. So
365*4882a593Smuzhiyun * just use 'ignore_zero_blocks' since that's already set
366*4882a593Smuzhiyun * and dm-verity-target.c supports specifying this multiple
367*4882a593Smuzhiyun * times.
368*4882a593Smuzhiyun */
369*4882a593Smuzhiyun dm_verity_mode = "ignore_zero_blocks";
370*4882a593Smuzhiyun break;
371*4882a593Smuzhiyun case AVB_HASHTREE_ERROR_MODE_LOGGING:
372*4882a593Smuzhiyun verity_mode = "logging";
373*4882a593Smuzhiyun dm_verity_mode = "ignore_corruption";
374*4882a593Smuzhiyun break;
375*4882a593Smuzhiyun case AVB_HASHTREE_ERROR_MODE_MANAGED_RESTART_AND_EIO:
376*4882a593Smuzhiyun // Should never get here because MANAGED_RESTART_AND_EIO is
377*4882a593Smuzhiyun // remapped by avb_manage_hashtree_error_mode().
378*4882a593Smuzhiyun avb_assert_not_reached();
379*4882a593Smuzhiyun break;
380*4882a593Smuzhiyun }
381*4882a593Smuzhiyun new_ret = avb_replace(
382*4882a593Smuzhiyun slot_data->cmdline, "$(ANDROID_VERITY_MODE)", dm_verity_mode);
383*4882a593Smuzhiyun avb_free(slot_data->cmdline);
384*4882a593Smuzhiyun slot_data->cmdline = new_ret;
385*4882a593Smuzhiyun if (slot_data->cmdline == NULL) {
386*4882a593Smuzhiyun ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM;
387*4882a593Smuzhiyun goto out;
388*4882a593Smuzhiyun }
389*4882a593Smuzhiyun }
390*4882a593Smuzhiyun if (!cmdline_append_option(
391*4882a593Smuzhiyun slot_data, "androidboot.veritymode", verity_mode)) {
392*4882a593Smuzhiyun ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM;
393*4882a593Smuzhiyun goto out;
394*4882a593Smuzhiyun }
395*4882a593Smuzhiyun if (hashtree_error_mode == AVB_HASHTREE_ERROR_MODE_MANAGED_RESTART_AND_EIO) {
396*4882a593Smuzhiyun if (!cmdline_append_option(
397*4882a593Smuzhiyun slot_data, "androidboot.veritymode.managed", "yes")) {
398*4882a593Smuzhiyun ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM;
399*4882a593Smuzhiyun goto out;
400*4882a593Smuzhiyun }
401*4882a593Smuzhiyun }
402*4882a593Smuzhiyun
403*4882a593Smuzhiyun ret = AVB_SLOT_VERIFY_RESULT_OK;
404*4882a593Smuzhiyun
405*4882a593Smuzhiyun out:
406*4882a593Smuzhiyun
407*4882a593Smuzhiyun return ret;
408*4882a593Smuzhiyun }
409*4882a593Smuzhiyun
avb_new_cmdline_subst_list()410*4882a593Smuzhiyun AvbCmdlineSubstList* avb_new_cmdline_subst_list() {
411*4882a593Smuzhiyun return (AvbCmdlineSubstList*)avb_calloc(sizeof(AvbCmdlineSubstList));
412*4882a593Smuzhiyun }
413*4882a593Smuzhiyun
avb_free_cmdline_subst_list(AvbCmdlineSubstList * cmdline_subst)414*4882a593Smuzhiyun void avb_free_cmdline_subst_list(AvbCmdlineSubstList* cmdline_subst) {
415*4882a593Smuzhiyun size_t i;
416*4882a593Smuzhiyun for (i = 0; i < cmdline_subst->size; ++i) {
417*4882a593Smuzhiyun avb_free(cmdline_subst->tokens[i]);
418*4882a593Smuzhiyun avb_free(cmdline_subst->values[i]);
419*4882a593Smuzhiyun }
420*4882a593Smuzhiyun cmdline_subst->size = 0;
421*4882a593Smuzhiyun avb_free(cmdline_subst);
422*4882a593Smuzhiyun }
423*4882a593Smuzhiyun
avb_add_root_digest_substitution(const char * part_name,const uint8_t * digest,size_t digest_size,AvbCmdlineSubstList * out_cmdline_subst)424*4882a593Smuzhiyun AvbSlotVerifyResult avb_add_root_digest_substitution(
425*4882a593Smuzhiyun const char* part_name,
426*4882a593Smuzhiyun const uint8_t* digest,
427*4882a593Smuzhiyun size_t digest_size,
428*4882a593Smuzhiyun AvbCmdlineSubstList* out_cmdline_subst) {
429*4882a593Smuzhiyun const char* kDigestSubPrefix = "$(AVB_";
430*4882a593Smuzhiyun const char* kDigestSubSuffix = "_ROOT_DIGEST)";
431*4882a593Smuzhiyun size_t part_name_len = avb_strlen(part_name);
432*4882a593Smuzhiyun size_t list_index = out_cmdline_subst->size;
433*4882a593Smuzhiyun
434*4882a593Smuzhiyun avb_assert(part_name_len < AVB_PART_NAME_MAX_SIZE);
435*4882a593Smuzhiyun avb_assert(digest_size <= AVB_SHA512_DIGEST_SIZE);
436*4882a593Smuzhiyun if (part_name_len >= AVB_PART_NAME_MAX_SIZE ||
437*4882a593Smuzhiyun digest_size > AVB_SHA512_DIGEST_SIZE) {
438*4882a593Smuzhiyun return AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA;
439*4882a593Smuzhiyun }
440*4882a593Smuzhiyun
441*4882a593Smuzhiyun if (out_cmdline_subst->size >= AVB_MAX_NUM_CMDLINE_SUBST) {
442*4882a593Smuzhiyun /* The list is full. Currently dynamic growth of this list is not supported.
443*4882a593Smuzhiyun */
444*4882a593Smuzhiyun return AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA;
445*4882a593Smuzhiyun }
446*4882a593Smuzhiyun
447*4882a593Smuzhiyun /* Construct the token to replace in the command line based on the partition
448*4882a593Smuzhiyun * name. For partition 'foo', this will be '$(AVB_FOO_ROOT_DIGEST)'.
449*4882a593Smuzhiyun */
450*4882a593Smuzhiyun out_cmdline_subst->tokens[list_index] =
451*4882a593Smuzhiyun avb_strdupv(kDigestSubPrefix, part_name, kDigestSubSuffix, NULL);
452*4882a593Smuzhiyun if (out_cmdline_subst->tokens[list_index] == NULL) {
453*4882a593Smuzhiyun goto fail;
454*4882a593Smuzhiyun }
455*4882a593Smuzhiyun avb_uppercase(out_cmdline_subst->tokens[list_index]);
456*4882a593Smuzhiyun
457*4882a593Smuzhiyun /* The digest value is hex encoded when inserted in the command line. */
458*4882a593Smuzhiyun out_cmdline_subst->values[list_index] = avb_bin2hex(digest, digest_size);
459*4882a593Smuzhiyun if (out_cmdline_subst->values[list_index] == NULL) {
460*4882a593Smuzhiyun goto fail;
461*4882a593Smuzhiyun }
462*4882a593Smuzhiyun
463*4882a593Smuzhiyun out_cmdline_subst->size++;
464*4882a593Smuzhiyun return AVB_SLOT_VERIFY_RESULT_OK;
465*4882a593Smuzhiyun
466*4882a593Smuzhiyun fail:
467*4882a593Smuzhiyun if (out_cmdline_subst->tokens[list_index]) {
468*4882a593Smuzhiyun avb_free(out_cmdline_subst->tokens[list_index]);
469*4882a593Smuzhiyun }
470*4882a593Smuzhiyun if (out_cmdline_subst->values[list_index]) {
471*4882a593Smuzhiyun avb_free(out_cmdline_subst->values[list_index]);
472*4882a593Smuzhiyun }
473*4882a593Smuzhiyun return AVB_SLOT_VERIFY_RESULT_ERROR_OOM;
474*4882a593Smuzhiyun }
475