1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
|
/*
* Copyright (c) 2014-2020 Pavel Kalvoda <me@pavelkalvoda.com>
*
* libcbor is free software; you can redistribute it and/or modify
* it under the terms of the MIT license. See LICENSE for details.
*/
#include "assertions.h"
#include "cbor.h"
#include "test_allocator.h"
cbor_item_t *arr;
struct cbor_load_result res;
unsigned char data1[] = {0x80, 0xFF};
static void test_empty_array(void **_CBOR_UNUSED(_state)) {
arr = cbor_load(data1, 2, &res);
assert_non_null(arr);
assert_true(cbor_typeof(arr) == CBOR_TYPE_ARRAY);
assert_true(cbor_isa_array(arr));
assert_true(cbor_array_size(arr) == 0);
assert_true(res.read == 1);
cbor_decref(&arr);
assert_null(arr);
}
unsigned char data2[] = {0x81, 0x01, 0xFF};
static void test_simple_array(void **_CBOR_UNUSED(_state)) {
arr = cbor_load(data2, 3, &res);
assert_non_null(arr);
assert_true(cbor_typeof(arr) == CBOR_TYPE_ARRAY);
assert_true(cbor_isa_array(arr));
assert_size_equal(cbor_array_size(arr), 1);
assert_true(res.read == 2);
assert_size_equal(cbor_array_allocated(arr), 1);
/* Check the values */
assert_uint8(cbor_array_handle(arr)[0], 1);
cbor_item_t *intermediate = cbor_array_get(arr, 0);
assert_uint8(intermediate, 1);
cbor_item_t *new_val = cbor_build_uint8(10);
assert_false(cbor_array_set(arr, 1, new_val));
assert_false(cbor_array_set(arr, 3, new_val));
cbor_decref(&new_val);
cbor_decref(&arr);
cbor_decref(&intermediate);
assert_null(arr);
assert_null(intermediate);
}
unsigned char data3[] = {0x82, 0x01, 0x81, 0x01, 0xFF};
static void test_nested_arrays(void **_CBOR_UNUSED(_state)) {
arr = cbor_load(data3, 5, &res);
assert_non_null(arr);
assert_true(cbor_typeof(arr) == CBOR_TYPE_ARRAY);
assert_true(cbor_isa_array(arr));
assert_true(cbor_array_size(arr) == 2);
assert_true(res.read == 4);
/* Check the values */
assert_uint8(cbor_array_handle(arr)[0], 1);
cbor_item_t *nested = cbor_array_handle(arr)[1];
assert_true(cbor_isa_array(nested));
assert_true(cbor_array_size(nested) == 1);
assert_uint8(cbor_array_handle(nested)[0], 1);
cbor_decref(&arr);
assert_null(arr);
}
unsigned char test_indef_arrays_data[] = {0x9f, 0x01, 0x02, 0xFF};
static void test_indef_arrays(void **_CBOR_UNUSED(_state)) {
arr = cbor_load(test_indef_arrays_data, 4, &res);
assert_non_null(arr);
assert_true(cbor_typeof(arr) == CBOR_TYPE_ARRAY);
assert_true(cbor_isa_array(arr));
assert_true(cbor_array_size(arr) == 2);
assert_true(res.read == 4);
/* Check the values */
assert_uint8(cbor_array_handle(arr)[0], 1);
assert_uint8(cbor_array_handle(arr)[1], 2);
assert_true(cbor_array_set(arr, 1, cbor_move(cbor_build_uint8(10))));
cbor_decref(&arr);
assert_null(arr);
}
unsigned char test_nested_indef_arrays_data[] = {0x9f, 0x01, 0x9f, 0x02,
0xFF, 0x03, 0xFF};
static void test_nested_indef_arrays(void **_CBOR_UNUSED(_state)) {
arr = cbor_load(test_nested_indef_arrays_data, 7, &res);
assert_non_null(arr);
assert_true(cbor_typeof(arr) == CBOR_TYPE_ARRAY);
assert_true(cbor_isa_array(arr));
assert_size_equal(cbor_array_size(arr), 3);
assert_true(res.read == 7);
/* Check the values */
assert_uint8(cbor_array_handle(arr)[0], 1);
cbor_item_t *nested = cbor_array_handle(arr)[1];
assert_true(cbor_isa_array(nested));
assert_true(cbor_array_size(nested) == 1);
assert_uint8(cbor_array_handle(nested)[0], 2);
cbor_decref(&arr);
assert_null(arr);
}
static void test_array_replace(void **_CBOR_UNUSED(_state)) {
cbor_item_t *array = cbor_new_definite_array(2);
assert_size_equal(cbor_array_size(array), 0);
cbor_item_t *one = cbor_build_uint8(1);
cbor_item_t *three = cbor_build_uint8(3);
assert_size_equal(cbor_refcount(one), 1);
assert_size_equal(cbor_refcount(three), 1);
// No item to replace
assert_false(cbor_array_replace(array, 0, three));
assert_size_equal(cbor_refcount(three), 1);
// Add items [1, 2]
assert_true(cbor_array_push(array, one));
assert_true(cbor_array_push(array, cbor_move(cbor_build_uint8(2))));
assert_size_equal(cbor_refcount(one), 2);
assert_size_equal(cbor_array_size(array), 2);
// Array has only two items
assert_false(cbor_array_replace(array, 2, three));
assert_size_equal(cbor_refcount(three), 1);
// Change [1, 2] to [3, 2]
assert_true(cbor_array_replace(array, 0, three));
assert_size_equal(cbor_refcount(one), 1);
assert_size_equal(cbor_refcount(three), 2);
assert_uint8(cbor_move(cbor_array_get(array, 0)), 3);
assert_uint8(cbor_move(cbor_array_get(array, 1)), 2);
cbor_decref(&one);
cbor_decref(&three);
cbor_decref(&array);
}
static void test_array_push_overflow(void **_CBOR_UNUSED(_state)) {
cbor_item_t *array = cbor_new_indefinite_array();
cbor_item_t *one = cbor_build_uint8(1);
struct _cbor_array_metadata *metadata =
(struct _cbor_array_metadata *)&array->metadata;
// Pretend we already have a huge block allocated
metadata->allocated = SIZE_MAX;
metadata->end_ptr = SIZE_MAX;
assert_false(cbor_array_push(array, one));
assert_size_equal(cbor_refcount(one), 1);
cbor_decref(&one);
metadata->allocated = 0;
metadata->end_ptr = 0;
cbor_decref(&array);
}
static void test_array_creation(void **_CBOR_UNUSED(_state)) {
WITH_FAILING_MALLOC({ assert_null(cbor_new_definite_array(42)); });
WITH_MOCK_MALLOC({ assert_null(cbor_new_definite_array(42)); }, 2, MALLOC,
MALLOC_FAIL);
WITH_FAILING_MALLOC({ assert_null(cbor_new_indefinite_array()); });
}
static void test_array_push(void **_CBOR_UNUSED(_state)) {
WITH_MOCK_MALLOC(
{
cbor_item_t *array = cbor_new_indefinite_array();
cbor_item_t *string = cbor_build_string("Hello!");
assert_false(cbor_array_push(array, string));
assert_size_equal(cbor_array_allocated(array), 0);
assert_null(array->data);
assert_size_equal(array->metadata.array_metadata.end_ptr, 0);
cbor_decref(&string);
cbor_decref(&array);
},
4, MALLOC, MALLOC, MALLOC, REALLOC_FAIL);
}
static unsigned char simple_indef_array[] = {0x9F, 0x01, 0x02, 0xFF};
static void test_indef_array_decode(void **_CBOR_UNUSED(_state)) {
WITH_MOCK_MALLOC(
{
cbor_item_t *array;
struct cbor_load_result res;
array = cbor_load(simple_indef_array, 4, &res);
assert_null(array);
assert_size_equal(res.error.code, CBOR_ERR_MEMERROR);
},
4, MALLOC, MALLOC, MALLOC, REALLOC_FAIL);
}
int main(void) {
const struct CMUnitTest tests[] = {
cmocka_unit_test(test_empty_array),
cmocka_unit_test(test_simple_array),
cmocka_unit_test(test_nested_arrays),
cmocka_unit_test(test_indef_arrays),
cmocka_unit_test(test_nested_indef_arrays),
cmocka_unit_test(test_array_replace),
cmocka_unit_test(test_array_push_overflow),
cmocka_unit_test(test_array_creation),
cmocka_unit_test(test_array_push),
cmocka_unit_test(test_indef_array_decode),
};
return cmocka_run_group_tests(tests, NULL, NULL);
}
|
