1*758e9fbaSOystein Eftevaag /* SPDX-License-Identifier: BSD-2-Clause */
2*758e9fbaSOystein Eftevaag /***********************************************************************
3*758e9fbaSOystein Eftevaag * Copyright (c) 2017-2018, Intel Corporation
4*758e9fbaSOystein Eftevaag *
5*758e9fbaSOystein Eftevaag * All rights reserved.
6*758e9fbaSOystein Eftevaag ***********************************************************************/
7*758e9fbaSOystein Eftevaag #ifdef HAVE_CONFIG_H
8*758e9fbaSOystein Eftevaag #include <config.h>
9*758e9fbaSOystein Eftevaag #endif
10*758e9fbaSOystein Eftevaag
11*758e9fbaSOystein Eftevaag #include <stdlib.h>
12*758e9fbaSOystein Eftevaag #include <stdio.h>
13*758e9fbaSOystein Eftevaag
14*758e9fbaSOystein Eftevaag #include <setjmp.h>
15*758e9fbaSOystein Eftevaag #include <cmocka.h>
16*758e9fbaSOystein Eftevaag
17*758e9fbaSOystein Eftevaag #include "tss2_mu.h"
18*758e9fbaSOystein Eftevaag
19*758e9fbaSOystein Eftevaag /*
20*758e9fbaSOystein Eftevaag * Test case for successful UINT8 marshaling with NULL offset.
21*758e9fbaSOystein Eftevaag */
22*758e9fbaSOystein Eftevaag void
UINT8_marshal_success(void ** state)23*758e9fbaSOystein Eftevaag UINT8_marshal_success (void **state)
24*758e9fbaSOystein Eftevaag {
25*758e9fbaSOystein Eftevaag UINT8 src = 0x1a;
26*758e9fbaSOystein Eftevaag uint8_t buffer [1] = { 0 };
27*758e9fbaSOystein Eftevaag size_t buffer_size = sizeof (buffer);
28*758e9fbaSOystein Eftevaag TSS2_RC rc;
29*758e9fbaSOystein Eftevaag
30*758e9fbaSOystein Eftevaag rc = Tss2_MU_UINT8_Marshal (src, buffer, buffer_size, NULL);
31*758e9fbaSOystein Eftevaag
32*758e9fbaSOystein Eftevaag assert_int_equal (rc, TSS2_RC_SUCCESS);
33*758e9fbaSOystein Eftevaag assert_int_equal (src, buffer [0]);
34*758e9fbaSOystein Eftevaag }
35*758e9fbaSOystein Eftevaag /*
36*758e9fbaSOystein Eftevaag * Test case for successful UINT8 marshaling with offset.
37*758e9fbaSOystein Eftevaag */
38*758e9fbaSOystein Eftevaag void
UINT8_marshal_success_offset(void ** state)39*758e9fbaSOystein Eftevaag UINT8_marshal_success_offset (void **state)
40*758e9fbaSOystein Eftevaag {
41*758e9fbaSOystein Eftevaag UINT8 src = 0x1a;
42*758e9fbaSOystein Eftevaag uint8_t buffer [2] = { 0 };
43*758e9fbaSOystein Eftevaag size_t buffer_size = sizeof (buffer);
44*758e9fbaSOystein Eftevaag size_t offset = 1;
45*758e9fbaSOystein Eftevaag TSS2_RC rc;
46*758e9fbaSOystein Eftevaag
47*758e9fbaSOystein Eftevaag rc = Tss2_MU_UINT8_Marshal (src, buffer, buffer_size, &offset);
48*758e9fbaSOystein Eftevaag
49*758e9fbaSOystein Eftevaag assert_int_equal (rc, TSS2_RC_SUCCESS);
50*758e9fbaSOystein Eftevaag assert_int_equal (src, buffer [1]);
51*758e9fbaSOystein Eftevaag assert_int_equal (offset, sizeof (buffer));
52*758e9fbaSOystein Eftevaag }
53*758e9fbaSOystein Eftevaag /*
54*758e9fbaSOystein Eftevaag * Test case passing NULL buffer and non-NULL offset. Test to be sure offset
55*758e9fbaSOystein Eftevaag * is updated to the size of the src parameter.
56*758e9fbaSOystein Eftevaag */
57*758e9fbaSOystein Eftevaag void
UINT8_marshal_buffer_null_with_offset(void ** state)58*758e9fbaSOystein Eftevaag UINT8_marshal_buffer_null_with_offset (void **state)
59*758e9fbaSOystein Eftevaag {
60*758e9fbaSOystein Eftevaag UINT8 src = 0x1a;
61*758e9fbaSOystein Eftevaag size_t offset = 100;
62*758e9fbaSOystein Eftevaag TSS2_RC rc;
63*758e9fbaSOystein Eftevaag
64*758e9fbaSOystein Eftevaag rc = Tss2_MU_UINT8_Marshal (src, NULL, 2, &offset);
65*758e9fbaSOystein Eftevaag
66*758e9fbaSOystein Eftevaag assert_int_equal (rc, TSS2_RC_SUCCESS);
67*758e9fbaSOystein Eftevaag assert_int_equal (offset, 100 + sizeof (src));
68*758e9fbaSOystein Eftevaag }
69*758e9fbaSOystein Eftevaag /*
70*758e9fbaSOystein Eftevaag * Test case passing NULL buffer and NULL offset. This
71*758e9fbaSOystein Eftevaag */
72*758e9fbaSOystein Eftevaag void
UINT8_marshal_buffer_null_offset_null(void ** state)73*758e9fbaSOystein Eftevaag UINT8_marshal_buffer_null_offset_null (void **state)
74*758e9fbaSOystein Eftevaag {
75*758e9fbaSOystein Eftevaag UINT8 src = 0x1a;
76*758e9fbaSOystein Eftevaag TSS2_RC rc;
77*758e9fbaSOystein Eftevaag
78*758e9fbaSOystein Eftevaag rc = Tss2_MU_UINT8_Marshal (src, NULL, sizeof (src), NULL);
79*758e9fbaSOystein Eftevaag
80*758e9fbaSOystein Eftevaag assert_int_equal (rc, TSS2_MU_RC_BAD_REFERENCE);
81*758e9fbaSOystein Eftevaag }
82*758e9fbaSOystein Eftevaag /*
83*758e9fbaSOystein Eftevaag * Test failing case where buffer_size - offset (size of available space
84*758e9fbaSOystein Eftevaag * in buffer) is less than sizeof (UINT8). Also check offset is unchanged.
85*758e9fbaSOystein Eftevaag */
86*758e9fbaSOystein Eftevaag void
UINT8_marshal_buffer_size_lt_data(void ** state)87*758e9fbaSOystein Eftevaag UINT8_marshal_buffer_size_lt_data (void **state)
88*758e9fbaSOystein Eftevaag {
89*758e9fbaSOystein Eftevaag UINT8 src = 0x1a;
90*758e9fbaSOystein Eftevaag uint8_t buffer [2] = { 0 };
91*758e9fbaSOystein Eftevaag size_t offset = 2;
92*758e9fbaSOystein Eftevaag TSS2_RC rc;
93*758e9fbaSOystein Eftevaag
94*758e9fbaSOystein Eftevaag rc = Tss2_MU_UINT8_Marshal (src, buffer, sizeof (src), &offset);
95*758e9fbaSOystein Eftevaag
96*758e9fbaSOystein Eftevaag assert_int_equal (rc, TSS2_MU_RC_INSUFFICIENT_BUFFER);
97*758e9fbaSOystein Eftevaag assert_int_equal (offset, 2);
98*758e9fbaSOystein Eftevaag }
99*758e9fbaSOystein Eftevaag /*
100*758e9fbaSOystein Eftevaag * Test failing case where buffer_size is less than the offset value.
101*758e9fbaSOystein Eftevaag * This should return INSUFFICIENT_BUFFER and the offset should be unchanged.
102*758e9fbaSOystein Eftevaag */
103*758e9fbaSOystein Eftevaag void
UINT8_marshal_buffer_size_lt_offset(void ** state)104*758e9fbaSOystein Eftevaag UINT8_marshal_buffer_size_lt_offset (void **state)
105*758e9fbaSOystein Eftevaag {
106*758e9fbaSOystein Eftevaag UINT8 src = 0x1a;
107*758e9fbaSOystein Eftevaag uint8_t buffer [2] = { 0 };
108*758e9fbaSOystein Eftevaag size_t buffer_size = sizeof (buffer);
109*758e9fbaSOystein Eftevaag size_t offset = sizeof (buffer) + 1;
110*758e9fbaSOystein Eftevaag TSS2_RC rc;
111*758e9fbaSOystein Eftevaag
112*758e9fbaSOystein Eftevaag rc = Tss2_MU_UINT8_Marshal (src, buffer, buffer_size, &offset);
113*758e9fbaSOystein Eftevaag
114*758e9fbaSOystein Eftevaag assert_int_equal (rc, TSS2_MU_RC_INSUFFICIENT_BUFFER);
115*758e9fbaSOystein Eftevaag assert_int_equal (offset, sizeof (buffer) + 1);
116*758e9fbaSOystein Eftevaag }
117*758e9fbaSOystein Eftevaag /*
118*758e9fbaSOystein Eftevaag * Test case for successful UINT8 unmarshaling.
119*758e9fbaSOystein Eftevaag */
120*758e9fbaSOystein Eftevaag void
UINT8_unmarshal_success(void ** state)121*758e9fbaSOystein Eftevaag UINT8_unmarshal_success (void **state)
122*758e9fbaSOystein Eftevaag {
123*758e9fbaSOystein Eftevaag uint8_t buffer [1] = { 0xa1 };
124*758e9fbaSOystein Eftevaag uint8_t buffer_size = sizeof (buffer);
125*758e9fbaSOystein Eftevaag UINT8 dest = 0;
126*758e9fbaSOystein Eftevaag TSS2_RC rc;
127*758e9fbaSOystein Eftevaag
128*758e9fbaSOystein Eftevaag rc = Tss2_MU_UINT8_Unmarshal (buffer, buffer_size, NULL, &dest);
129*758e9fbaSOystein Eftevaag
130*758e9fbaSOystein Eftevaag assert_int_equal (rc, TSS2_RC_SUCCESS);
131*758e9fbaSOystein Eftevaag assert_int_equal (buffer [0], dest);
132*758e9fbaSOystein Eftevaag }
133*758e9fbaSOystein Eftevaag /*
134*758e9fbaSOystein Eftevaag * Test case for successful UINT8 unmarshaling with offset.
135*758e9fbaSOystein Eftevaag */
136*758e9fbaSOystein Eftevaag void
UINT8_unmarshal_success_offset(void ** state)137*758e9fbaSOystein Eftevaag UINT8_unmarshal_success_offset (void **state)
138*758e9fbaSOystein Eftevaag {
139*758e9fbaSOystein Eftevaag UINT8 dest = 0;
140*758e9fbaSOystein Eftevaag uint8_t buffer [2] = { 0x00, 0xa1 };
141*758e9fbaSOystein Eftevaag size_t buffer_size = sizeof (buffer);
142*758e9fbaSOystein Eftevaag size_t offset = 1;
143*758e9fbaSOystein Eftevaag TSS2_RC rc;
144*758e9fbaSOystein Eftevaag
145*758e9fbaSOystein Eftevaag rc = Tss2_MU_UINT8_Unmarshal (buffer, buffer_size, &offset, &dest);
146*758e9fbaSOystein Eftevaag
147*758e9fbaSOystein Eftevaag assert_int_equal (rc, TSS2_RC_SUCCESS);
148*758e9fbaSOystein Eftevaag assert_int_equal (buffer [1], dest);
149*758e9fbaSOystein Eftevaag assert_int_equal (offset, 2);
150*758e9fbaSOystein Eftevaag }
151*758e9fbaSOystein Eftevaag /*
152*758e9fbaSOystein Eftevaag * Test case ensures a NULL buffer parameter produces a BAD_REFERENCE RC.
153*758e9fbaSOystein Eftevaag */
154*758e9fbaSOystein Eftevaag void
UINT8_unmarshal_buffer_null(void ** state)155*758e9fbaSOystein Eftevaag UINT8_unmarshal_buffer_null (void **state)
156*758e9fbaSOystein Eftevaag {
157*758e9fbaSOystein Eftevaag TSS2_RC rc;
158*758e9fbaSOystein Eftevaag
159*758e9fbaSOystein Eftevaag rc = Tss2_MU_UINT8_Unmarshal (NULL, 1, NULL, NULL);
160*758e9fbaSOystein Eftevaag
161*758e9fbaSOystein Eftevaag assert_int_equal (rc, TSS2_MU_RC_BAD_REFERENCE);
162*758e9fbaSOystein Eftevaag }
163*758e9fbaSOystein Eftevaag /*
164*758e9fbaSOystein Eftevaag * Test case ensures a NULL dest and offset parameters produce an
165*758e9fbaSOystein Eftevaag * INSUFFICIENT_BUFFER RC.
166*758e9fbaSOystein Eftevaag */
167*758e9fbaSOystein Eftevaag void
UINT8_unmarshal_dest_null(void ** state)168*758e9fbaSOystein Eftevaag UINT8_unmarshal_dest_null (void **state)
169*758e9fbaSOystein Eftevaag {
170*758e9fbaSOystein Eftevaag uint8_t buffer [1];
171*758e9fbaSOystein Eftevaag TSS2_RC rc;
172*758e9fbaSOystein Eftevaag
173*758e9fbaSOystein Eftevaag rc = Tss2_MU_UINT8_Unmarshal (buffer, sizeof (buffer), NULL, NULL);
174*758e9fbaSOystein Eftevaag
175*758e9fbaSOystein Eftevaag assert_int_equal (rc, TSS2_MU_RC_BAD_REFERENCE);
176*758e9fbaSOystein Eftevaag }
177*758e9fbaSOystein Eftevaag /*
178*758e9fbaSOystein Eftevaag * Test case ensures the offset is updated when dest is NULL
179*758e9fbaSOystein Eftevaag * and offset is valid
180*758e9fbaSOystein Eftevaag */
181*758e9fbaSOystein Eftevaag void
UINT8_unmarshal_dest_null_offset_valid(void ** state)182*758e9fbaSOystein Eftevaag UINT8_unmarshal_dest_null_offset_valid (void **state)
183*758e9fbaSOystein Eftevaag {
184*758e9fbaSOystein Eftevaag uint8_t buffer [2];
185*758e9fbaSOystein Eftevaag size_t offset = 1;
186*758e9fbaSOystein Eftevaag TSS2_RC rc;
187*758e9fbaSOystein Eftevaag
188*758e9fbaSOystein Eftevaag rc = Tss2_MU_UINT8_Unmarshal (buffer, sizeof (buffer), &offset, NULL);
189*758e9fbaSOystein Eftevaag
190*758e9fbaSOystein Eftevaag assert_int_equal (rc, TSS2_RC_SUCCESS);
191*758e9fbaSOystein Eftevaag assert_int_equal (offset, 2);
192*758e9fbaSOystein Eftevaag }
193*758e9fbaSOystein Eftevaag
194*758e9fbaSOystein Eftevaag /*
195*758e9fbaSOystein Eftevaag * Test case ensures that INSUFFICIENT_BUFFER is returned when buffer_size
196*758e9fbaSOystein Eftevaag * is less than the provided offset.
197*758e9fbaSOystein Eftevaag */
198*758e9fbaSOystein Eftevaag void
UINT8_unmarshal_buffer_size_lt_offset(void ** state)199*758e9fbaSOystein Eftevaag UINT8_unmarshal_buffer_size_lt_offset (void **state)
200*758e9fbaSOystein Eftevaag {
201*758e9fbaSOystein Eftevaag UINT8 dest = 0;
202*758e9fbaSOystein Eftevaag uint8_t buffer [1];
203*758e9fbaSOystein Eftevaag size_t offset = sizeof (buffer) + 1;
204*758e9fbaSOystein Eftevaag TSS2_RC rc;
205*758e9fbaSOystein Eftevaag
206*758e9fbaSOystein Eftevaag rc = Tss2_MU_UINT8_Unmarshal (buffer, sizeof (buffer), &offset, &dest);
207*758e9fbaSOystein Eftevaag
208*758e9fbaSOystein Eftevaag assert_int_equal (rc, TSS2_MU_RC_INSUFFICIENT_BUFFER);
209*758e9fbaSOystein Eftevaag assert_int_equal (offset, sizeof (buffer) + 1);
210*758e9fbaSOystein Eftevaag assert_int_equal (dest, 0);
211*758e9fbaSOystein Eftevaag }
212*758e9fbaSOystein Eftevaag /*
213*758e9fbaSOystein Eftevaag * Test case ensures that INSUFFICIENT_BUFFER is returned when buffer_size -
214*758e9fbaSOystein Eftevaag * local_offset is less than dest (the destination type).
215*758e9fbaSOystein Eftevaag */
216*758e9fbaSOystein Eftevaag void
UINT8_unmarshal_buffer_size_lt_dest(void ** state)217*758e9fbaSOystein Eftevaag UINT8_unmarshal_buffer_size_lt_dest (void **state)
218*758e9fbaSOystein Eftevaag {
219*758e9fbaSOystein Eftevaag UINT8 dest = 0;
220*758e9fbaSOystein Eftevaag uint8_t buffer [1];
221*758e9fbaSOystein Eftevaag size_t offset = sizeof (buffer);
222*758e9fbaSOystein Eftevaag TSS2_RC rc;
223*758e9fbaSOystein Eftevaag
224*758e9fbaSOystein Eftevaag rc = Tss2_MU_UINT8_Unmarshal (buffer, sizeof (buffer), &offset, &dest);
225*758e9fbaSOystein Eftevaag
226*758e9fbaSOystein Eftevaag assert_int_equal (rc, TSS2_MU_RC_INSUFFICIENT_BUFFER);
227*758e9fbaSOystein Eftevaag assert_int_equal (offset, sizeof (buffer));
228*758e9fbaSOystein Eftevaag assert_int_equal (dest, 0);
229*758e9fbaSOystein Eftevaag }
230*758e9fbaSOystein Eftevaag int
main(void)231*758e9fbaSOystein Eftevaag main (void)
232*758e9fbaSOystein Eftevaag {
233*758e9fbaSOystein Eftevaag const struct CMUnitTest tests [] = {
234*758e9fbaSOystein Eftevaag cmocka_unit_test (UINT8_marshal_success),
235*758e9fbaSOystein Eftevaag cmocka_unit_test (UINT8_marshal_success_offset),
236*758e9fbaSOystein Eftevaag cmocka_unit_test (UINT8_marshal_buffer_null_with_offset),
237*758e9fbaSOystein Eftevaag cmocka_unit_test (UINT8_marshal_buffer_null_offset_null),
238*758e9fbaSOystein Eftevaag cmocka_unit_test (UINT8_marshal_buffer_size_lt_data),
239*758e9fbaSOystein Eftevaag cmocka_unit_test (UINT8_marshal_buffer_size_lt_offset),
240*758e9fbaSOystein Eftevaag cmocka_unit_test (UINT8_unmarshal_success),
241*758e9fbaSOystein Eftevaag cmocka_unit_test (UINT8_unmarshal_success_offset),
242*758e9fbaSOystein Eftevaag cmocka_unit_test (UINT8_unmarshal_buffer_null),
243*758e9fbaSOystein Eftevaag cmocka_unit_test (UINT8_unmarshal_dest_null),
244*758e9fbaSOystein Eftevaag cmocka_unit_test (UINT8_unmarshal_dest_null_offset_valid),
245*758e9fbaSOystein Eftevaag cmocka_unit_test (UINT8_unmarshal_buffer_size_lt_offset),
246*758e9fbaSOystein Eftevaag cmocka_unit_test (UINT8_unmarshal_buffer_size_lt_dest),
247*758e9fbaSOystein Eftevaag };
248*758e9fbaSOystein Eftevaag return cmocka_run_group_tests (tests, NULL, NULL);
249*758e9fbaSOystein Eftevaag }
250