| // SPDX-License-Identifier: MIT | |
| /* | |
| * Copyright (C) 2016 The Android Open Source Project | |
| */ | |
| #include "avb_slot_verify.h" | |
| #include "avb_chain_partition_descriptor.h" | |
| #include "avb_cmdline.h" | |
| #include "avb_footer.h" | |
| #include "avb_hash_descriptor.h" | |
| #include "avb_hashtree_descriptor.h" | |
| #include "avb_kernel_cmdline_descriptor.h" | |
| #include "avb_sha.h" | |
| #include "avb_util.h" | |
| #include "avb_vbmeta_image.h" | |
| #include "avb_version.h" | |
| #include <log.h> | |
| #include <malloc.h> | |
| /* Maximum number of partitions that can be loaded with avb_slot_verify(). */ | |
| #define MAX_NUMBER_OF_LOADED_PARTITIONS 32 | |
| /* Maximum number of vbmeta images that can be loaded with avb_slot_verify(). */ | |
| #define MAX_NUMBER_OF_VBMETA_IMAGES 32 | |
| /* Maximum size of a vbmeta image - 64 KiB. */ | |
| #define VBMETA_MAX_SIZE (64 * 1024) | |
| static AvbSlotVerifyResult initialize_persistent_digest( | |
| AvbOps* ops, | |
| const char* part_name, | |
| const char* persistent_value_name, | |
| size_t digest_size, | |
| const uint8_t* initial_digest, | |
| uint8_t* out_digest); | |
| /* Helper function to see if we should continue with verification in | |
| * allow_verification_error=true mode if something goes wrong. See the | |
| * comments for the avb_slot_verify() function for more information. | |
| */ | |
| static inline bool result_should_continue(AvbSlotVerifyResult result) { | |
| switch (result) { | |
| case AVB_SLOT_VERIFY_RESULT_ERROR_OOM: | |
| case AVB_SLOT_VERIFY_RESULT_ERROR_IO: | |
| case AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA: | |
| case AVB_SLOT_VERIFY_RESULT_ERROR_UNSUPPORTED_VERSION: | |
| case AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_ARGUMENT: | |
| return false; | |
| case AVB_SLOT_VERIFY_RESULT_OK: | |
| case AVB_SLOT_VERIFY_RESULT_ERROR_VERIFICATION: | |
| case AVB_SLOT_VERIFY_RESULT_ERROR_ROLLBACK_INDEX: | |
| case AVB_SLOT_VERIFY_RESULT_ERROR_PUBLIC_KEY_REJECTED: | |
| return true; | |
| } | |
| return false; | |
| } | |
| static AvbSlotVerifyResult load_full_partition(AvbOps* ops, | |
| const char* part_name, | |
| uint64_t image_size, | |
| uint8_t** out_image_buf, | |
| bool* out_image_preloaded) { | |
| size_t part_num_read; | |
| AvbIOResult io_ret; | |
| /* Make sure that we do not overwrite existing data. */ | |
| avb_assert(*out_image_buf == NULL); | |
| avb_assert(!*out_image_preloaded); | |
| /* We are going to implicitly cast image_size from uint64_t to size_t in the | |
| * following code, so we need to make sure that the cast is safe. */ | |
| if (image_size != (size_t)(image_size)) { | |
| avb_errorv(part_name, ": Partition size too large to load.\n", NULL); | |
| return AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| } | |
| /* Try use a preloaded one. */ | |
| if (ops->get_preloaded_partition != NULL) { | |
| io_ret = ops->get_preloaded_partition( | |
| ops, part_name, image_size, out_image_buf, &part_num_read); | |
| if (io_ret == AVB_IO_RESULT_ERROR_OOM) { | |
| return AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| } else if (io_ret != AVB_IO_RESULT_OK) { | |
| avb_errorv(part_name, ": Error loading data from partition.\n", NULL); | |
| return AVB_SLOT_VERIFY_RESULT_ERROR_IO; | |
| } | |
| if (*out_image_buf != NULL) { | |
| if (part_num_read != image_size) { | |
| avb_errorv(part_name, ": Read incorrect number of bytes.\n", NULL); | |
| return AVB_SLOT_VERIFY_RESULT_ERROR_IO; | |
| } | |
| *out_image_preloaded = true; | |
| } | |
| } | |
| /* Allocate and copy the partition. */ | |
| if (!*out_image_preloaded) { | |
| *out_image_buf = avb_malloc(image_size); | |
| if (*out_image_buf == NULL) { | |
| return AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| } | |
| io_ret = ops->read_from_partition(ops, | |
| part_name, | |
| 0 /* offset */, | |
| image_size, | |
| *out_image_buf, | |
| &part_num_read); | |
| if (io_ret == AVB_IO_RESULT_ERROR_OOM) { | |
| return AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| } else if (io_ret != AVB_IO_RESULT_OK) { | |
| avb_errorv(part_name, ": Error loading data from partition.\n", NULL); | |
| return AVB_SLOT_VERIFY_RESULT_ERROR_IO; | |
| } | |
| if (part_num_read != image_size) { | |
| avb_errorv(part_name, ": Read incorrect number of bytes.\n", NULL); | |
| return AVB_SLOT_VERIFY_RESULT_ERROR_IO; | |
| } | |
| } | |
| return AVB_SLOT_VERIFY_RESULT_OK; | |
| } | |
| /* Reads a persistent digest stored as a named persistent value corresponding to | |
| * the given |part_name|. The value is returned in |out_digest| which must point | |
| * to |expected_digest_size| bytes. If there is no digest stored for |part_name| | |
| * it can be initialized by providing a non-NULL |initial_digest| of length | |
| * |expected_digest_size|. This automatic initialization will only occur if the | |
| * device is currently locked. The |initial_digest| may be NULL. | |
| * | |
| * Returns AVB_SLOT_VERIFY_RESULT_OK on success, otherwise returns an | |
| * AVB_SLOT_VERIFY_RESULT_ERROR_* error code. | |
| * | |
| * If the value does not exist, is not supported, or is not populated, and | |
| * |initial_digest| is NULL, returns | |
| * AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA. If |expected_digest_size| does | |
| * not match the stored digest size, also returns | |
| * AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA. | |
| */ | |
| static AvbSlotVerifyResult read_persistent_digest(AvbOps* ops, | |
| const char* part_name, | |
| size_t expected_digest_size, | |
| const uint8_t* initial_digest, | |
| uint8_t* out_digest) { | |
| char* persistent_value_name = NULL; | |
| AvbIOResult io_ret = AVB_IO_RESULT_OK; | |
| size_t stored_digest_size = 0; | |
| if (ops->read_persistent_value == NULL) { | |
| avb_errorv(part_name, ": Persistent values are not implemented.\n", NULL); | |
| return AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| } | |
| persistent_value_name = | |
| avb_strdupv(AVB_NPV_PERSISTENT_DIGEST_PREFIX, part_name, NULL); | |
| if (persistent_value_name == NULL) { | |
| return AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| } | |
| io_ret = ops->read_persistent_value(ops, | |
| persistent_value_name, | |
| expected_digest_size, | |
| out_digest, | |
| &stored_digest_size); | |
| // If no such named persistent value exists and an initial digest value was | |
| // given, initialize the named persistent value with the given digest. If | |
| // initialized successfully, this will recurse into this function but with a | |
| // NULL initial_digest. | |
| if (io_ret == AVB_IO_RESULT_ERROR_NO_SUCH_VALUE && initial_digest) { | |
| AvbSlotVerifyResult ret = | |
| initialize_persistent_digest(ops, | |
| part_name, | |
| persistent_value_name, | |
| expected_digest_size, | |
| initial_digest, | |
| out_digest); | |
| avb_free(persistent_value_name); | |
| return ret; | |
| } | |
| avb_free(persistent_value_name); | |
| if (io_ret == AVB_IO_RESULT_ERROR_OOM) { | |
| return AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| } else if (io_ret == AVB_IO_RESULT_ERROR_NO_SUCH_VALUE) { | |
| // Treat a missing persistent value as a verification error, which is | |
| // ignoreable, rather than a metadata error which is not. | |
| avb_errorv(part_name, ": Persistent digest does not exist.\n", NULL); | |
| return AVB_SLOT_VERIFY_RESULT_ERROR_VERIFICATION; | |
| } else if (io_ret == AVB_IO_RESULT_ERROR_INVALID_VALUE_SIZE || | |
| io_ret == AVB_IO_RESULT_ERROR_INSUFFICIENT_SPACE) { | |
| avb_errorv( | |
| part_name, ": Persistent digest is not of expected size.\n", NULL); | |
| return AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| } else if (io_ret != AVB_IO_RESULT_OK) { | |
| avb_errorv(part_name, ": Error reading persistent digest.\n", NULL); | |
| return AVB_SLOT_VERIFY_RESULT_ERROR_IO; | |
| } else if (expected_digest_size != stored_digest_size) { | |
| avb_errorv( | |
| part_name, ": Persistent digest is not of expected size.\n", NULL); | |
| return AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| } | |
| return AVB_SLOT_VERIFY_RESULT_OK; | |
| } | |
| static AvbSlotVerifyResult initialize_persistent_digest( | |
| AvbOps* ops, | |
| const char* part_name, | |
| const char* persistent_value_name, | |
| size_t digest_size, | |
| const uint8_t* initial_digest, | |
| uint8_t* out_digest) { | |
| AvbSlotVerifyResult ret; | |
| AvbIOResult io_ret = AVB_IO_RESULT_OK; | |
| bool is_device_unlocked = true; | |
| io_ret = ops->read_is_device_unlocked(ops, &is_device_unlocked); | |
| if (io_ret == AVB_IO_RESULT_ERROR_OOM) { | |
| return AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| } else if (io_ret != AVB_IO_RESULT_OK) { | |
| avb_error("Error getting device lock state.\n"); | |
| return AVB_SLOT_VERIFY_RESULT_ERROR_IO; | |
| } | |
| if (is_device_unlocked) { | |
| avb_debugv(part_name, | |
| ": Digest does not exist, device unlocked so not initializing " | |
| "digest.\n", | |
| NULL); | |
| return AVB_SLOT_VERIFY_RESULT_ERROR_VERIFICATION; | |
| } | |
| // Device locked; initialize digest with given initial value. | |
| avb_debugv(part_name, | |
| ": Digest does not exist, initializing persistent digest.\n", | |
| NULL); | |
| io_ret = ops->write_persistent_value( | |
| ops, persistent_value_name, digest_size, initial_digest); | |
| if (io_ret == AVB_IO_RESULT_ERROR_OOM) { | |
| return AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| } else if (io_ret != AVB_IO_RESULT_OK) { | |
| avb_errorv(part_name, ": Error initializing persistent digest.\n", NULL); | |
| return AVB_SLOT_VERIFY_RESULT_ERROR_IO; | |
| } | |
| // To ensure that the digest value was written successfully - and avoid a | |
| // scenario where the digest is simply 'initialized' on every verify - recurse | |
| // into read_persistent_digest to read back the written value. The NULL | |
| // initial_digest ensures that this will not recurse again. | |
| ret = read_persistent_digest(ops, part_name, digest_size, NULL, out_digest); | |
| if (ret != AVB_SLOT_VERIFY_RESULT_OK) { | |
| avb_errorv(part_name, | |
| ": Reading back initialized persistent digest failed!\n", | |
| NULL); | |
| } | |
| return ret; | |
| } | |
| static AvbSlotVerifyResult load_and_verify_hash_partition( | |
| AvbOps* ops, | |
| const char* const* requested_partitions, | |
| const char* ab_suffix, | |
| bool allow_verification_error, | |
| const AvbDescriptor* descriptor, | |
| AvbSlotVerifyData* slot_data) { | |
| AvbHashDescriptor hash_desc; | |
| const uint8_t* desc_partition_name = NULL; | |
| const uint8_t* desc_salt; | |
| const uint8_t* desc_digest; | |
| char part_name[AVB_PART_NAME_MAX_SIZE]; | |
| AvbSlotVerifyResult ret; | |
| AvbIOResult io_ret; | |
| uint8_t* image_buf = NULL; | |
| bool image_preloaded = false; | |
| uint8_t* digest; | |
| size_t digest_len; | |
| const char* found; | |
| uint64_t image_size; | |
| size_t expected_digest_len = 0; | |
| uint8_t expected_digest_buf[AVB_SHA512_DIGEST_SIZE]; | |
| const uint8_t* expected_digest = NULL; | |
| if (!avb_hash_descriptor_validate_and_byteswap( | |
| (const AvbHashDescriptor*)descriptor, &hash_desc)) { | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| goto out; | |
| } | |
| desc_partition_name = | |
| ((const uint8_t*)descriptor) + sizeof(AvbHashDescriptor); | |
| desc_salt = desc_partition_name + hash_desc.partition_name_len; | |
| desc_digest = desc_salt + hash_desc.salt_len; | |
| if (!avb_validate_utf8(desc_partition_name, hash_desc.partition_name_len)) { | |
| avb_error("Partition name is not valid UTF-8.\n"); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| goto out; | |
| } | |
| /* Don't bother loading or validating unless the partition was | |
| * requested in the first place. | |
| */ | |
| found = avb_strv_find_str(requested_partitions, | |
| (const char*)desc_partition_name, | |
| hash_desc.partition_name_len); | |
| if (found == NULL) { | |
| ret = AVB_SLOT_VERIFY_RESULT_OK; | |
| goto out; | |
| } | |
| if ((hash_desc.flags & AVB_HASH_DESCRIPTOR_FLAGS_DO_NOT_USE_AB) != 0) { | |
| /* No ab_suffix, just copy the partition name as is. */ | |
| if (hash_desc.partition_name_len >= AVB_PART_NAME_MAX_SIZE) { | |
| avb_error("Partition name does not fit.\n"); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| goto out; | |
| } | |
| avb_memcpy(part_name, desc_partition_name, hash_desc.partition_name_len); | |
| part_name[hash_desc.partition_name_len] = '\0'; | |
| } else if (hash_desc.digest_len == 0 && avb_strlen(ab_suffix) != 0) { | |
| /* No ab_suffix allowed for partitions without a digest in the descriptor | |
| * because these partitions hold data unique to this device and are not | |
| * updated using an A/B scheme. | |
| */ | |
| avb_error("Cannot use A/B with a persistent digest.\n"); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| goto out; | |
| } else { | |
| /* Add ab_suffix to the partition name. */ | |
| if (!avb_str_concat(part_name, | |
| sizeof part_name, | |
| (const char*)desc_partition_name, | |
| hash_desc.partition_name_len, | |
| ab_suffix, | |
| avb_strlen(ab_suffix))) { | |
| avb_error("Partition name and suffix does not fit.\n"); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| goto out; | |
| } | |
| } | |
| /* If we're allowing verification errors then hash_desc.image_size | |
| * may no longer match what's in the partition... so in this case | |
| * just load the entire partition. | |
| * | |
| * For example, this can happen if a developer does 'fastboot flash | |
| * boot /path/to/new/and/bigger/boot.img'. We want this to work | |
| * since it's such a common workflow. | |
| */ | |
| image_size = hash_desc.image_size; | |
| if (allow_verification_error) { | |
| io_ret = ops->get_size_of_partition(ops, part_name, &image_size); | |
| if (io_ret == AVB_IO_RESULT_ERROR_OOM) { | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| goto out; | |
| } else if (io_ret != AVB_IO_RESULT_OK) { | |
| avb_errorv(part_name, ": Error determining partition size.\n", NULL); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_IO; | |
| goto out; | |
| } | |
| avb_debugv(part_name, ": Loading entire partition.\n", NULL); | |
| } | |
| ret = load_full_partition( | |
| ops, part_name, image_size, &image_buf, &image_preloaded); | |
| if (ret != AVB_SLOT_VERIFY_RESULT_OK) { | |
| goto out; | |
| } | |
| // Although only one of the type might be used, we have to defined the | |
| // structure here so that they would live outside the 'if/else' scope to be | |
| // used later. | |
| AvbSHA256Ctx sha256_ctx; | |
| AvbSHA512Ctx sha512_ctx; | |
| size_t image_size_to_hash = hash_desc.image_size; | |
| // If we allow verification error and the whole partition is smaller than | |
| // image size in hash descriptor, we just hash the whole partition. | |
| if (image_size_to_hash > image_size) { | |
| image_size_to_hash = image_size; | |
| } | |
| if (avb_strcmp((const char*)hash_desc.hash_algorithm, "sha256") == 0) { | |
| avb_sha256_init(&sha256_ctx); | |
| avb_sha256_update(&sha256_ctx, desc_salt, hash_desc.salt_len); | |
| avb_sha256_update(&sha256_ctx, image_buf, image_size_to_hash); | |
| digest = avb_sha256_final(&sha256_ctx); | |
| digest_len = AVB_SHA256_DIGEST_SIZE; | |
| } else if (avb_strcmp((const char*)hash_desc.hash_algorithm, "sha512") == 0) { | |
| avb_sha512_init(&sha512_ctx); | |
| avb_sha512_update(&sha512_ctx, desc_salt, hash_desc.salt_len); | |
| avb_sha512_update(&sha512_ctx, image_buf, image_size_to_hash); | |
| digest = avb_sha512_final(&sha512_ctx); | |
| digest_len = AVB_SHA512_DIGEST_SIZE; | |
| } else { | |
| avb_errorv(part_name, ": Unsupported hash algorithm.\n", NULL); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| goto out; | |
| } | |
| if (hash_desc.digest_len == 0) { | |
| /* Expect a match to a persistent digest. */ | |
| avb_debugv(part_name, ": No digest, using persistent digest.\n", NULL); | |
| expected_digest_len = digest_len; | |
| expected_digest = expected_digest_buf; | |
| avb_assert(expected_digest_len <= sizeof(expected_digest_buf)); | |
| /* Pass |digest| as the |initial_digest| so devices not yet initialized get | |
| * initialized to the current partition digest. | |
| */ | |
| ret = read_persistent_digest( | |
| ops, part_name, digest_len, digest, expected_digest_buf); | |
| if (ret != AVB_SLOT_VERIFY_RESULT_OK) { | |
| goto out; | |
| } | |
| } else { | |
| /* Expect a match to the digest in the descriptor. */ | |
| expected_digest_len = hash_desc.digest_len; | |
| expected_digest = desc_digest; | |
| } | |
| if (digest_len != expected_digest_len) { | |
| avb_errorv( | |
| part_name, ": Digest in descriptor not of expected size.\n", NULL); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| goto out; | |
| } | |
| if (avb_safe_memcmp(digest, expected_digest, digest_len) != 0) { | |
| avb_errorv(part_name, | |
| ": Hash of data does not match digest in descriptor.\n", | |
| NULL); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_VERIFICATION; | |
| goto out; | |
| } | |
| ret = AVB_SLOT_VERIFY_RESULT_OK; | |
| out: | |
| /* If it worked and something was loaded, copy to slot_data. */ | |
| if ((ret == AVB_SLOT_VERIFY_RESULT_OK || result_should_continue(ret)) && | |
| image_buf != NULL) { | |
| AvbPartitionData* loaded_partition; | |
| if (slot_data->num_loaded_partitions == MAX_NUMBER_OF_LOADED_PARTITIONS) { | |
| avb_errorv(part_name, ": Too many loaded partitions.\n", NULL); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| goto fail; | |
| } | |
| loaded_partition = | |
| &slot_data->loaded_partitions[slot_data->num_loaded_partitions++]; | |
| loaded_partition->partition_name = avb_strdup(found); | |
| loaded_partition->data_size = image_size; | |
| loaded_partition->data = image_buf; | |
| loaded_partition->preloaded = image_preloaded; | |
| image_buf = NULL; | |
| } | |
| fail: | |
| if (image_buf != NULL && !image_preloaded) { | |
| avb_free(image_buf); | |
| } | |
| return ret; | |
| } | |
| static AvbSlotVerifyResult load_requested_partitions( | |
| AvbOps* ops, | |
| const char* const* requested_partitions, | |
| const char* ab_suffix, | |
| AvbSlotVerifyData* slot_data) { | |
| AvbSlotVerifyResult ret; | |
| uint8_t* image_buf = NULL; | |
| bool image_preloaded = false; | |
| size_t n; | |
| for (n = 0; requested_partitions[n] != NULL; n++) { | |
| char part_name[AVB_PART_NAME_MAX_SIZE]; | |
| AvbIOResult io_ret; | |
| uint64_t image_size; | |
| AvbPartitionData* loaded_partition; | |
| if (!avb_str_concat(part_name, | |
| sizeof part_name, | |
| requested_partitions[n], | |
| avb_strlen(requested_partitions[n]), | |
| ab_suffix, | |
| avb_strlen(ab_suffix))) { | |
| avb_error("Partition name and suffix does not fit.\n"); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| goto out; | |
| } | |
| io_ret = ops->get_size_of_partition(ops, part_name, &image_size); | |
| if (io_ret == AVB_IO_RESULT_ERROR_OOM) { | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| goto out; | |
| } else if (io_ret != AVB_IO_RESULT_OK) { | |
| avb_errorv(part_name, ": Error determining partition size.\n", NULL); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_IO; | |
| goto out; | |
| } | |
| avb_debugv(part_name, ": Loading entire partition.\n", NULL); | |
| ret = load_full_partition( | |
| ops, part_name, image_size, &image_buf, &image_preloaded); | |
| if (ret != AVB_SLOT_VERIFY_RESULT_OK) { | |
| goto out; | |
| } | |
| /* Move to slot_data. */ | |
| if (slot_data->num_loaded_partitions == MAX_NUMBER_OF_LOADED_PARTITIONS) { | |
| avb_errorv(part_name, ": Too many loaded partitions.\n", NULL); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| goto out; | |
| } | |
| loaded_partition = | |
| &slot_data->loaded_partitions[slot_data->num_loaded_partitions++]; | |
| loaded_partition->partition_name = avb_strdup(requested_partitions[n]); | |
| if (loaded_partition->partition_name == NULL) { | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| goto out; | |
| } | |
| loaded_partition->data_size = image_size; | |
| loaded_partition->data = image_buf; /* Transferring the owner. */ | |
| loaded_partition->preloaded = image_preloaded; | |
| image_buf = NULL; | |
| image_preloaded = false; | |
| } | |
| ret = AVB_SLOT_VERIFY_RESULT_OK; | |
| out: | |
| /* Free the current buffer if any. */ | |
| if (image_buf != NULL && !image_preloaded) { | |
| avb_free(image_buf); | |
| } | |
| /* Buffers that are already saved in slot_data will be handled by the caller | |
| * even on failure. */ | |
| return ret; | |
| } | |
| static AvbSlotVerifyResult load_and_verify_vbmeta( | |
| AvbOps* ops, | |
| const char* const* requested_partitions, | |
| const char* ab_suffix, | |
| AvbSlotVerifyFlags flags, | |
| bool allow_verification_error, | |
| AvbVBMetaImageFlags toplevel_vbmeta_flags, | |
| int rollback_index_location, | |
| const char* partition_name, | |
| size_t partition_name_len, | |
| const uint8_t* expected_public_key, | |
| size_t expected_public_key_length, | |
| AvbSlotVerifyData* slot_data, | |
| AvbAlgorithmType* out_algorithm_type, | |
| AvbCmdlineSubstList* out_additional_cmdline_subst) { | |
| char full_partition_name[AVB_PART_NAME_MAX_SIZE]; | |
| AvbSlotVerifyResult ret; | |
| AvbIOResult io_ret; | |
| size_t vbmeta_offset; | |
| size_t vbmeta_size; | |
| uint8_t* vbmeta_buf = NULL; | |
| size_t vbmeta_num_read; | |
| AvbVBMetaVerifyResult vbmeta_ret; | |
| const uint8_t* pk_data; | |
| size_t pk_len; | |
| AvbVBMetaImageHeader vbmeta_header; | |
| uint64_t stored_rollback_index; | |
| const AvbDescriptor** descriptors = NULL; | |
| size_t num_descriptors; | |
| size_t n; | |
| bool is_main_vbmeta; | |
| bool look_for_vbmeta_footer; | |
| AvbVBMetaData* vbmeta_image_data = NULL; | |
| ret = AVB_SLOT_VERIFY_RESULT_OK; | |
| avb_assert(slot_data != NULL); | |
| /* Since we allow top-level vbmeta in 'boot', use | |
| * rollback_index_location to determine whether we're the main | |
| * vbmeta struct. | |
| */ | |
| is_main_vbmeta = false; | |
| if (rollback_index_location == 0) { | |
| if ((flags & AVB_SLOT_VERIFY_FLAGS_NO_VBMETA_PARTITION) == 0) { | |
| is_main_vbmeta = true; | |
| } | |
| } | |
| /* Don't use footers for vbmeta partitions ('vbmeta' or | |
| * 'vbmeta_<partition_name>'). | |
| */ | |
| look_for_vbmeta_footer = true; | |
| if (avb_strncmp(partition_name, "vbmeta", avb_strlen("vbmeta")) == 0) { | |
| look_for_vbmeta_footer = false; | |
| } | |
| if (!avb_validate_utf8((const uint8_t*)partition_name, partition_name_len)) { | |
| avb_error("Partition name is not valid UTF-8.\n"); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| goto out; | |
| } | |
| /* Construct full partition name e.g. system_a. */ | |
| if (!avb_str_concat(full_partition_name, | |
| sizeof full_partition_name, | |
| partition_name, | |
| partition_name_len, | |
| ab_suffix, | |
| avb_strlen(ab_suffix))) { | |
| avb_error("Partition name and suffix does not fit.\n"); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| goto out; | |
| } | |
| /* If we're loading from the main vbmeta partition, the vbmeta struct is in | |
| * the beginning. Otherwise we may have to locate it via a footer... if no | |
| * footer is found, we look in the beginning to support e.g. vbmeta_<org> | |
| * partitions holding data for e.g. super partitions (b/80195851 for | |
| * rationale). | |
| */ | |
| vbmeta_offset = 0; | |
| vbmeta_size = VBMETA_MAX_SIZE; | |
| if (look_for_vbmeta_footer) { | |
| uint8_t footer_buf[AVB_FOOTER_SIZE]; | |
| size_t footer_num_read; | |
| AvbFooter footer; | |
| io_ret = ops->read_from_partition(ops, | |
| full_partition_name, | |
| -AVB_FOOTER_SIZE, | |
| AVB_FOOTER_SIZE, | |
| footer_buf, | |
| &footer_num_read); | |
| if (io_ret == AVB_IO_RESULT_ERROR_OOM) { | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| goto out; | |
| } else if (io_ret != AVB_IO_RESULT_OK) { | |
| avb_errorv(full_partition_name, ": Error loading footer.\n", NULL); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_IO; | |
| goto out; | |
| } | |
| avb_assert(footer_num_read == AVB_FOOTER_SIZE); | |
| if (!avb_footer_validate_and_byteswap((const AvbFooter*)footer_buf, | |
| &footer)) { | |
| avb_debugv(full_partition_name, ": No footer detected.\n", NULL); | |
| } else { | |
| /* Basic footer sanity check since the data is untrusted. */ | |
| if (footer.vbmeta_size > VBMETA_MAX_SIZE) { | |
| avb_errorv( | |
| full_partition_name, ": Invalid vbmeta size in footer.\n", NULL); | |
| } else { | |
| vbmeta_offset = footer.vbmeta_offset; | |
| vbmeta_size = footer.vbmeta_size; | |
| } | |
| } | |
| } | |
| vbmeta_buf = avb_malloc(vbmeta_size); | |
| if (vbmeta_buf == NULL) { | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| goto out; | |
| } | |
| if (vbmeta_offset != 0) { | |
| avb_debugv("Loading vbmeta struct in footer from partition '", | |
| full_partition_name, | |
| "'.\n", | |
| NULL); | |
| } else { | |
| avb_debugv("Loading vbmeta struct from partition '", | |
| full_partition_name, | |
| "'.\n", | |
| NULL); | |
| } | |
| io_ret = ops->read_from_partition(ops, | |
| full_partition_name, | |
| vbmeta_offset, | |
| vbmeta_size, | |
| vbmeta_buf, | |
| &vbmeta_num_read); | |
| if (io_ret == AVB_IO_RESULT_ERROR_OOM) { | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| goto out; | |
| } else if (io_ret != AVB_IO_RESULT_OK) { | |
| /* If we're looking for 'vbmeta' but there is no such partition, | |
| * go try to get it from the boot partition instead. | |
| */ | |
| if (is_main_vbmeta && io_ret == AVB_IO_RESULT_ERROR_NO_SUCH_PARTITION && | |
| !look_for_vbmeta_footer) { | |
| avb_debugv(full_partition_name, | |
| ": No such partition. Trying 'boot' instead.\n", | |
| NULL); | |
| ret = load_and_verify_vbmeta(ops, | |
| requested_partitions, | |
| ab_suffix, | |
| flags, | |
| allow_verification_error, | |
| 0 /* toplevel_vbmeta_flags */, | |
| 0 /* rollback_index_location */, | |
| "boot", | |
| avb_strlen("boot"), | |
| NULL /* expected_public_key */, | |
| 0 /* expected_public_key_length */, | |
| slot_data, | |
| out_algorithm_type, | |
| out_additional_cmdline_subst); | |
| goto out; | |
| } else { | |
| avb_errorv(full_partition_name, ": Error loading vbmeta data.\n", NULL); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_IO; | |
| goto out; | |
| } | |
| } | |
| avb_assert(vbmeta_num_read <= vbmeta_size); | |
| /* Check if the image is properly signed and get the public key used | |
| * to sign the image. | |
| */ | |
| vbmeta_ret = | |
| avb_vbmeta_image_verify(vbmeta_buf, vbmeta_num_read, &pk_data, &pk_len); | |
| switch (vbmeta_ret) { | |
| case AVB_VBMETA_VERIFY_RESULT_OK: | |
| avb_assert(pk_data != NULL && pk_len > 0); | |
| break; | |
| case AVB_VBMETA_VERIFY_RESULT_OK_NOT_SIGNED: | |
| case AVB_VBMETA_VERIFY_RESULT_HASH_MISMATCH: | |
| case AVB_VBMETA_VERIFY_RESULT_SIGNATURE_MISMATCH: | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_VERIFICATION; | |
| avb_errorv(full_partition_name, | |
| ": Error verifying vbmeta image: ", | |
| avb_vbmeta_verify_result_to_string(vbmeta_ret), | |
| "\n", | |
| NULL); | |
| if (!allow_verification_error) { | |
| goto out; | |
| } | |
| break; | |
| case AVB_VBMETA_VERIFY_RESULT_INVALID_VBMETA_HEADER: | |
| /* No way to continue this case. */ | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| avb_errorv(full_partition_name, | |
| ": Error verifying vbmeta image: invalid vbmeta header\n", | |
| NULL); | |
| goto out; | |
| case AVB_VBMETA_VERIFY_RESULT_UNSUPPORTED_VERSION: | |
| /* No way to continue this case. */ | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_UNSUPPORTED_VERSION; | |
| avb_errorv(full_partition_name, | |
| ": Error verifying vbmeta image: unsupported AVB version\n", | |
| NULL); | |
| goto out; | |
| } | |
| /* Byteswap the header. */ | |
| avb_vbmeta_image_header_to_host_byte_order((AvbVBMetaImageHeader*)vbmeta_buf, | |
| &vbmeta_header); | |
| /* If we're the toplevel, assign flags so they'll be passed down. */ | |
| if (is_main_vbmeta) { | |
| toplevel_vbmeta_flags = (AvbVBMetaImageFlags)vbmeta_header.flags; | |
| } else { | |
| if (vbmeta_header.flags != 0) { | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| avb_errorv(full_partition_name, | |
| ": chained vbmeta image has non-zero flags\n", | |
| NULL); | |
| goto out; | |
| } | |
| } | |
| uint32_t rollback_index_location_to_use = rollback_index_location; | |
| /* Check if key used to make signature matches what is expected. */ | |
| if (pk_data != NULL) { | |
| if (expected_public_key != NULL) { | |
| avb_assert(!is_main_vbmeta); | |
| if (expected_public_key_length != pk_len || | |
| avb_safe_memcmp(expected_public_key, pk_data, pk_len) != 0) { | |
| avb_errorv(full_partition_name, | |
| ": Public key used to sign data does not match key in chain " | |
| "partition descriptor.\n", | |
| NULL); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_PUBLIC_KEY_REJECTED; | |
| if (!allow_verification_error) { | |
| goto out; | |
| } | |
| } | |
| } else { | |
| bool key_is_trusted = false; | |
| const uint8_t* pk_metadata = NULL; | |
| size_t pk_metadata_len = 0; | |
| if (vbmeta_header.public_key_metadata_size > 0) { | |
| pk_metadata = vbmeta_buf + sizeof(AvbVBMetaImageHeader) + | |
| vbmeta_header.authentication_data_block_size + | |
| vbmeta_header.public_key_metadata_offset; | |
| pk_metadata_len = vbmeta_header.public_key_metadata_size; | |
| } | |
| // If we're not using a vbmeta partition, need to use another AvbOps... | |
| if (flags & AVB_SLOT_VERIFY_FLAGS_NO_VBMETA_PARTITION) { | |
| io_ret = ops->validate_public_key_for_partition( | |
| ops, | |
| full_partition_name, | |
| pk_data, | |
| pk_len, | |
| pk_metadata, | |
| pk_metadata_len, | |
| &key_is_trusted, | |
| &rollback_index_location_to_use); | |
| } else { | |
| avb_assert(is_main_vbmeta); | |
| io_ret = ops->validate_vbmeta_public_key(ops, | |
| pk_data, | |
| pk_len, | |
| pk_metadata, | |
| pk_metadata_len, | |
| &key_is_trusted); | |
| } | |
| if (io_ret == AVB_IO_RESULT_ERROR_OOM) { | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| goto out; | |
| } else if (io_ret != AVB_IO_RESULT_OK) { | |
| avb_errorv(full_partition_name, | |
| ": Error while checking public key used to sign data.\n", | |
| NULL); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_IO; | |
| goto out; | |
| } | |
| if (!key_is_trusted) { | |
| avb_errorv(full_partition_name, | |
| ": Public key used to sign data rejected.\n", | |
| NULL); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_PUBLIC_KEY_REJECTED; | |
| if (!allow_verification_error) { | |
| goto out; | |
| } | |
| } | |
| } | |
| } | |
| /* Check rollback index. */ | |
| io_ret = ops->read_rollback_index( | |
| ops, rollback_index_location_to_use, &stored_rollback_index); | |
| if (io_ret == AVB_IO_RESULT_ERROR_OOM) { | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| goto out; | |
| } else if (io_ret != AVB_IO_RESULT_OK) { | |
| avb_errorv(full_partition_name, | |
| ": Error getting rollback index for location.\n", | |
| NULL); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_IO; | |
| goto out; | |
| } | |
| if (vbmeta_header.rollback_index < stored_rollback_index) { | |
| avb_errorv( | |
| full_partition_name, | |
| ": Image rollback index is less than the stored rollback index.\n", | |
| NULL); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_ROLLBACK_INDEX; | |
| if (!allow_verification_error) { | |
| goto out; | |
| } | |
| } | |
| /* Copy vbmeta to vbmeta_images before recursing. */ | |
| if (is_main_vbmeta) { | |
| avb_assert(slot_data->num_vbmeta_images == 0); | |
| } else { | |
| if (!(flags & AVB_SLOT_VERIFY_FLAGS_NO_VBMETA_PARTITION)) { | |
| avb_assert(slot_data->num_vbmeta_images > 0); | |
| } | |
| } | |
| if (slot_data->num_vbmeta_images == MAX_NUMBER_OF_VBMETA_IMAGES) { | |
| avb_errorv(full_partition_name, ": Too many vbmeta images.\n", NULL); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| goto out; | |
| } | |
| vbmeta_image_data = &slot_data->vbmeta_images[slot_data->num_vbmeta_images++]; | |
| vbmeta_image_data->partition_name = avb_strdup(partition_name); | |
| vbmeta_image_data->vbmeta_data = vbmeta_buf; | |
| /* Note that |vbmeta_buf| is actually |vbmeta_num_read| bytes long | |
| * and this includes data past the end of the image. Pass the | |
| * actual size of the vbmeta image. Also, no need to use | |
| * avb_safe_add() since the header has already been verified. | |
| */ | |
| vbmeta_image_data->vbmeta_size = | |
| sizeof(AvbVBMetaImageHeader) + | |
| vbmeta_header.authentication_data_block_size + | |
| vbmeta_header.auxiliary_data_block_size; | |
| vbmeta_image_data->verify_result = vbmeta_ret; | |
| /* If verification has been disabled by setting a bit in the image, | |
| * we're done... except that we need to load the entirety of the | |
| * requested partitions. | |
| */ | |
| if (vbmeta_header.flags & AVB_VBMETA_IMAGE_FLAGS_VERIFICATION_DISABLED) { | |
| AvbSlotVerifyResult sub_ret; | |
| avb_debugv( | |
| full_partition_name, ": VERIFICATION_DISABLED bit is set.\n", NULL); | |
| /* If load_requested_partitions() fail it is always a fatal | |
| * failure (e.g. ERROR_INVALID_ARGUMENT, ERROR_OOM, etc.) rather | |
| * than recoverable (e.g. one where result_should_continue() | |
| * returns true) and we want to convey that error. | |
| */ | |
| sub_ret = load_requested_partitions( | |
| ops, requested_partitions, ab_suffix, slot_data); | |
| if (sub_ret != AVB_SLOT_VERIFY_RESULT_OK) { | |
| ret = sub_ret; | |
| } | |
| goto out; | |
| } | |
| /* Now go through all descriptors and take the appropriate action: | |
| * | |
| * - hash descriptor: Load data from partition, calculate hash, and | |
| * checks that it matches what's in the hash descriptor. | |
| * | |
| * - hashtree descriptor: Do nothing since verification happens | |
| * on-the-fly from within the OS. (Unless the descriptor uses a | |
| * persistent digest, in which case we need to find it). | |
| * | |
| * - chained partition descriptor: Load the footer, load the vbmeta | |
| * image, verify vbmeta image (includes rollback checks, hash | |
| * checks, bail on chained partitions). | |
| */ | |
| descriptors = | |
| avb_descriptor_get_all(vbmeta_buf, vbmeta_num_read, &num_descriptors); | |
| for (n = 0; n < num_descriptors; n++) { | |
| AvbDescriptor desc; | |
| if (!avb_descriptor_validate_and_byteswap(descriptors[n], &desc)) { | |
| avb_errorv(full_partition_name, ": Descriptor is invalid.\n", NULL); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| goto out; | |
| } | |
| switch (desc.tag) { | |
| case AVB_DESCRIPTOR_TAG_HASH: { | |
| AvbSlotVerifyResult sub_ret; | |
| sub_ret = load_and_verify_hash_partition(ops, | |
| requested_partitions, | |
| ab_suffix, | |
| allow_verification_error, | |
| descriptors[n], | |
| slot_data); | |
| if (sub_ret != AVB_SLOT_VERIFY_RESULT_OK) { | |
| ret = sub_ret; | |
| if (!allow_verification_error || !result_should_continue(ret)) { | |
| goto out; | |
| } | |
| } | |
| } break; | |
| case AVB_DESCRIPTOR_TAG_CHAIN_PARTITION: { | |
| AvbSlotVerifyResult sub_ret; | |
| AvbChainPartitionDescriptor chain_desc; | |
| const uint8_t* chain_partition_name; | |
| const uint8_t* chain_public_key; | |
| /* Only allow CHAIN_PARTITION descriptors in the main vbmeta image. */ | |
| if (!is_main_vbmeta) { | |
| avb_errorv(full_partition_name, | |
| ": Encountered chain descriptor not in main image.\n", | |
| NULL); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| goto out; | |
| } | |
| if (!avb_chain_partition_descriptor_validate_and_byteswap( | |
| (AvbChainPartitionDescriptor*)descriptors[n], &chain_desc)) { | |
| avb_errorv(full_partition_name, | |
| ": Chain partition descriptor is invalid.\n", | |
| NULL); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| goto out; | |
| } | |
| if (chain_desc.rollback_index_location == 0) { | |
| avb_errorv(full_partition_name, | |
| ": Chain partition has invalid " | |
| "rollback_index_location field.\n", | |
| NULL); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| goto out; | |
| } | |
| chain_partition_name = ((const uint8_t*)descriptors[n]) + | |
| sizeof(AvbChainPartitionDescriptor); | |
| chain_public_key = chain_partition_name + chain_desc.partition_name_len; | |
| sub_ret = | |
| load_and_verify_vbmeta(ops, | |
| requested_partitions, | |
| ab_suffix, | |
| flags, | |
| allow_verification_error, | |
| toplevel_vbmeta_flags, | |
| chain_desc.rollback_index_location, | |
| (const char*)chain_partition_name, | |
| chain_desc.partition_name_len, | |
| chain_public_key, | |
| chain_desc.public_key_len, | |
| slot_data, | |
| NULL, /* out_algorithm_type */ | |
| NULL /* out_additional_cmdline_subst */); | |
| if (sub_ret != AVB_SLOT_VERIFY_RESULT_OK) { | |
| ret = sub_ret; | |
| if (!result_should_continue(ret)) { | |
| goto out; | |
| } | |
| } | |
| } break; | |
| case AVB_DESCRIPTOR_TAG_KERNEL_CMDLINE: { | |
| const uint8_t* kernel_cmdline; | |
| AvbKernelCmdlineDescriptor kernel_cmdline_desc; | |
| bool apply_cmdline; | |
| if (!avb_kernel_cmdline_descriptor_validate_and_byteswap( | |
| (AvbKernelCmdlineDescriptor*)descriptors[n], | |
| &kernel_cmdline_desc)) { | |
| avb_errorv(full_partition_name, | |
| ": Kernel cmdline descriptor is invalid.\n", | |
| NULL); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| goto out; | |
| } | |
| kernel_cmdline = ((const uint8_t*)descriptors[n]) + | |
| sizeof(AvbKernelCmdlineDescriptor); | |
| if (!avb_validate_utf8(kernel_cmdline, | |
| kernel_cmdline_desc.kernel_cmdline_length)) { | |
| avb_errorv(full_partition_name, | |
| ": Kernel cmdline is not valid UTF-8.\n", | |
| NULL); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| goto out; | |
| } | |
| /* Compare the flags for top-level VBMeta struct with flags in | |
| * the command-line descriptor so command-line snippets only | |
| * intended for a certain mode (dm-verity enabled/disabled) | |
| * are skipped if applicable. | |
| */ | |
| apply_cmdline = true; | |
| if (toplevel_vbmeta_flags & AVB_VBMETA_IMAGE_FLAGS_HASHTREE_DISABLED) { | |
| if (kernel_cmdline_desc.flags & | |
| AVB_KERNEL_CMDLINE_FLAGS_USE_ONLY_IF_HASHTREE_NOT_DISABLED) { | |
| apply_cmdline = false; | |
| } | |
| } else { | |
| if (kernel_cmdline_desc.flags & | |
| AVB_KERNEL_CMDLINE_FLAGS_USE_ONLY_IF_HASHTREE_DISABLED) { | |
| apply_cmdline = false; | |
| } | |
| } | |
| if (apply_cmdline) { | |
| if (slot_data->cmdline == NULL) { | |
| slot_data->cmdline = | |
| avb_calloc(kernel_cmdline_desc.kernel_cmdline_length + 1); | |
| if (slot_data->cmdline == NULL) { | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| goto out; | |
| } | |
| avb_memcpy(slot_data->cmdline, | |
| kernel_cmdline, | |
| kernel_cmdline_desc.kernel_cmdline_length); | |
| } else { | |
| /* new cmdline is: <existing_cmdline> + ' ' + <newcmdline> + '\0' */ | |
| size_t orig_size = avb_strlen(slot_data->cmdline); | |
| size_t new_size = | |
| orig_size + 1 + kernel_cmdline_desc.kernel_cmdline_length + 1; | |
| char* new_cmdline = avb_calloc(new_size); | |
| if (new_cmdline == NULL) { | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| goto out; | |
| } | |
| avb_memcpy(new_cmdline, slot_data->cmdline, orig_size); | |
| new_cmdline[orig_size] = ' '; | |
| avb_memcpy(new_cmdline + orig_size + 1, | |
| kernel_cmdline, | |
| kernel_cmdline_desc.kernel_cmdline_length); | |
| avb_free(slot_data->cmdline); | |
| slot_data->cmdline = new_cmdline; | |
| } | |
| } | |
| } break; | |
| case AVB_DESCRIPTOR_TAG_HASHTREE: { | |
| AvbHashtreeDescriptor hashtree_desc; | |
| if (!avb_hashtree_descriptor_validate_and_byteswap( | |
| (AvbHashtreeDescriptor*)descriptors[n], &hashtree_desc)) { | |
| avb_errorv( | |
| full_partition_name, ": Hashtree descriptor is invalid.\n", NULL); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| goto out; | |
| } | |
| /* We only need to continue when there is no digest in the descriptor. | |
| * This is because the only processing here is to find the digest and | |
| * make it available on the kernel command line. | |
| */ | |
| if (hashtree_desc.root_digest_len == 0) { | |
| char part_name[AVB_PART_NAME_MAX_SIZE]; | |
| size_t digest_len = 0; | |
| uint8_t digest_buf[AVB_SHA512_DIGEST_SIZE]; | |
| const uint8_t* desc_partition_name = | |
| ((const uint8_t*)descriptors[n]) + sizeof(AvbHashtreeDescriptor); | |
| if (!avb_validate_utf8(desc_partition_name, | |
| hashtree_desc.partition_name_len)) { | |
| avb_error("Partition name is not valid UTF-8.\n"); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| goto out; | |
| } | |
| /* No ab_suffix for partitions without a digest in the descriptor | |
| * because these partitions hold data unique to this device and are | |
| * not updated using an A/B scheme. | |
| */ | |
| if ((hashtree_desc.flags & | |
| AVB_HASHTREE_DESCRIPTOR_FLAGS_DO_NOT_USE_AB) == 0 && | |
| avb_strlen(ab_suffix) != 0) { | |
| avb_error("Cannot use A/B with a persistent root digest.\n"); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| goto out; | |
| } | |
| if (hashtree_desc.partition_name_len >= AVB_PART_NAME_MAX_SIZE) { | |
| avb_error("Partition name does not fit.\n"); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| goto out; | |
| } | |
| avb_memcpy( | |
| part_name, desc_partition_name, hashtree_desc.partition_name_len); | |
| part_name[hashtree_desc.partition_name_len] = '\0'; | |
| /* Determine the expected digest size from the hash algorithm. */ | |
| if (avb_strcmp((const char*)hashtree_desc.hash_algorithm, "sha1") == | |
| 0) { | |
| digest_len = AVB_SHA1_DIGEST_SIZE; | |
| } else if (avb_strcmp((const char*)hashtree_desc.hash_algorithm, | |
| "sha256") == 0) { | |
| digest_len = AVB_SHA256_DIGEST_SIZE; | |
| } else if (avb_strcmp((const char*)hashtree_desc.hash_algorithm, | |
| "sha512") == 0) { | |
| digest_len = AVB_SHA512_DIGEST_SIZE; | |
| } else { | |
| avb_errorv(part_name, ": Unsupported hash algorithm.\n", NULL); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| goto out; | |
| } | |
| ret = read_persistent_digest(ops, | |
| part_name, | |
| digest_len, | |
| NULL /* initial_digest */, | |
| digest_buf); | |
| if (ret != AVB_SLOT_VERIFY_RESULT_OK) { | |
| goto out; | |
| } | |
| if (out_additional_cmdline_subst) { | |
| ret = | |
| avb_add_root_digest_substitution(part_name, | |
| digest_buf, | |
| digest_len, | |
| out_additional_cmdline_subst); | |
| if (ret != AVB_SLOT_VERIFY_RESULT_OK) { | |
| goto out; | |
| } | |
| } | |
| } | |
| } break; | |
| case AVB_DESCRIPTOR_TAG_PROPERTY: | |
| /* Do nothing. */ | |
| break; | |
| } | |
| } | |
| if (rollback_index_location < 0 || | |
| rollback_index_location >= AVB_MAX_NUMBER_OF_ROLLBACK_INDEX_LOCATIONS) { | |
| avb_errorv( | |
| full_partition_name, ": Invalid rollback_index_location.\n", NULL); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA; | |
| goto out; | |
| } | |
| slot_data->rollback_indexes[rollback_index_location] = | |
| vbmeta_header.rollback_index; | |
| if (out_algorithm_type != NULL) { | |
| *out_algorithm_type = (AvbAlgorithmType)vbmeta_header.algorithm_type; | |
| } | |
| out: | |
| /* If |vbmeta_image_data| isn't NULL it means that it adopted | |
| * |vbmeta_buf| so in that case don't free it here. | |
| */ | |
| if (vbmeta_image_data == NULL) { | |
| if (vbmeta_buf != NULL) { | |
| avb_free(vbmeta_buf); | |
| } | |
| } | |
| if (descriptors != NULL) { | |
| avb_free(descriptors); | |
| } | |
| return ret; | |
| } | |
| static AvbIOResult avb_manage_hashtree_error_mode( | |
| AvbOps* ops, | |
| AvbSlotVerifyFlags flags, | |
| AvbSlotVerifyData* data, | |
| AvbHashtreeErrorMode* out_hashtree_error_mode) { | |
| AvbHashtreeErrorMode ret = AVB_HASHTREE_ERROR_MODE_RESTART; | |
| AvbIOResult io_ret = AVB_IO_RESULT_OK; | |
| uint8_t vbmeta_digest_sha256[AVB_SHA256_DIGEST_SIZE]; | |
| uint8_t stored_vbmeta_digest_sha256[AVB_SHA256_DIGEST_SIZE]; | |
| size_t num_bytes_read; | |
| avb_assert(out_hashtree_error_mode != NULL); | |
| avb_assert(ops->read_persistent_value != NULL); | |
| avb_assert(ops->write_persistent_value != NULL); | |
| // If we're rebooting because of dm-verity corruption, make a note of | |
| // the vbmeta hash so we can stay in 'eio' mode until things change. | |
| if (flags & AVB_SLOT_VERIFY_FLAGS_RESTART_CAUSED_BY_HASHTREE_CORRUPTION) { | |
| avb_debug( | |
| "Rebooting because of dm-verity corruption - " | |
| "recording OS instance and using 'eio' mode.\n"); | |
| avb_slot_verify_data_calculate_vbmeta_digest( | |
| data, AVB_DIGEST_TYPE_SHA256, vbmeta_digest_sha256); | |
| io_ret = ops->write_persistent_value(ops, | |
| AVB_NPV_MANAGED_VERITY_MODE, | |
| AVB_SHA256_DIGEST_SIZE, | |
| vbmeta_digest_sha256); | |
| if (io_ret != AVB_IO_RESULT_OK) { | |
| avb_error("Error writing to " AVB_NPV_MANAGED_VERITY_MODE ".\n"); | |
| goto out; | |
| } | |
| ret = AVB_HASHTREE_ERROR_MODE_EIO; | |
| io_ret = AVB_IO_RESULT_OK; | |
| goto out; | |
| } | |
| // See if we're in 'eio' mode. | |
| io_ret = ops->read_persistent_value(ops, | |
| AVB_NPV_MANAGED_VERITY_MODE, | |
| AVB_SHA256_DIGEST_SIZE, | |
| stored_vbmeta_digest_sha256, | |
| &num_bytes_read); | |
| if (io_ret == AVB_IO_RESULT_ERROR_NO_SUCH_VALUE || | |
| (io_ret == AVB_IO_RESULT_OK && num_bytes_read == 0)) { | |
| // This is the usual case ('eio' mode not set). | |
| avb_debug("No dm-verity corruption - using in 'restart' mode.\n"); | |
| ret = AVB_HASHTREE_ERROR_MODE_RESTART; | |
| io_ret = AVB_IO_RESULT_OK; | |
| goto out; | |
| } else if (io_ret != AVB_IO_RESULT_OK) { | |
| avb_error("Error reading from " AVB_NPV_MANAGED_VERITY_MODE ".\n"); | |
| goto out; | |
| } | |
| if (num_bytes_read != AVB_SHA256_DIGEST_SIZE) { | |
| avb_error( | |
| "Unexpected number of bytes read from " AVB_NPV_MANAGED_VERITY_MODE | |
| ".\n"); | |
| io_ret = AVB_IO_RESULT_ERROR_IO; | |
| goto out; | |
| } | |
| // OK, so we're currently in 'eio' mode and the vbmeta digest of the OS | |
| // that caused this is in |stored_vbmeta_digest_sha256| ... now see if | |
| // the OS we're dealing with now is the same. | |
| avb_slot_verify_data_calculate_vbmeta_digest( | |
| data, AVB_DIGEST_TYPE_SHA256, vbmeta_digest_sha256); | |
| if (avb_memcmp(vbmeta_digest_sha256, | |
| stored_vbmeta_digest_sha256, | |
| AVB_SHA256_DIGEST_SIZE) == 0) { | |
| // It's the same so we're still in 'eio' mode. | |
| avb_debug("Same OS instance detected - staying in 'eio' mode.\n"); | |
| ret = AVB_HASHTREE_ERROR_MODE_EIO; | |
| io_ret = AVB_IO_RESULT_OK; | |
| } else { | |
| // It did change! | |
| avb_debug( | |
| "New OS instance detected - changing from 'eio' to 'restart' mode.\n"); | |
| io_ret = | |
| ops->write_persistent_value(ops, | |
| AVB_NPV_MANAGED_VERITY_MODE, | |
| 0, // This clears the persistent property. | |
| vbmeta_digest_sha256); | |
| if (io_ret != AVB_IO_RESULT_OK) { | |
| avb_error("Error clearing " AVB_NPV_MANAGED_VERITY_MODE ".\n"); | |
| goto out; | |
| } | |
| ret = AVB_HASHTREE_ERROR_MODE_RESTART; | |
| io_ret = AVB_IO_RESULT_OK; | |
| } | |
| out: | |
| *out_hashtree_error_mode = ret; | |
| return io_ret; | |
| } | |
| static bool has_system_partition(AvbOps* ops, const char* ab_suffix) { | |
| char part_name[AVB_PART_NAME_MAX_SIZE]; | |
| char* system_part_name = "system"; | |
| char guid_buf[37]; | |
| AvbIOResult io_ret; | |
| if (!avb_str_concat(part_name, | |
| sizeof part_name, | |
| system_part_name, | |
| avb_strlen(system_part_name), | |
| ab_suffix, | |
| avb_strlen(ab_suffix))) { | |
| avb_error("System partition name and suffix does not fit.\n"); | |
| return false; | |
| } | |
| io_ret = ops->get_unique_guid_for_partition( | |
| ops, part_name, guid_buf, sizeof guid_buf); | |
| if (io_ret == AVB_IO_RESULT_ERROR_NO_SUCH_PARTITION) { | |
| avb_debug("No system partition.\n"); | |
| return false; | |
| } else if (io_ret != AVB_IO_RESULT_OK) { | |
| avb_error("Error getting unique GUID for system partition.\n"); | |
| return false; | |
| } | |
| return true; | |
| } | |
| AvbSlotVerifyResult avb_slot_verify(AvbOps* ops, | |
| const char* const* requested_partitions, | |
| const char* ab_suffix, | |
| AvbSlotVerifyFlags flags, | |
| AvbHashtreeErrorMode hashtree_error_mode, | |
| AvbSlotVerifyData** out_data) { | |
| AvbSlotVerifyResult ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_ARGUMENT; | |
| AvbSlotVerifyData* slot_data = NULL; | |
| AvbAlgorithmType algorithm_type = AVB_ALGORITHM_TYPE_NONE; | |
| bool using_boot_for_vbmeta = false; | |
| AvbVBMetaImageHeader toplevel_vbmeta; | |
| bool allow_verification_error = | |
| (flags & AVB_SLOT_VERIFY_FLAGS_ALLOW_VERIFICATION_ERROR); | |
| AvbCmdlineSubstList* additional_cmdline_subst = NULL; | |
| /* Fail early if we're missing the AvbOps needed for slot verification. */ | |
| avb_assert(ops->read_is_device_unlocked != NULL); | |
| avb_assert(ops->read_from_partition != NULL); | |
| avb_assert(ops->get_size_of_partition != NULL); | |
| avb_assert(ops->read_rollback_index != NULL); | |
| avb_assert(ops->get_unique_guid_for_partition != NULL); | |
| if (out_data != NULL) { | |
| *out_data = NULL; | |
| } | |
| /* Allowing dm-verity errors defeats the purpose of verified boot so | |
| * only allow this if set up to allow verification errors | |
| * (e.g. typically only UNLOCKED mode). | |
| */ | |
| if (hashtree_error_mode == AVB_HASHTREE_ERROR_MODE_LOGGING && | |
| !allow_verification_error) { | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_ARGUMENT; | |
| goto fail; | |
| } | |
| /* Make sure passed-in AvbOps support persistent values if | |
| * asking for libavb to manage verity state. | |
| */ | |
| if (hashtree_error_mode == AVB_HASHTREE_ERROR_MODE_MANAGED_RESTART_AND_EIO) { | |
| if (ops->read_persistent_value == NULL || | |
| ops->write_persistent_value == NULL) { | |
| avb_error( | |
| "Persistent values required for " | |
| "AVB_HASHTREE_ERROR_MODE_MANAGED_RESTART_AND_EIO " | |
| "but are not implemented in given AvbOps.\n"); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_ARGUMENT; | |
| goto fail; | |
| } | |
| } | |
| /* Make sure passed-in AvbOps support verifying public keys and getting | |
| * rollback index location if not using a vbmeta partition. | |
| */ | |
| if (flags & AVB_SLOT_VERIFY_FLAGS_NO_VBMETA_PARTITION) { | |
| if (ops->validate_public_key_for_partition == NULL) { | |
| avb_error( | |
| "AVB_SLOT_VERIFY_FLAGS_NO_VBMETA_PARTITION was passed but the " | |
| "validate_public_key_for_partition() operation isn't implemented.\n"); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_ARGUMENT; | |
| goto fail; | |
| } | |
| } else { | |
| avb_assert(ops->validate_vbmeta_public_key != NULL); | |
| } | |
| slot_data = avb_calloc(sizeof(AvbSlotVerifyData)); | |
| if (slot_data == NULL) { | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| goto fail; | |
| } | |
| slot_data->vbmeta_images = | |
| avb_calloc(sizeof(AvbVBMetaData) * MAX_NUMBER_OF_VBMETA_IMAGES); | |
| if (slot_data->vbmeta_images == NULL) { | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| goto fail; | |
| } | |
| slot_data->loaded_partitions = | |
| avb_calloc(sizeof(AvbPartitionData) * MAX_NUMBER_OF_LOADED_PARTITIONS); | |
| if (slot_data->loaded_partitions == NULL) { | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| goto fail; | |
| } | |
| additional_cmdline_subst = avb_new_cmdline_subst_list(); | |
| if (additional_cmdline_subst == NULL) { | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| goto fail; | |
| } | |
| if (flags & AVB_SLOT_VERIFY_FLAGS_NO_VBMETA_PARTITION) { | |
| if (requested_partitions == NULL || requested_partitions[0] == NULL) { | |
| avb_fatal( | |
| "Requested partitions cannot be empty when using " | |
| "AVB_SLOT_VERIFY_FLAGS_NO_VBMETA_PARTITION"); | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_ARGUMENT; | |
| goto fail; | |
| } | |
| /* No vbmeta partition, go through each of the requested partitions... */ | |
| for (size_t n = 0; requested_partitions[n] != NULL; n++) { | |
| ret = load_and_verify_vbmeta(ops, | |
| requested_partitions, | |
| ab_suffix, | |
| flags, | |
| allow_verification_error, | |
| 0 /* toplevel_vbmeta_flags */, | |
| 0 /* rollback_index_location */, | |
| requested_partitions[n], | |
| avb_strlen(requested_partitions[n]), | |
| NULL /* expected_public_key */, | |
| 0 /* expected_public_key_length */, | |
| slot_data, | |
| &algorithm_type, | |
| additional_cmdline_subst); | |
| if (!allow_verification_error && ret != AVB_SLOT_VERIFY_RESULT_OK) { | |
| goto fail; | |
| } | |
| } | |
| } else { | |
| /* Usual path, load "vbmeta"... */ | |
| ret = load_and_verify_vbmeta(ops, | |
| requested_partitions, | |
| ab_suffix, | |
| flags, | |
| allow_verification_error, | |
| 0 /* toplevel_vbmeta_flags */, | |
| 0 /* rollback_index_location */, | |
| "vbmeta", | |
| avb_strlen("vbmeta"), | |
| NULL /* expected_public_key */, | |
| 0 /* expected_public_key_length */, | |
| slot_data, | |
| &algorithm_type, | |
| additional_cmdline_subst); | |
| if (!allow_verification_error && ret != AVB_SLOT_VERIFY_RESULT_OK) { | |
| goto fail; | |
| } | |
| } | |
| if (!result_should_continue(ret)) { | |
| goto fail; | |
| } | |
| /* If things check out, mangle the kernel command-line as needed. */ | |
| if (!(flags & AVB_SLOT_VERIFY_FLAGS_NO_VBMETA_PARTITION)) { | |
| if (avb_strcmp(slot_data->vbmeta_images[0].partition_name, "vbmeta") != 0) { | |
| avb_assert( | |
| avb_strcmp(slot_data->vbmeta_images[0].partition_name, "boot") == 0); | |
| using_boot_for_vbmeta = true; | |
| } | |
| } | |
| /* Byteswap top-level vbmeta header since we'll need it below. */ | |
| avb_vbmeta_image_header_to_host_byte_order( | |
| (const AvbVBMetaImageHeader*)slot_data->vbmeta_images[0].vbmeta_data, | |
| &toplevel_vbmeta); | |
| /* Fill in |ab_suffix| field. */ | |
| slot_data->ab_suffix = avb_strdup(ab_suffix); | |
| if (slot_data->ab_suffix == NULL) { | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| goto fail; | |
| } | |
| /* If verification is disabled, we are done ... we specifically | |
| * don't want to add any androidboot.* options since verification | |
| * is disabled. | |
| */ | |
| if (toplevel_vbmeta.flags & AVB_VBMETA_IMAGE_FLAGS_VERIFICATION_DISABLED) { | |
| /* Since verification is disabled we didn't process any | |
| * descriptors and thus there's no cmdline... so set root= such | |
| * that the system partition is mounted. | |
| */ | |
| avb_assert(slot_data->cmdline == NULL); | |
| // Devices with dynamic partitions won't have system partition. | |
| // Instead, it has a large super partition to accommodate *.img files. | |
| // See b/119551429 for details. | |
| if (has_system_partition(ops, ab_suffix)) { | |
| slot_data->cmdline = | |
| avb_strdup("root=PARTUUID=$(ANDROID_SYSTEM_PARTUUID)"); | |
| } else { | |
| // The |cmdline| field should be a NUL-terminated string. | |
| slot_data->cmdline = avb_strdup(""); | |
| } | |
| if (slot_data->cmdline == NULL) { | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| goto fail; | |
| } | |
| } else { | |
| /* If requested, manage dm-verity mode... */ | |
| AvbHashtreeErrorMode resolved_hashtree_error_mode = hashtree_error_mode; | |
| if (hashtree_error_mode == | |
| AVB_HASHTREE_ERROR_MODE_MANAGED_RESTART_AND_EIO) { | |
| AvbIOResult io_ret; | |
| io_ret = avb_manage_hashtree_error_mode( | |
| ops, flags, slot_data, &resolved_hashtree_error_mode); | |
| if (io_ret != AVB_IO_RESULT_OK) { | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_IO; | |
| if (io_ret == AVB_IO_RESULT_ERROR_OOM) { | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| } | |
| goto fail; | |
| } | |
| } | |
| slot_data->resolved_hashtree_error_mode = resolved_hashtree_error_mode; | |
| /* Add options... */ | |
| AvbSlotVerifyResult sub_ret; | |
| sub_ret = avb_append_options(ops, | |
| flags, | |
| slot_data, | |
| &toplevel_vbmeta, | |
| algorithm_type, | |
| hashtree_error_mode, | |
| resolved_hashtree_error_mode); | |
| if (sub_ret != AVB_SLOT_VERIFY_RESULT_OK) { | |
| ret = sub_ret; | |
| goto fail; | |
| } | |
| } | |
| /* Substitute $(ANDROID_SYSTEM_PARTUUID) and friends. */ | |
| if (slot_data->cmdline != NULL && avb_strlen(slot_data->cmdline) != 0) { | |
| char* new_cmdline; | |
| new_cmdline = avb_sub_cmdline(ops, | |
| slot_data->cmdline, | |
| ab_suffix, | |
| using_boot_for_vbmeta, | |
| additional_cmdline_subst); | |
| if (new_cmdline != slot_data->cmdline) { | |
| if (new_cmdline == NULL) { | |
| ret = AVB_SLOT_VERIFY_RESULT_ERROR_OOM; | |
| goto fail; | |
| } | |
| avb_free(slot_data->cmdline); | |
| slot_data->cmdline = new_cmdline; | |
| } | |
| } | |
| if (out_data != NULL) { | |
| *out_data = slot_data; | |
| } else { | |
| avb_slot_verify_data_free(slot_data); | |
| } | |
| avb_free_cmdline_subst_list(additional_cmdline_subst); | |
| additional_cmdline_subst = NULL; | |
| if (!allow_verification_error) { | |
| avb_assert(ret == AVB_SLOT_VERIFY_RESULT_OK); | |
| } | |
| return ret; | |
| fail: | |
| if (slot_data != NULL) { | |
| avb_slot_verify_data_free(slot_data); | |
| } | |
| if (additional_cmdline_subst != NULL) { | |
| avb_free_cmdline_subst_list(additional_cmdline_subst); | |
| } | |
| return ret; | |
| } | |
| void avb_slot_verify_data_free(AvbSlotVerifyData* data) { | |
| if (data->ab_suffix != NULL) { | |
| avb_free(data->ab_suffix); | |
| } | |
| if (data->cmdline != NULL) { | |
| avb_free(data->cmdline); | |
| } | |
| if (data->vbmeta_images != NULL) { | |
| size_t n; | |
| for (n = 0; n < data->num_vbmeta_images; n++) { | |
| AvbVBMetaData* vbmeta_image = &data->vbmeta_images[n]; | |
| if (vbmeta_image->partition_name != NULL) { | |
| avb_free(vbmeta_image->partition_name); | |
| } | |
| if (vbmeta_image->vbmeta_data != NULL) { | |
| avb_free(vbmeta_image->vbmeta_data); | |
| } | |
| } | |
| avb_free(data->vbmeta_images); | |
| } | |
| if (data->loaded_partitions != NULL) { | |
| size_t n; | |
| for (n = 0; n < data->num_loaded_partitions; n++) { | |
| AvbPartitionData* loaded_partition = &data->loaded_partitions[n]; | |
| if (loaded_partition->partition_name != NULL) { | |
| avb_free(loaded_partition->partition_name); | |
| } | |
| if (loaded_partition->data != NULL && !loaded_partition->preloaded) { | |
| avb_free(loaded_partition->data); | |
| } | |
| } | |
| avb_free(data->loaded_partitions); | |
| } | |
| avb_free(data); | |
| } | |
| const char* avb_slot_verify_result_to_string(AvbSlotVerifyResult result) { | |
| const char* ret = NULL; | |
| switch (result) { | |
| case AVB_SLOT_VERIFY_RESULT_OK: | |
| ret = "OK"; | |
| break; | |
| case AVB_SLOT_VERIFY_RESULT_ERROR_OOM: | |
| ret = "ERROR_OOM"; | |
| break; | |
| case AVB_SLOT_VERIFY_RESULT_ERROR_IO: | |
| ret = "ERROR_IO"; | |
| break; | |
| case AVB_SLOT_VERIFY_RESULT_ERROR_VERIFICATION: | |
| ret = "ERROR_VERIFICATION"; | |
| break; | |
| case AVB_SLOT_VERIFY_RESULT_ERROR_ROLLBACK_INDEX: | |
| ret = "ERROR_ROLLBACK_INDEX"; | |
| break; | |
| case AVB_SLOT_VERIFY_RESULT_ERROR_PUBLIC_KEY_REJECTED: | |
| ret = "ERROR_PUBLIC_KEY_REJECTED"; | |
| break; | |
| case AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_METADATA: | |
| ret = "ERROR_INVALID_METADATA"; | |
| break; | |
| case AVB_SLOT_VERIFY_RESULT_ERROR_UNSUPPORTED_VERSION: | |
| ret = "ERROR_UNSUPPORTED_VERSION"; | |
| break; | |
| case AVB_SLOT_VERIFY_RESULT_ERROR_INVALID_ARGUMENT: | |
| ret = "ERROR_INVALID_ARGUMENT"; | |
| break; | |
| /* Do not add a 'default:' case here because of -Wswitch. */ | |
| } | |
| if (ret == NULL) { | |
| avb_error("Unknown AvbSlotVerifyResult value.\n"); | |
| ret = "(unknown)"; | |
| } | |
| return ret; | |
| } | |
| void avb_slot_verify_data_calculate_vbmeta_digest(AvbSlotVerifyData* data, | |
| AvbDigestType digest_type, | |
| uint8_t* out_digest) { | |
| bool ret = false; | |
| size_t n; | |
| switch (digest_type) { | |
| case AVB_DIGEST_TYPE_SHA256: { | |
| AvbSHA256Ctx ctx; | |
| avb_sha256_init(&ctx); | |
| for (n = 0; n < data->num_vbmeta_images; n++) { | |
| avb_sha256_update(&ctx, | |
| data->vbmeta_images[n].vbmeta_data, | |
| data->vbmeta_images[n].vbmeta_size); | |
| } | |
| avb_memcpy(out_digest, avb_sha256_final(&ctx), AVB_SHA256_DIGEST_SIZE); | |
| ret = true; | |
| } break; | |
| case AVB_DIGEST_TYPE_SHA512: { | |
| AvbSHA512Ctx ctx; | |
| avb_sha512_init(&ctx); | |
| for (n = 0; n < data->num_vbmeta_images; n++) { | |
| avb_sha512_update(&ctx, | |
| data->vbmeta_images[n].vbmeta_data, | |
| data->vbmeta_images[n].vbmeta_size); | |
| } | |
| avb_memcpy(out_digest, avb_sha512_final(&ctx), AVB_SHA512_DIGEST_SIZE); | |
| ret = true; | |
| } break; | |
| /* Do not add a 'default:' case here because of -Wswitch. */ | |
| } | |
| if (!ret) { | |
| avb_fatal("Unknown digest type"); | |
| } | |
| } |