keycard-pro/zcbor/zcbor_decode.c

1568 lines
36 KiB
C

/*
* Copyright (c) 2020 Nordic Semiconductor ASA
*
* SPDX-License-Identifier: Apache-2.0
*/
#include <stdint.h>
#include <stdbool.h>
#include <stddef.h>
#include <string.h>
#include <inttypes.h>
#include "zcbor_decode.h"
#include "zcbor_common.h"
#include "zcbor_print.h"
/** Return value length from additional value.
*/
static size_t additional_len(uint8_t additional)
{
if (additional <= ZCBOR_VALUE_IN_HEADER) {
return 0;
} else if (ZCBOR_VALUE_IS_1_BYTE <= additional && additional <= ZCBOR_VALUE_IS_8_BYTES) {
/* 24 => 1
* 25 => 2
* 26 => 4
* 27 => 8
*/
return 1U << (additional - ZCBOR_VALUE_IS_1_BYTE);
}
return 0xF;
}
static bool initial_checks(zcbor_state_t *state)
{
ZCBOR_CHECK_ERROR();
ZCBOR_CHECK_PAYLOAD();
return true;
}
static bool type_check(zcbor_state_t *state, zcbor_major_type_t exp_major_type)
{
if (!initial_checks(state)) {
ZCBOR_FAIL();
}
zcbor_major_type_t major_type = ZCBOR_MAJOR_TYPE(*state->payload);
if (major_type != exp_major_type) {
ZCBOR_ERR(ZCBOR_ERR_WRONG_TYPE);
}
return true;
}
#define INITIAL_CHECKS() \
do {\
if (!initial_checks(state)) { \
ZCBOR_FAIL(); \
} \
} while(0)
#define INITIAL_CHECKS_WITH_TYPE(exp_major_type) \
do {\
if (!type_check(state, exp_major_type)) { \
ZCBOR_FAIL(); \
} \
} while(0)
static void err_restore(zcbor_state_t *state, int err)
{
state->payload = state->payload_bak;
state->elem_count++;
zcbor_error(state, err);
}
#define ERR_RESTORE(err) \
do { \
err_restore(state, err); \
ZCBOR_FAIL(); \
} while(0)
#define FAIL_RESTORE() \
do { \
state->payload = state->payload_bak; \
state->elem_count++; \
ZCBOR_FAIL(); \
} while(0)
#define PRINT_FUNC() zcbor_log("%s ", __func__);
static void endian_copy(uint8_t *dst, const uint8_t *src, size_t src_len)
{
#ifdef ZCBOR_BIG_ENDIAN
memcpy(dst, src, src_len);
#else
for (size_t i = 0; i < src_len; i++) {
dst[i] = src[src_len - 1 - i];
}
#endif /* ZCBOR_BIG_ENDIAN */
}
/** Get a single value.
*
* @details @p ppayload must point to the header byte. This function will
* retrieve the value (either from within the additional info, or from
* the subsequent bytes) and return it in the result. The result can
* have arbitrary length.
*
* The function will also validate
* - Min/max constraints on the value.
* - That @p payload doesn't overrun past @p payload_end.
* - That @p elem_count has not been exhausted.
*
* @p ppayload and @p elem_count are updated if the function
* succeeds. If not, they are left unchanged.
*
* CBOR values are always big-endian, so this function converts from
* big to little-endian if necessary (@ref ZCBOR_BIG_ENDIAN).
*/
static bool value_extract(zcbor_state_t *state,
void *const result, size_t result_len)
{
zcbor_trace(state, "value_extract");
zcbor_assert_state(result_len != 0, "0-length result not supported.\r\n");
zcbor_assert_state(result_len <= 8, "result sizes above 8 bytes not supported.\r\n");
zcbor_assert_state(result != NULL, "result cannot be NULL.\r\n");
INITIAL_CHECKS();
ZCBOR_ERR_IF((state->elem_count == 0), ZCBOR_ERR_LOW_ELEM_COUNT);
uint8_t additional = ZCBOR_ADDITIONAL(*state->payload);
size_t len = additional_len(additional);
uint8_t *result_offs = (uint8_t *)result + ZCBOR_ECPY_OFFS(result_len, MAX(1, len));
ZCBOR_ERR_IF(additional > ZCBOR_VALUE_IS_8_BYTES, ZCBOR_ERR_ADDITIONAL_INVAL);
ZCBOR_ERR_IF(len > result_len, ZCBOR_ERR_INT_SIZE);
ZCBOR_ERR_IF((state->payload + len + 1) > state->payload_end,
ZCBOR_ERR_NO_PAYLOAD);
memset(result, 0, result_len);
if (len == 0) {
*result_offs = additional;
} else {
endian_copy(result_offs, state->payload + 1, len);
#ifdef ZCBOR_CANONICAL
ZCBOR_ERR_IF((zcbor_header_len_ptr(result, result_len) != (len + 1)),
ZCBOR_ERR_INVALID_VALUE_ENCODING);
#endif
}
state->payload_bak = state->payload;
(state->payload) += len + 1;
(state->elem_count)--;
return true;
}
bool zcbor_int_decode(zcbor_state_t *state, void *result, size_t result_size)
{
PRINT_FUNC();
INITIAL_CHECKS();
zcbor_major_type_t major_type = ZCBOR_MAJOR_TYPE(*state->payload);
uint8_t *result_uint8 = (uint8_t *)result;
int8_t *result_int8 = (int8_t *)result;
if (major_type != ZCBOR_MAJOR_TYPE_PINT
&& major_type != ZCBOR_MAJOR_TYPE_NINT) {
/* Value to be read doesn't have the right type. */
ZCBOR_ERR(ZCBOR_ERR_WRONG_TYPE);
}
if (!value_extract(state, result, result_size)) {
ZCBOR_FAIL();
}
#ifdef ZCBOR_BIG_ENDIAN
if (result_int8[0] < 0) {
#else
if (result_int8[result_size - 1] < 0) {
#endif
/* Value is too large to fit in a signed integer. */
ERR_RESTORE(ZCBOR_ERR_INT_SIZE);
}
if (major_type == ZCBOR_MAJOR_TYPE_NINT) {
/* Convert from CBOR's representation by flipping all bits. */
for (unsigned int i = 0; i < result_size; i++) {
result_uint8[i] = (uint8_t)~result_uint8[i];
}
}
return true;
}
bool zcbor_int32_decode(zcbor_state_t *state, int32_t *result)
{
PRINT_FUNC();
return zcbor_int_decode(state, result, sizeof(*result));
}
bool zcbor_int64_decode(zcbor_state_t *state, int64_t *result)
{
PRINT_FUNC();
return zcbor_int_decode(state, result, sizeof(*result));
}
bool zcbor_uint_decode(zcbor_state_t *state, void *result, size_t result_size)
{
PRINT_FUNC();
INITIAL_CHECKS_WITH_TYPE(ZCBOR_MAJOR_TYPE_PINT);
if (!value_extract(state, result, result_size)) {
zcbor_log("uint with size %zu failed.\r\n", result_size);
ZCBOR_FAIL();
}
return true;
}
bool zcbor_uint32_decode(zcbor_state_t *state, uint32_t *result)
{
PRINT_FUNC();
return zcbor_uint_decode(state, result, sizeof(*result));
}
bool zcbor_int32_expect_union(zcbor_state_t *state, int32_t result)
{
PRINT_FUNC();
if (!zcbor_union_elem_code(state)) {
ZCBOR_FAIL();
}
return zcbor_int32_expect(state, result);
}
bool zcbor_int64_expect_union(zcbor_state_t *state, int64_t result)
{
PRINT_FUNC();
if (!zcbor_union_elem_code(state)) {
ZCBOR_FAIL();
}
return zcbor_int64_expect(state, result);
}
bool zcbor_uint32_expect_union(zcbor_state_t *state, uint32_t result)
{
PRINT_FUNC();
if (!zcbor_union_elem_code(state)) {
ZCBOR_FAIL();
}
return zcbor_uint32_expect(state, result);
}
bool zcbor_uint64_expect_union(zcbor_state_t *state, uint64_t result)
{
PRINT_FUNC();
if (!zcbor_union_elem_code(state)) {
ZCBOR_FAIL();
}
return zcbor_uint64_expect(state, result);
}
bool zcbor_int32_expect(zcbor_state_t *state, int32_t expected)
{
PRINT_FUNC();
return zcbor_int64_expect(state, expected);
}
bool zcbor_int32_pexpect(zcbor_state_t *state, int32_t *expected)
{
PRINT_FUNC();
return zcbor_int32_expect(state, *expected);
}
bool zcbor_int64_expect(zcbor_state_t *state, int64_t expected)
{
PRINT_FUNC();
int64_t actual;
if (!zcbor_int64_decode(state, &actual)) {
ZCBOR_FAIL();
}
if (actual != expected) {
zcbor_log("%" PRIi64 " != %" PRIi64 "\r\n", actual, expected);
ERR_RESTORE(ZCBOR_ERR_WRONG_VALUE);
}
return true;
}
bool zcbor_int64_pexpect(zcbor_state_t *state, int64_t *expected)
{
PRINT_FUNC();
return zcbor_int64_expect(state, *expected);
}
bool zcbor_uint64_decode(zcbor_state_t *state, uint64_t *result)
{
PRINT_FUNC();
return zcbor_uint_decode(state, result, sizeof(*result));
}
#ifdef ZCBOR_SUPPORTS_SIZE_T
bool zcbor_size_decode(zcbor_state_t *state, size_t *result)
{
PRINT_FUNC();
return zcbor_uint_decode(state, result, sizeof(*result));
}
#endif
bool zcbor_uint32_expect(zcbor_state_t *state, uint32_t expected)
{
PRINT_FUNC();
return zcbor_uint64_expect(state, expected);
}
bool zcbor_uint32_pexpect(zcbor_state_t *state, uint32_t *expected)
{
PRINT_FUNC();
return zcbor_uint32_expect(state, *expected);
}
bool zcbor_uint64_expect(zcbor_state_t *state, uint64_t expected)
{
PRINT_FUNC();
uint64_t actual;
if (!zcbor_uint64_decode(state, &actual)) {
ZCBOR_FAIL();
}
if (actual != expected) {
zcbor_log("%" PRIu64 " != %" PRIu64 "\r\n", actual, expected);
ERR_RESTORE(ZCBOR_ERR_WRONG_VALUE);
}
return true;
}
bool zcbor_uint64_pexpect(zcbor_state_t *state, uint64_t *expected)
{
PRINT_FUNC();
return zcbor_uint64_expect(state, *expected);
}
#ifdef ZCBOR_SUPPORTS_SIZE_T
bool zcbor_size_expect(zcbor_state_t *state, size_t expected)
{
PRINT_FUNC();
return zcbor_uint64_expect(state, expected);
}
bool zcbor_size_pexpect(zcbor_state_t *state, size_t *expected)
{
PRINT_FUNC();
return zcbor_size_expect(state, *expected);
}
#endif
static bool str_start_decode(zcbor_state_t *state,
struct zcbor_string *result, zcbor_major_type_t exp_major_type)
{
INITIAL_CHECKS_WITH_TYPE(exp_major_type);
if (!value_extract(state, &result->len, sizeof(result->len))) {
ZCBOR_FAIL();
}
result->value = state->payload;
return true;
}
static bool str_start_decode_with_overflow_check(zcbor_state_t *state,
struct zcbor_string *result, zcbor_major_type_t exp_major_type)
{
bool res = str_start_decode(state, result, exp_major_type);
if (!res) {
ZCBOR_FAIL();
}
/* Casting to size_t is safe since str_start_decode() checks that
* payload_end is bigger that payload. */
if (result->len > (size_t)(state->payload_end - state->payload)) {
zcbor_log("error: 0x%zu > 0x%zu\r\n",
result->len,
(state->payload_end - state->payload));
ERR_RESTORE(ZCBOR_ERR_NO_PAYLOAD);
}
return true;
}
bool zcbor_bstr_start_decode(zcbor_state_t *state, struct zcbor_string *result)
{
PRINT_FUNC();
struct zcbor_string dummy;
if (result == NULL) {
result = &dummy;
}
if(!str_start_decode_with_overflow_check(state, result, ZCBOR_MAJOR_TYPE_BSTR)) {
ZCBOR_FAIL();
}
if (!zcbor_new_backup(state, ZCBOR_MAX_ELEM_COUNT)) {
FAIL_RESTORE();
}
state->payload_end = result->value + result->len;
return true;
}
bool zcbor_bstr_end_decode(zcbor_state_t *state)
{
ZCBOR_ERR_IF(state->payload != state->payload_end, ZCBOR_ERR_PAYLOAD_NOT_CONSUMED);
if (!zcbor_process_backup(state,
ZCBOR_FLAG_RESTORE | ZCBOR_FLAG_CONSUME | ZCBOR_FLAG_KEEP_PAYLOAD,
ZCBOR_MAX_ELEM_COUNT)) {
ZCBOR_FAIL();
}
return true;
}
static void partition_fragment(const zcbor_state_t *state,
struct zcbor_string_fragment *result)
{
result->fragment.len = MIN(result->fragment.len,
(size_t)state->payload_end - (size_t)state->payload);
}
static bool start_decode_fragment(zcbor_state_t *state,
struct zcbor_string_fragment *result,
zcbor_major_type_t exp_major_type)
{
PRINT_FUNC();
if(!str_start_decode(state, &result->fragment, exp_major_type)) {
ZCBOR_FAIL();
}
result->offset = 0;
result->total_len = result->fragment.len;
partition_fragment(state, result);
state->payload_end = state->payload + result->fragment.len;
return true;
}
bool zcbor_bstr_start_decode_fragment(zcbor_state_t *state,
struct zcbor_string_fragment *result)
{
PRINT_FUNC();
if (!start_decode_fragment(state, result, ZCBOR_MAJOR_TYPE_BSTR)) {
ZCBOR_FAIL();
}
if (!zcbor_new_backup(state, ZCBOR_MAX_ELEM_COUNT)) {
FAIL_RESTORE();
}
return true;
}
void zcbor_next_fragment(zcbor_state_t *state,
struct zcbor_string_fragment *prev_fragment,
struct zcbor_string_fragment *result)
{
memcpy(result, prev_fragment, sizeof(*result));
result->fragment.value = state->payload_mut;
result->offset += prev_fragment->fragment.len;
result->fragment.len = result->total_len - result->offset;
partition_fragment(state, result);
zcbor_log("New fragment length %zu\r\n", result->fragment.len);
state->payload += result->fragment.len;
}
void zcbor_bstr_next_fragment(zcbor_state_t *state,
struct zcbor_string_fragment *prev_fragment,
struct zcbor_string_fragment *result)
{
memcpy(result, prev_fragment, sizeof(*result));
result->fragment.value = state->payload_mut;
result->offset += prev_fragment->fragment.len;
result->fragment.len = result->total_len - result->offset;
partition_fragment(state, result);
zcbor_log("fragment length %zu\r\n", result->fragment.len);
state->payload_end = state->payload + result->fragment.len;
}
bool zcbor_is_last_fragment(const struct zcbor_string_fragment *fragment)
{
return (fragment->total_len == (fragment->offset + fragment->fragment.len));
}
static bool str_decode(zcbor_state_t *state, struct zcbor_string *result,
zcbor_major_type_t exp_major_type)
{
if (!str_start_decode_with_overflow_check(state, result, exp_major_type)) {
ZCBOR_FAIL();
}
state->payload += result->len;
return true;
}
static bool str_decode_fragment(zcbor_state_t *state, struct zcbor_string_fragment *result,
zcbor_major_type_t exp_major_type)
{
if (!start_decode_fragment(state, result, exp_major_type)) {
ZCBOR_FAIL();
}
(state->payload) += result->fragment.len;
return true;
}
static bool str_expect(zcbor_state_t *state, struct zcbor_string *result,
zcbor_major_type_t exp_major_type)
{
struct zcbor_string tmp_result;
if (!str_decode(state, &tmp_result, exp_major_type)) {
ZCBOR_FAIL();
}
if (!zcbor_compare_strings(&tmp_result, result)) {
ERR_RESTORE(ZCBOR_ERR_WRONG_VALUE);
}
return true;
}
bool zcbor_bstr_decode(zcbor_state_t *state, struct zcbor_string *result)
{
PRINT_FUNC();
return str_decode(state, result, ZCBOR_MAJOR_TYPE_BSTR);
}
bool zcbor_bstr_decode_fragment(zcbor_state_t *state, struct zcbor_string_fragment *result)
{
PRINT_FUNC();
return str_decode_fragment(state, result, ZCBOR_MAJOR_TYPE_BSTR);
}
bool zcbor_bstr_expect(zcbor_state_t *state, struct zcbor_string *expected)
{
PRINT_FUNC();
return str_expect(state, expected, ZCBOR_MAJOR_TYPE_BSTR);
}
bool zcbor_tstr_decode(zcbor_state_t *state, struct zcbor_string *result)
{
PRINT_FUNC();
return str_decode(state, result, ZCBOR_MAJOR_TYPE_TSTR);
}
bool zcbor_tstr_decode_fragment(zcbor_state_t *state, struct zcbor_string_fragment *result)
{
PRINT_FUNC();
return str_decode_fragment(state, result, ZCBOR_MAJOR_TYPE_TSTR);
}
bool zcbor_tstr_expect(zcbor_state_t *state, struct zcbor_string *expected)
{
PRINT_FUNC();
return str_expect(state, expected, ZCBOR_MAJOR_TYPE_TSTR);
}
bool zcbor_bstr_expect_ptr(zcbor_state_t *state, char const *ptr, size_t len)
{
PRINT_FUNC();
struct zcbor_string zs = { .value = (const uint8_t *)ptr, .len = len };
return zcbor_bstr_expect(state, &zs);
}
bool zcbor_tstr_expect_ptr(zcbor_state_t *state, char const *ptr, size_t len)
{
PRINT_FUNC();
struct zcbor_string zs = { .value = (const uint8_t *)ptr, .len = len };
return zcbor_tstr_expect(state, &zs);
}
bool zcbor_bstr_expect_term(zcbor_state_t *state, char const *string, size_t maxlen)
{
PRINT_FUNC();
return zcbor_bstr_expect_ptr(state, string, strnlen(string, maxlen));
}
bool zcbor_tstr_expect_term(zcbor_state_t *state, char const *string, size_t maxlen)
{
PRINT_FUNC();
return zcbor_tstr_expect_ptr(state, string, strnlen(string, maxlen));
}
static bool list_map_start_decode(zcbor_state_t *state,
zcbor_major_type_t exp_major_type)
{
size_t new_elem_count;
bool indefinite_length_array = false;
INITIAL_CHECKS_WITH_TYPE(exp_major_type);
#ifndef ZCBOR_CANONICAL
if (ZCBOR_ADDITIONAL(*state->payload) == ZCBOR_VALUE_IS_INDEFINITE_LENGTH) {
/* Indefinite length array. */
new_elem_count = ZCBOR_LARGE_ELEM_COUNT;
ZCBOR_ERR_IF(state->elem_count == 0, ZCBOR_ERR_LOW_ELEM_COUNT);
indefinite_length_array = true;
state->payload_bak = state->payload++;
state->elem_count--;
} else
#endif
{
if (!value_extract(state, &new_elem_count, sizeof(new_elem_count))) {
ZCBOR_FAIL();
}
}
if (!zcbor_new_backup(state, new_elem_count)) {
FAIL_RESTORE();
}
state->decode_state.indefinite_length_array = indefinite_length_array;
return true;
}
bool zcbor_list_start_decode(zcbor_state_t *state)
{
PRINT_FUNC();
return list_map_start_decode(state, ZCBOR_MAJOR_TYPE_LIST);
}
bool zcbor_map_start_decode(zcbor_state_t *state)
{
PRINT_FUNC();
bool ret = list_map_start_decode(state, ZCBOR_MAJOR_TYPE_MAP);
if (ret && !state->decode_state.indefinite_length_array) {
if (state->elem_count >= (ZCBOR_MAX_ELEM_COUNT / 2)) {
/* The new elem_count is too large. */
ERR_RESTORE(ZCBOR_ERR_INT_SIZE);
}
state->elem_count *= 2;
}
return ret;
}
bool zcbor_array_at_end(zcbor_state_t *state)
{
#ifdef ZCBOR_CANONICAL
const bool indefinite_length_array = false;
#else
const bool indefinite_length_array = state->decode_state.indefinite_length_array;
#endif
return ((!indefinite_length_array && (state->elem_count == 0))
|| (indefinite_length_array
&& (state->payload < state->payload_end)
&& (*state->payload == 0xFF)));
}
static size_t update_map_elem_count(zcbor_state_t *state, size_t elem_count);
#ifdef ZCBOR_MAP_SMART_SEARCH
static bool allocate_map_flags(zcbor_state_t *state, size_t elem_count);
#endif
bool zcbor_unordered_map_start_decode(zcbor_state_t *state)
{
PRINT_FUNC();
ZCBOR_FAIL_IF(!zcbor_map_start_decode(state));
#ifdef ZCBOR_MAP_SMART_SEARCH
state->decode_state.map_search_elem_state
+= zcbor_flags_to_bytes(state->decode_state.map_elem_count);
#else
state->decode_state.map_elems_processed = 0;
#endif
state->decode_state.map_elem_count = 0;
state->decode_state.counting_map_elems = state->decode_state.indefinite_length_array;
if (!state->decode_state.counting_map_elems) {
size_t old_flags = update_map_elem_count(state, state->elem_count);
#ifdef ZCBOR_MAP_SMART_SEARCH
ZCBOR_FAIL_IF(!allocate_map_flags(state, old_flags));
#endif
(void)old_flags;
}
return true;
}
/** Return the max (starting) elem_count of the current container.
*
* Should only be used for unordered maps (started with @ref zcbor_unordered_map_start_decode)
*/
static size_t zcbor_current_max_elem_count(zcbor_state_t *state)
{
return (state->decode_state.indefinite_length_array ? \
ZCBOR_LARGE_ELEM_COUNT : state->decode_state.map_elem_count * 2);
}
static bool map_restart(zcbor_state_t *state)
{
if (!zcbor_process_backup(state, ZCBOR_FLAG_RESTORE | ZCBOR_FLAG_KEEP_DECODE_STATE,
ZCBOR_MAX_ELEM_COUNT)) {
ZCBOR_FAIL();
}
state->elem_count = zcbor_current_max_elem_count(state);
return true;
}
__attribute__((used))
static size_t get_current_index(zcbor_state_t *state, uint32_t index_offset)
{
/* Subtract mode because for GET, you want the index you are pointing to, while for SET,
* you want the one you just processed. This only comes into play when elem_count is even. */
return ((zcbor_current_max_elem_count(state) - state->elem_count - index_offset) / 2);
}
#ifdef ZCBOR_MAP_SMART_SEARCH
#define FLAG_MODE_GET_CURRENT 0
#define FLAG_MODE_CLEAR_CURRENT 1
#define FLAG_MODE_CLEAR_UNUSED 2
static bool manipulate_flags(zcbor_state_t *state, uint32_t mode)
{
const size_t last_index = (state->decode_state.map_elem_count - 1);
size_t index = (mode == FLAG_MODE_CLEAR_UNUSED) ? last_index : get_current_index(state, mode);
ZCBOR_ERR_IF((index >= state->decode_state.map_elem_count),
ZCBOR_ERR_MAP_FLAGS_NOT_AVAILABLE);
uint8_t *flag_byte = &state->decode_state.map_search_elem_state[index >> 3];
uint8_t flag_mask = (uint8_t)(1 << (index & 7));
switch(mode) {
case FLAG_MODE_GET_CURRENT:
return (!!(*flag_byte & flag_mask));
case FLAG_MODE_CLEAR_CURRENT:
*flag_byte &= ~flag_mask;
return true;
case FLAG_MODE_CLEAR_UNUSED:
*flag_byte &= (uint8_t)((flag_mask << 1) - 1);
return true;
}
return false;
}
static bool should_try_key(zcbor_state_t *state)
{
return manipulate_flags(state, FLAG_MODE_GET_CURRENT);
}
bool zcbor_elem_processed(zcbor_state_t *state)
{
return manipulate_flags(state, FLAG_MODE_CLEAR_CURRENT);
}
static bool allocate_map_flags(zcbor_state_t *state, size_t old_flags)
{
size_t new_bytes = zcbor_flags_to_bytes(state->decode_state.map_elem_count);
size_t old_bytes = zcbor_flags_to_bytes(old_flags);
size_t extra_bytes = new_bytes - old_bytes;
const uint8_t *flags_end = state->constant_state->map_search_elem_state_end;
if (extra_bytes) {
if ((state->decode_state.map_search_elem_state + new_bytes) > flags_end) {
state->decode_state.map_elem_count
= 8 * (size_t)(flags_end - state->decode_state.map_search_elem_state);
ZCBOR_ERR(ZCBOR_ERR_MAP_FLAGS_NOT_AVAILABLE);
}
memset(&state->decode_state.map_search_elem_state[new_bytes - extra_bytes], 0xFF, extra_bytes);
}
return true;
}
#else
static bool should_try_key(zcbor_state_t *state)
{
return (state->decode_state.map_elems_processed < state->decode_state.map_elem_count);
}
bool zcbor_elem_processed(zcbor_state_t *state)
{
if (should_try_key(state)) {
state->decode_state.map_elems_processed++;
}
return true;
}
#endif
static size_t update_map_elem_count(zcbor_state_t *state, size_t elem_count)
{
size_t old_map_elem_count = state->decode_state.map_elem_count;
state->decode_state.map_elem_count = MAX(old_map_elem_count, elem_count / 2);
return old_map_elem_count;
}
static bool handle_map_end(zcbor_state_t *state)
{
state->decode_state.counting_map_elems = false;
return map_restart(state);
}
static bool try_key(zcbor_state_t *state, void *key_result, zcbor_decoder_t key_decoder)
{
uint8_t const *payload_bak2 = state->payload;
size_t elem_count_bak = state->elem_count;
if (!key_decoder(state, (uint8_t *)key_result)) {
state->payload = payload_bak2;
state->elem_count = elem_count_bak;
return false;
}
zcbor_log("Found element at index %zu.\n", get_current_index(state, 1));
return true;
}
bool zcbor_unordered_map_search(zcbor_decoder_t key_decoder, zcbor_state_t *state, void *key_result)
{
PRINT_FUNC();
/* elem_count cannot be odd since the map consists of key-value-pairs.
* This might mean that this function was called while pointing at a value (instead
* of a key). */
ZCBOR_ERR_IF(state->elem_count & 1, ZCBOR_ERR_MAP_MISALIGNED);
uint8_t const *payload_bak = state->payload;
size_t elem_count = state->elem_count;
/* Loop once through all the elements of the map. */
do {
if (zcbor_array_at_end(state)) {
if (!handle_map_end(state)) {
goto error;
}
continue; /* This continue is needed so the loop stops both if elem_count is
* at the very start or the very end of the map. */
}
if (state->decode_state.counting_map_elems) {
size_t m_elem_count = ZCBOR_LARGE_ELEM_COUNT - state->elem_count + 2;
size_t old_flags = update_map_elem_count(state, m_elem_count);
#ifdef ZCBOR_MAP_SMART_SEARCH
ZCBOR_FAIL_IF(!allocate_map_flags(state, old_flags));
#endif
(void)old_flags;
}
if (should_try_key(state) && try_key(state, key_result, key_decoder)) {
if (!state->constant_state->manually_process_elem) {
ZCBOR_FAIL_IF(!zcbor_elem_processed(state));
}
return true;
}
/* Skip over both the key and the value. */
if (!zcbor_any_skip(state, NULL) || !zcbor_any_skip(state, NULL)) {
goto error;
}
} while (state->elem_count != elem_count);
zcbor_error(state, ZCBOR_ERR_ELEM_NOT_FOUND);
error:
state->payload = payload_bak;
state->elem_count = elem_count;
ZCBOR_FAIL();
}
bool zcbor_search_key_bstr_ptr(zcbor_state_t *state, char const *ptr, size_t len)
{
struct zcbor_string zs = { .value = (const uint8_t *)ptr, .len = len };
return zcbor_unordered_map_search((zcbor_decoder_t *)zcbor_bstr_expect, state, &zs);
}
bool zcbor_search_key_tstr_ptr(zcbor_state_t *state, char const *ptr, size_t len)
{
struct zcbor_string zs = { .value = (const uint8_t *)ptr, .len = len };
return zcbor_unordered_map_search((zcbor_decoder_t *)zcbor_tstr_expect, state, &zs);
}
bool zcbor_search_key_bstr_term(zcbor_state_t *state, char const *str, size_t maxlen)
{
return zcbor_search_key_bstr_ptr(state, str, strnlen(str, maxlen));
}
bool zcbor_search_key_tstr_term(zcbor_state_t *state, char const *str, size_t maxlen)
{
return zcbor_search_key_tstr_ptr(state, str, strnlen(str, maxlen));
}
static bool array_end_expect(zcbor_state_t *state)
{
INITIAL_CHECKS();
ZCBOR_ERR_IF(*state->payload != 0xFF, ZCBOR_ERR_WRONG_TYPE);
state->payload++;
return true;
}
static bool list_map_end_decode(zcbor_state_t *state)
{
size_t max_elem_count = 0;
#ifndef ZCBOR_CANONICAL
if (state->decode_state.indefinite_length_array) {
if (!array_end_expect(state)) {
ZCBOR_FAIL();
}
max_elem_count = ZCBOR_MAX_ELEM_COUNT;
state->decode_state.indefinite_length_array = false;
}
#endif
if (!zcbor_process_backup(state,
ZCBOR_FLAG_RESTORE | ZCBOR_FLAG_CONSUME | ZCBOR_FLAG_KEEP_PAYLOAD,
max_elem_count)) {
ZCBOR_FAIL();
}
return true;
}
bool zcbor_list_end_decode(zcbor_state_t *state)
{
PRINT_FUNC();
return list_map_end_decode(state);
}
bool zcbor_map_end_decode(zcbor_state_t *state)
{
PRINT_FUNC();
return list_map_end_decode(state);
}
bool zcbor_unordered_map_end_decode(zcbor_state_t *state)
{
/* Checking zcbor_array_at_end() ensures that check is valid.
* In case the map is at the end, but state->decode_state.counting_map_elems isn't updated.*/
ZCBOR_ERR_IF(!zcbor_array_at_end(state) && state->decode_state.counting_map_elems,
ZCBOR_ERR_ELEMS_NOT_PROCESSED);
if (state->decode_state.map_elem_count > 0) {
#ifdef ZCBOR_MAP_SMART_SEARCH
manipulate_flags(state, FLAG_MODE_CLEAR_UNUSED);
for (size_t i = 0; i < zcbor_flags_to_bytes(state->decode_state.map_elem_count); i++) {
if (state->decode_state.map_search_elem_state[i] != 0) {
zcbor_log("unprocessed element(s) in map: [%zu] = 0x%02x\n",
i, state->decode_state.map_search_elem_state[i]);
ZCBOR_ERR(ZCBOR_ERR_ELEMS_NOT_PROCESSED);
}
}
#else
ZCBOR_ERR_IF(should_try_key(state), ZCBOR_ERR_ELEMS_NOT_PROCESSED);
#endif
}
while (!zcbor_array_at_end(state)) {
zcbor_any_skip(state, NULL);
}
return zcbor_map_end_decode(state);
}
bool zcbor_list_map_end_force_decode(zcbor_state_t *state)
{
if (!zcbor_process_backup(state,
ZCBOR_FLAG_RESTORE | ZCBOR_FLAG_CONSUME | ZCBOR_FLAG_KEEP_PAYLOAD,
ZCBOR_MAX_ELEM_COUNT)) {
ZCBOR_FAIL();
}
return true;
}
bool zcbor_simple_decode(zcbor_state_t *state, uint8_t *result)
{
PRINT_FUNC();
PRINT_FUNC();
INITIAL_CHECKS_WITH_TYPE(ZCBOR_MAJOR_TYPE_SIMPLE);
/* Simple values must be 0-23 (additional is 0-23) or 24-255 (additional is 24).
* Other additional values are not considered simple values. */
ZCBOR_ERR_IF(ZCBOR_ADDITIONAL(*state->payload) > 24, ZCBOR_ERR_WRONG_TYPE);
if (!value_extract(state, result, sizeof(*result))) {
ZCBOR_FAIL();
}
return true;
}
bool zcbor_simple_expect(zcbor_state_t *state, uint8_t expected)
{
PRINT_FUNC();
uint8_t actual;
if (!zcbor_simple_decode(state, &actual)) {
ZCBOR_FAIL();
}
if (actual != expected) {
zcbor_log("simple value %u != %u\r\n", actual, expected);
ERR_RESTORE(ZCBOR_ERR_WRONG_VALUE);
}
return true;
}
bool zcbor_simple_pexpect(zcbor_state_t *state, uint8_t *expected)
{
PRINT_FUNC();
return zcbor_simple_expect(state, *expected);
}
bool zcbor_nil_expect(zcbor_state_t *state, void *unused)
{
PRINT_FUNC();
(void)unused;
return zcbor_simple_expect(state, 22);
}
bool zcbor_undefined_expect(zcbor_state_t *state, void *unused)
{
PRINT_FUNC();
(void)unused;
return zcbor_simple_expect(state, 23);
}
bool zcbor_bool_decode(zcbor_state_t *state, bool *result)
{
PRINT_FUNC();
uint8_t value;
if (!zcbor_simple_decode(state, &value)) {
ZCBOR_FAIL();
}
value -= ZCBOR_BOOL_TO_SIMPLE;
if (value > 1) {
ERR_RESTORE(ZCBOR_ERR_WRONG_TYPE);
}
*result = value;
zcbor_log("boolval: %u\r\n", *result);
return true;
}
bool zcbor_bool_expect(zcbor_state_t *state, bool expected)
{
PRINT_FUNC();
return zcbor_simple_expect(state, (uint8_t)(!!expected) + ZCBOR_BOOL_TO_SIMPLE);
}
bool zcbor_bool_pexpect(zcbor_state_t *state, bool *expected)
{
PRINT_FUNC();
return zcbor_bool_expect(state, *expected);
}
static bool float_check(zcbor_state_t *state, uint8_t additional_val)
{
INITIAL_CHECKS_WITH_TYPE(ZCBOR_MAJOR_TYPE_SIMPLE);
ZCBOR_ERR_IF(ZCBOR_ADDITIONAL(*state->payload) != additional_val, ZCBOR_ERR_FLOAT_SIZE);
return true;
}
bool zcbor_float16_bytes_decode(zcbor_state_t *state, uint16_t *result)
{
PRINT_FUNC();
ZCBOR_FAIL_IF(!float_check(state, ZCBOR_VALUE_IS_2_BYTES));
if (!value_extract(state, result, sizeof(*result))) {
ZCBOR_FAIL();
}
return true;
}
bool zcbor_float16_bytes_expect(zcbor_state_t *state, uint16_t expected)
{
PRINT_FUNC();
uint16_t actual;
if (!zcbor_float16_bytes_decode(state, &actual)) {
ZCBOR_FAIL();
}
if (actual != expected) {
ERR_RESTORE(ZCBOR_ERR_WRONG_VALUE);
}
return true;
}
bool zcbor_float16_bytes_pexpect(zcbor_state_t *state, uint16_t *expected)
{
PRINT_FUNC();
return zcbor_float16_bytes_expect(state, *expected);
}
bool zcbor_float16_decode(zcbor_state_t *state, float *result)
{
PRINT_FUNC();
uint16_t value16;
if (!zcbor_float16_bytes_decode(state, &value16)) {
ZCBOR_FAIL();
}
*result = zcbor_float16_to_32(value16);
return true;
}
bool zcbor_float16_expect(zcbor_state_t *state, float expected)
{
PRINT_FUNC();
float actual;
if (!zcbor_float16_decode(state, &actual)) {
ZCBOR_FAIL();
}
if (actual != expected) {
ERR_RESTORE(ZCBOR_ERR_WRONG_VALUE);
}
return true;
}
bool zcbor_float16_pexpect(zcbor_state_t *state, float *expected)
{
PRINT_FUNC();
return zcbor_float16_expect(state, *expected);
}
bool zcbor_float32_decode(zcbor_state_t *state, float *result)
{
PRINT_FUNC();
ZCBOR_FAIL_IF(!float_check(state, ZCBOR_VALUE_IS_4_BYTES));
if (!value_extract(state, result, sizeof(*result))) {
ZCBOR_FAIL();
}
return true;
}
bool zcbor_float32_expect(zcbor_state_t *state, float expected)
{
PRINT_FUNC();
float actual;
if (!zcbor_float32_decode(state, &actual)) {
ZCBOR_FAIL();
}
if (actual != expected) {
ERR_RESTORE(ZCBOR_ERR_WRONG_VALUE);
}
return true;
}
bool zcbor_float32_pexpect(zcbor_state_t *state, float *expected)
{
PRINT_FUNC();
return zcbor_float32_expect(state, *expected);
}
bool zcbor_float16_32_decode(zcbor_state_t *state, float *result)
{
PRINT_FUNC();
if (zcbor_float16_decode(state, result)) {
/* Do nothing */
} else if (!zcbor_float32_decode(state, result)) {
ZCBOR_FAIL();
}
return true;
}
bool zcbor_float16_32_expect(zcbor_state_t *state, float expected)
{
PRINT_FUNC();
if (zcbor_float16_expect(state, expected)) {
/* Do nothing */
} else if (!zcbor_float32_expect(state, expected)) {
ZCBOR_FAIL();
}
return true;
}
bool zcbor_float16_32_pexpect(zcbor_state_t *state, float *expected)
{
PRINT_FUNC();
return zcbor_float16_32_expect(state, *expected);
}
bool zcbor_float64_decode(zcbor_state_t *state, double *result)
{
PRINT_FUNC();
ZCBOR_FAIL_IF(!float_check(state, ZCBOR_VALUE_IS_8_BYTES));
if (!value_extract(state, result, sizeof(*result))) {
ZCBOR_FAIL();
}
return true;
}
bool zcbor_float64_expect(zcbor_state_t *state, double expected)
{
PRINT_FUNC();
double actual;
if (!zcbor_float64_decode(state, &actual)) {
ZCBOR_FAIL();
}
if (actual != expected) {
ERR_RESTORE(ZCBOR_ERR_WRONG_VALUE);
}
return true;
}
bool zcbor_float64_pexpect(zcbor_state_t *state, double *expected)
{
PRINT_FUNC();
return zcbor_float64_expect(state, *expected);
}
bool zcbor_float32_64_decode(zcbor_state_t *state, double *result)
{
PRINT_FUNC();
float float_result;
if (zcbor_float32_decode(state, &float_result)) {
*result = (double)float_result;
} else if (!zcbor_float64_decode(state, result)) {
ZCBOR_FAIL();
}
return true;
}
bool zcbor_float32_64_expect(zcbor_state_t *state, double expected)
{
PRINT_FUNC();
if (zcbor_float64_expect(state, expected)) {
/* Do nothing */
} else if (!zcbor_float32_expect(state, (float)expected)) {
ZCBOR_FAIL();
}
return true;
}
bool zcbor_float32_64_pexpect(zcbor_state_t *state, double *expected)
{
PRINT_FUNC();
return zcbor_float32_64_expect(state, *expected);
}
bool zcbor_float_decode(zcbor_state_t *state, double *result)
{
PRINT_FUNC();
float float_result;
if (zcbor_float16_decode(state, &float_result)) {
*result = (double)float_result;
} else if (zcbor_float32_decode(state, &float_result)) {
*result = (double)float_result;
} else if (!zcbor_float64_decode(state, result)) {
ZCBOR_FAIL();
}
return true;
}
bool zcbor_float_expect(zcbor_state_t *state, double expected)
{
PRINT_FUNC();
if (zcbor_float16_expect(state, (float)expected)) {
/* Do nothing */
} else if (zcbor_float32_expect(state, (float)expected)) {
/* Do nothing */
} else if (!zcbor_float64_expect(state, expected)) {
ZCBOR_FAIL();
}
return true;
}
bool zcbor_float_pexpect(zcbor_state_t *state, double *expected)
{
PRINT_FUNC();
return zcbor_float_expect(state, *expected);
}
bool zcbor_any_skip(zcbor_state_t *state, void *result)
{
PRINT_FUNC();
zcbor_assert_state(result == NULL,
"'any' type cannot be returned, only skipped.\r\n");
(void)result;
INITIAL_CHECKS();
zcbor_major_type_t major_type = ZCBOR_MAJOR_TYPE(*state->payload);
uint8_t additional = ZCBOR_ADDITIONAL(*state->payload);
uint64_t value = 0; /* In case of indefinite_length_array. */
zcbor_state_t state_copy;
memcpy(&state_copy, state, sizeof(zcbor_state_t));
while (major_type == ZCBOR_MAJOR_TYPE_TAG) {
uint32_t tag_dummy;
if (!zcbor_tag_decode(&state_copy, &tag_dummy)) {
ZCBOR_FAIL();
}
ZCBOR_ERR_IF(state_copy.payload >= state_copy.payload_end, ZCBOR_ERR_NO_PAYLOAD);
major_type = ZCBOR_MAJOR_TYPE(*state_copy.payload);
additional = ZCBOR_ADDITIONAL(*state_copy.payload);
}
#ifdef ZCBOR_CANONICAL
const bool indefinite_length_array = false;
#else
const bool indefinite_length_array = ((additional == ZCBOR_VALUE_IS_INDEFINITE_LENGTH)
&& ((major_type == ZCBOR_MAJOR_TYPE_LIST) || (major_type == ZCBOR_MAJOR_TYPE_MAP)));
#endif
if (!indefinite_length_array && !value_extract(&state_copy, &value, sizeof(value))) {
/* Can happen because of elem_count (or payload_end) */
ZCBOR_FAIL();
}
switch (major_type) {
case ZCBOR_MAJOR_TYPE_BSTR:
case ZCBOR_MAJOR_TYPE_TSTR:
/* 'value' is the length of the BSTR or TSTR.
* The subtraction is safe because value_extract() above
* checks that payload_end is greater than payload. */
ZCBOR_ERR_IF(
value > (uint64_t)(state_copy.payload_end - state_copy.payload),
ZCBOR_ERR_NO_PAYLOAD);
(state_copy.payload) += value;
break;
case ZCBOR_MAJOR_TYPE_MAP:
ZCBOR_ERR_IF(value > (SIZE_MAX / 2), ZCBOR_ERR_INT_SIZE);
value *= 2;
/* fallthrough */
case ZCBOR_MAJOR_TYPE_LIST:
if (indefinite_length_array) {
state_copy.payload++;
value = ZCBOR_LARGE_ELEM_COUNT;
}
state_copy.elem_count = (size_t)value;
state_copy.decode_state.indefinite_length_array = indefinite_length_array;
while (!zcbor_array_at_end(&state_copy)) {
if (!zcbor_any_skip(&state_copy, NULL)) {
ZCBOR_FAIL();
}
}
if (indefinite_length_array && !array_end_expect(&state_copy)) {
ZCBOR_FAIL();
}
break;
default:
/* Do nothing */
break;
}
state->payload = state_copy.payload;
state->elem_count--;
return true;
}
bool zcbor_tag_decode(zcbor_state_t *state, uint32_t *result)
{
PRINT_FUNC();
INITIAL_CHECKS_WITH_TYPE(ZCBOR_MAJOR_TYPE_TAG);
if (!value_extract(state, result, sizeof(*result))) {
ZCBOR_FAIL();
}
state->elem_count++;
return true;
}
bool zcbor_tag_expect(zcbor_state_t *state, uint32_t expected)
{
PRINT_FUNC();
uint32_t actual;
if (!zcbor_tag_decode(state, &actual)) {
ZCBOR_FAIL();
}
if (actual != expected) {
ERR_RESTORE(ZCBOR_ERR_WRONG_VALUE);
}
return true;
}
bool zcbor_tag_pexpect(zcbor_state_t *state, uint32_t *expected)
{
PRINT_FUNC();
return zcbor_tag_expect(state, *expected);
}
bool zcbor_multi_decode(size_t min_decode,
size_t max_decode,
size_t *num_decode,
zcbor_decoder_t decoder,
zcbor_state_t *state,
void *result,
size_t result_len)
{
PRINT_FUNC();
ZCBOR_CHECK_ERROR();
for (size_t i = 0; i < max_decode; i++) {
uint8_t const *payload_bak = state->payload;
size_t elem_count_bak = state->elem_count;
if (!decoder(state,
(uint8_t *)result + i*result_len)) {
*num_decode = i;
state->payload = payload_bak;
state->elem_count = elem_count_bak;
ZCBOR_ERR_IF(i < min_decode, ZCBOR_ERR_ITERATIONS);
zcbor_log("Found %zu elements.\r\n", i);
return true;
}
}
zcbor_log("Found %zu elements.\r\n", max_decode);
*num_decode = max_decode;
return true;
}
bool zcbor_present_decode(bool *present,
zcbor_decoder_t decoder,
zcbor_state_t *state,
void *result)
{
PRINT_FUNC();
size_t num_decode = 0;
bool retval = zcbor_multi_decode(0, 1, &num_decode, decoder, state, result, 0);
zcbor_assert_state(retval, "zcbor_multi_decode should not fail with these parameters.\r\n");
*present = !!num_decode;
return retval;
}
void zcbor_new_decode_state(zcbor_state_t *state_array, size_t n_states,
const uint8_t *payload, size_t payload_len, size_t elem_count,
uint8_t *flags, size_t flags_bytes)
{
zcbor_new_state(state_array, n_states, payload, payload_len, elem_count, flags, flags_bytes);
}