1*62c56f98SSadaf Ebrahimi /*
2*62c56f98SSadaf Ebrahimi * Copyright The Mbed TLS Contributors
3*62c56f98SSadaf Ebrahimi * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
4*62c56f98SSadaf Ebrahimi */
5*62c56f98SSadaf Ebrahimi
6*62c56f98SSadaf Ebrahimi #include <test/constant_flow.h>
7*62c56f98SSadaf Ebrahimi #include <test/helpers.h>
8*62c56f98SSadaf Ebrahimi #include <test/macros.h>
9*62c56f98SSadaf Ebrahimi #include <string.h>
10*62c56f98SSadaf Ebrahimi
11*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_PSA_INJECT_ENTROPY)
12*62c56f98SSadaf Ebrahimi #include <psa/crypto.h>
13*62c56f98SSadaf Ebrahimi #include <test/psa_crypto_helpers.h>
14*62c56f98SSadaf Ebrahimi #endif
15*62c56f98SSadaf Ebrahimi
16*62c56f98SSadaf Ebrahimi /*----------------------------------------------------------------------------*/
17*62c56f98SSadaf Ebrahimi /* Static global variables */
18*62c56f98SSadaf Ebrahimi
19*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_PLATFORM_C)
20*62c56f98SSadaf Ebrahimi static mbedtls_platform_context platform_ctx;
21*62c56f98SSadaf Ebrahimi #endif
22*62c56f98SSadaf Ebrahimi
23*62c56f98SSadaf Ebrahimi mbedtls_test_info_t mbedtls_test_info;
24*62c56f98SSadaf Ebrahimi
25*62c56f98SSadaf Ebrahimi /*----------------------------------------------------------------------------*/
26*62c56f98SSadaf Ebrahimi /* Helper Functions */
27*62c56f98SSadaf Ebrahimi
mbedtls_test_platform_setup(void)28*62c56f98SSadaf Ebrahimi int mbedtls_test_platform_setup(void)
29*62c56f98SSadaf Ebrahimi {
30*62c56f98SSadaf Ebrahimi int ret = 0;
31*62c56f98SSadaf Ebrahimi
32*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_PSA_INJECT_ENTROPY)
33*62c56f98SSadaf Ebrahimi /* Make sure that injected entropy is present. Otherwise
34*62c56f98SSadaf Ebrahimi * psa_crypto_init() will fail. This is not necessary for test suites
35*62c56f98SSadaf Ebrahimi * that don't use PSA, but it's harmless (except for leaving a file
36*62c56f98SSadaf Ebrahimi * behind). */
37*62c56f98SSadaf Ebrahimi ret = mbedtls_test_inject_entropy_restore();
38*62c56f98SSadaf Ebrahimi if (ret != 0) {
39*62c56f98SSadaf Ebrahimi return ret;
40*62c56f98SSadaf Ebrahimi }
41*62c56f98SSadaf Ebrahimi #endif
42*62c56f98SSadaf Ebrahimi
43*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_PLATFORM_C)
44*62c56f98SSadaf Ebrahimi ret = mbedtls_platform_setup(&platform_ctx);
45*62c56f98SSadaf Ebrahimi #endif /* MBEDTLS_PLATFORM_C */
46*62c56f98SSadaf Ebrahimi
47*62c56f98SSadaf Ebrahimi return ret;
48*62c56f98SSadaf Ebrahimi }
49*62c56f98SSadaf Ebrahimi
mbedtls_test_platform_teardown(void)50*62c56f98SSadaf Ebrahimi void mbedtls_test_platform_teardown(void)
51*62c56f98SSadaf Ebrahimi {
52*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_PLATFORM_C)
53*62c56f98SSadaf Ebrahimi mbedtls_platform_teardown(&platform_ctx);
54*62c56f98SSadaf Ebrahimi #endif /* MBEDTLS_PLATFORM_C */
55*62c56f98SSadaf Ebrahimi }
56*62c56f98SSadaf Ebrahimi
mbedtls_test_ascii2uc(const char c,unsigned char * uc)57*62c56f98SSadaf Ebrahimi int mbedtls_test_ascii2uc(const char c, unsigned char *uc)
58*62c56f98SSadaf Ebrahimi {
59*62c56f98SSadaf Ebrahimi if ((c >= '0') && (c <= '9')) {
60*62c56f98SSadaf Ebrahimi *uc = c - '0';
61*62c56f98SSadaf Ebrahimi } else if ((c >= 'a') && (c <= 'f')) {
62*62c56f98SSadaf Ebrahimi *uc = c - 'a' + 10;
63*62c56f98SSadaf Ebrahimi } else if ((c >= 'A') && (c <= 'F')) {
64*62c56f98SSadaf Ebrahimi *uc = c - 'A' + 10;
65*62c56f98SSadaf Ebrahimi } else {
66*62c56f98SSadaf Ebrahimi return -1;
67*62c56f98SSadaf Ebrahimi }
68*62c56f98SSadaf Ebrahimi
69*62c56f98SSadaf Ebrahimi return 0;
70*62c56f98SSadaf Ebrahimi }
71*62c56f98SSadaf Ebrahimi
mbedtls_test_fail(const char * test,int line_no,const char * filename)72*62c56f98SSadaf Ebrahimi void mbedtls_test_fail(const char *test, int line_no, const char *filename)
73*62c56f98SSadaf Ebrahimi {
74*62c56f98SSadaf Ebrahimi if (mbedtls_test_info.result == MBEDTLS_TEST_RESULT_FAILED) {
75*62c56f98SSadaf Ebrahimi /* We've already recorded the test as having failed. Don't
76*62c56f98SSadaf Ebrahimi * overwrite any previous information about the failure. */
77*62c56f98SSadaf Ebrahimi return;
78*62c56f98SSadaf Ebrahimi }
79*62c56f98SSadaf Ebrahimi mbedtls_test_info.result = MBEDTLS_TEST_RESULT_FAILED;
80*62c56f98SSadaf Ebrahimi mbedtls_test_info.test = test;
81*62c56f98SSadaf Ebrahimi mbedtls_test_info.line_no = line_no;
82*62c56f98SSadaf Ebrahimi mbedtls_test_info.filename = filename;
83*62c56f98SSadaf Ebrahimi }
84*62c56f98SSadaf Ebrahimi
mbedtls_test_skip(const char * test,int line_no,const char * filename)85*62c56f98SSadaf Ebrahimi void mbedtls_test_skip(const char *test, int line_no, const char *filename)
86*62c56f98SSadaf Ebrahimi {
87*62c56f98SSadaf Ebrahimi mbedtls_test_info.result = MBEDTLS_TEST_RESULT_SKIPPED;
88*62c56f98SSadaf Ebrahimi mbedtls_test_info.test = test;
89*62c56f98SSadaf Ebrahimi mbedtls_test_info.line_no = line_no;
90*62c56f98SSadaf Ebrahimi mbedtls_test_info.filename = filename;
91*62c56f98SSadaf Ebrahimi }
92*62c56f98SSadaf Ebrahimi
mbedtls_test_set_step(unsigned long step)93*62c56f98SSadaf Ebrahimi void mbedtls_test_set_step(unsigned long step)
94*62c56f98SSadaf Ebrahimi {
95*62c56f98SSadaf Ebrahimi mbedtls_test_info.step = step;
96*62c56f98SSadaf Ebrahimi }
97*62c56f98SSadaf Ebrahimi
98*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_BIGNUM_C)
99*62c56f98SSadaf Ebrahimi unsigned mbedtls_test_case_uses_negative_0 = 0;
100*62c56f98SSadaf Ebrahimi #endif
101*62c56f98SSadaf Ebrahimi
mbedtls_test_info_reset(void)102*62c56f98SSadaf Ebrahimi void mbedtls_test_info_reset(void)
103*62c56f98SSadaf Ebrahimi {
104*62c56f98SSadaf Ebrahimi mbedtls_test_info.result = MBEDTLS_TEST_RESULT_SUCCESS;
105*62c56f98SSadaf Ebrahimi mbedtls_test_info.step = (unsigned long) (-1);
106*62c56f98SSadaf Ebrahimi mbedtls_test_info.test = 0;
107*62c56f98SSadaf Ebrahimi mbedtls_test_info.line_no = 0;
108*62c56f98SSadaf Ebrahimi mbedtls_test_info.filename = 0;
109*62c56f98SSadaf Ebrahimi memset(mbedtls_test_info.line1, 0, sizeof(mbedtls_test_info.line1));
110*62c56f98SSadaf Ebrahimi memset(mbedtls_test_info.line2, 0, sizeof(mbedtls_test_info.line2));
111*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_BIGNUM_C)
112*62c56f98SSadaf Ebrahimi mbedtls_test_case_uses_negative_0 = 0;
113*62c56f98SSadaf Ebrahimi #endif
114*62c56f98SSadaf Ebrahimi }
115*62c56f98SSadaf Ebrahimi
mbedtls_test_equal(const char * test,int line_no,const char * filename,unsigned long long value1,unsigned long long value2)116*62c56f98SSadaf Ebrahimi int mbedtls_test_equal(const char *test, int line_no, const char *filename,
117*62c56f98SSadaf Ebrahimi unsigned long long value1, unsigned long long value2)
118*62c56f98SSadaf Ebrahimi {
119*62c56f98SSadaf Ebrahimi TEST_CF_PUBLIC(&value1, sizeof(value1));
120*62c56f98SSadaf Ebrahimi TEST_CF_PUBLIC(&value2, sizeof(value2));
121*62c56f98SSadaf Ebrahimi
122*62c56f98SSadaf Ebrahimi if (value1 == value2) {
123*62c56f98SSadaf Ebrahimi return 1;
124*62c56f98SSadaf Ebrahimi }
125*62c56f98SSadaf Ebrahimi
126*62c56f98SSadaf Ebrahimi if (mbedtls_test_info.result == MBEDTLS_TEST_RESULT_FAILED) {
127*62c56f98SSadaf Ebrahimi /* We've already recorded the test as having failed. Don't
128*62c56f98SSadaf Ebrahimi * overwrite any previous information about the failure. */
129*62c56f98SSadaf Ebrahimi return 0;
130*62c56f98SSadaf Ebrahimi }
131*62c56f98SSadaf Ebrahimi mbedtls_test_fail(test, line_no, filename);
132*62c56f98SSadaf Ebrahimi (void) mbedtls_snprintf(mbedtls_test_info.line1,
133*62c56f98SSadaf Ebrahimi sizeof(mbedtls_test_info.line1),
134*62c56f98SSadaf Ebrahimi "lhs = 0x%016llx = %lld",
135*62c56f98SSadaf Ebrahimi value1, (long long) value1);
136*62c56f98SSadaf Ebrahimi (void) mbedtls_snprintf(mbedtls_test_info.line2,
137*62c56f98SSadaf Ebrahimi sizeof(mbedtls_test_info.line2),
138*62c56f98SSadaf Ebrahimi "rhs = 0x%016llx = %lld",
139*62c56f98SSadaf Ebrahimi value2, (long long) value2);
140*62c56f98SSadaf Ebrahimi return 0;
141*62c56f98SSadaf Ebrahimi }
142*62c56f98SSadaf Ebrahimi
mbedtls_test_le_u(const char * test,int line_no,const char * filename,unsigned long long value1,unsigned long long value2)143*62c56f98SSadaf Ebrahimi int mbedtls_test_le_u(const char *test, int line_no, const char *filename,
144*62c56f98SSadaf Ebrahimi unsigned long long value1, unsigned long long value2)
145*62c56f98SSadaf Ebrahimi {
146*62c56f98SSadaf Ebrahimi TEST_CF_PUBLIC(&value1, sizeof(value1));
147*62c56f98SSadaf Ebrahimi TEST_CF_PUBLIC(&value2, sizeof(value2));
148*62c56f98SSadaf Ebrahimi
149*62c56f98SSadaf Ebrahimi if (value1 <= value2) {
150*62c56f98SSadaf Ebrahimi return 1;
151*62c56f98SSadaf Ebrahimi }
152*62c56f98SSadaf Ebrahimi
153*62c56f98SSadaf Ebrahimi if (mbedtls_test_info.result == MBEDTLS_TEST_RESULT_FAILED) {
154*62c56f98SSadaf Ebrahimi /* We've already recorded the test as having failed. Don't
155*62c56f98SSadaf Ebrahimi * overwrite any previous information about the failure. */
156*62c56f98SSadaf Ebrahimi return 0;
157*62c56f98SSadaf Ebrahimi }
158*62c56f98SSadaf Ebrahimi mbedtls_test_fail(test, line_no, filename);
159*62c56f98SSadaf Ebrahimi (void) mbedtls_snprintf(mbedtls_test_info.line1,
160*62c56f98SSadaf Ebrahimi sizeof(mbedtls_test_info.line1),
161*62c56f98SSadaf Ebrahimi "lhs = 0x%016llx = %llu",
162*62c56f98SSadaf Ebrahimi value1, value1);
163*62c56f98SSadaf Ebrahimi (void) mbedtls_snprintf(mbedtls_test_info.line2,
164*62c56f98SSadaf Ebrahimi sizeof(mbedtls_test_info.line2),
165*62c56f98SSadaf Ebrahimi "rhs = 0x%016llx = %llu",
166*62c56f98SSadaf Ebrahimi value2, value2);
167*62c56f98SSadaf Ebrahimi return 0;
168*62c56f98SSadaf Ebrahimi }
169*62c56f98SSadaf Ebrahimi
mbedtls_test_le_s(const char * test,int line_no,const char * filename,long long value1,long long value2)170*62c56f98SSadaf Ebrahimi int mbedtls_test_le_s(const char *test, int line_no, const char *filename,
171*62c56f98SSadaf Ebrahimi long long value1, long long value2)
172*62c56f98SSadaf Ebrahimi {
173*62c56f98SSadaf Ebrahimi TEST_CF_PUBLIC(&value1, sizeof(value1));
174*62c56f98SSadaf Ebrahimi TEST_CF_PUBLIC(&value2, sizeof(value2));
175*62c56f98SSadaf Ebrahimi
176*62c56f98SSadaf Ebrahimi if (value1 <= value2) {
177*62c56f98SSadaf Ebrahimi return 1;
178*62c56f98SSadaf Ebrahimi }
179*62c56f98SSadaf Ebrahimi
180*62c56f98SSadaf Ebrahimi if (mbedtls_test_info.result == MBEDTLS_TEST_RESULT_FAILED) {
181*62c56f98SSadaf Ebrahimi /* We've already recorded the test as having failed. Don't
182*62c56f98SSadaf Ebrahimi * overwrite any previous information about the failure. */
183*62c56f98SSadaf Ebrahimi return 0;
184*62c56f98SSadaf Ebrahimi }
185*62c56f98SSadaf Ebrahimi mbedtls_test_fail(test, line_no, filename);
186*62c56f98SSadaf Ebrahimi (void) mbedtls_snprintf(mbedtls_test_info.line1,
187*62c56f98SSadaf Ebrahimi sizeof(mbedtls_test_info.line1),
188*62c56f98SSadaf Ebrahimi "lhs = 0x%016llx = %lld",
189*62c56f98SSadaf Ebrahimi (unsigned long long) value1, value1);
190*62c56f98SSadaf Ebrahimi (void) mbedtls_snprintf(mbedtls_test_info.line2,
191*62c56f98SSadaf Ebrahimi sizeof(mbedtls_test_info.line2),
192*62c56f98SSadaf Ebrahimi "rhs = 0x%016llx = %lld",
193*62c56f98SSadaf Ebrahimi (unsigned long long) value2, value2);
194*62c56f98SSadaf Ebrahimi return 0;
195*62c56f98SSadaf Ebrahimi }
196*62c56f98SSadaf Ebrahimi
mbedtls_test_unhexify(unsigned char * obuf,size_t obufmax,const char * ibuf,size_t * len)197*62c56f98SSadaf Ebrahimi int mbedtls_test_unhexify(unsigned char *obuf,
198*62c56f98SSadaf Ebrahimi size_t obufmax,
199*62c56f98SSadaf Ebrahimi const char *ibuf,
200*62c56f98SSadaf Ebrahimi size_t *len)
201*62c56f98SSadaf Ebrahimi {
202*62c56f98SSadaf Ebrahimi unsigned char uc, uc2;
203*62c56f98SSadaf Ebrahimi
204*62c56f98SSadaf Ebrahimi *len = strlen(ibuf);
205*62c56f98SSadaf Ebrahimi
206*62c56f98SSadaf Ebrahimi /* Must be even number of bytes. */
207*62c56f98SSadaf Ebrahimi if ((*len) & 1) {
208*62c56f98SSadaf Ebrahimi return -1;
209*62c56f98SSadaf Ebrahimi }
210*62c56f98SSadaf Ebrahimi *len /= 2;
211*62c56f98SSadaf Ebrahimi
212*62c56f98SSadaf Ebrahimi if ((*len) > obufmax) {
213*62c56f98SSadaf Ebrahimi return -1;
214*62c56f98SSadaf Ebrahimi }
215*62c56f98SSadaf Ebrahimi
216*62c56f98SSadaf Ebrahimi while (*ibuf != 0) {
217*62c56f98SSadaf Ebrahimi if (mbedtls_test_ascii2uc(*(ibuf++), &uc) != 0) {
218*62c56f98SSadaf Ebrahimi return -1;
219*62c56f98SSadaf Ebrahimi }
220*62c56f98SSadaf Ebrahimi
221*62c56f98SSadaf Ebrahimi if (mbedtls_test_ascii2uc(*(ibuf++), &uc2) != 0) {
222*62c56f98SSadaf Ebrahimi return -1;
223*62c56f98SSadaf Ebrahimi }
224*62c56f98SSadaf Ebrahimi
225*62c56f98SSadaf Ebrahimi *(obuf++) = (uc << 4) | uc2;
226*62c56f98SSadaf Ebrahimi }
227*62c56f98SSadaf Ebrahimi
228*62c56f98SSadaf Ebrahimi return 0;
229*62c56f98SSadaf Ebrahimi }
230*62c56f98SSadaf Ebrahimi
mbedtls_test_hexify(unsigned char * obuf,const unsigned char * ibuf,int len)231*62c56f98SSadaf Ebrahimi void mbedtls_test_hexify(unsigned char *obuf,
232*62c56f98SSadaf Ebrahimi const unsigned char *ibuf,
233*62c56f98SSadaf Ebrahimi int len)
234*62c56f98SSadaf Ebrahimi {
235*62c56f98SSadaf Ebrahimi unsigned char l, h;
236*62c56f98SSadaf Ebrahimi
237*62c56f98SSadaf Ebrahimi while (len != 0) {
238*62c56f98SSadaf Ebrahimi h = *ibuf / 16;
239*62c56f98SSadaf Ebrahimi l = *ibuf % 16;
240*62c56f98SSadaf Ebrahimi
241*62c56f98SSadaf Ebrahimi if (h < 10) {
242*62c56f98SSadaf Ebrahimi *obuf++ = '0' + h;
243*62c56f98SSadaf Ebrahimi } else {
244*62c56f98SSadaf Ebrahimi *obuf++ = 'a' + h - 10;
245*62c56f98SSadaf Ebrahimi }
246*62c56f98SSadaf Ebrahimi
247*62c56f98SSadaf Ebrahimi if (l < 10) {
248*62c56f98SSadaf Ebrahimi *obuf++ = '0' + l;
249*62c56f98SSadaf Ebrahimi } else {
250*62c56f98SSadaf Ebrahimi *obuf++ = 'a' + l - 10;
251*62c56f98SSadaf Ebrahimi }
252*62c56f98SSadaf Ebrahimi
253*62c56f98SSadaf Ebrahimi ++ibuf;
254*62c56f98SSadaf Ebrahimi len--;
255*62c56f98SSadaf Ebrahimi }
256*62c56f98SSadaf Ebrahimi }
257*62c56f98SSadaf Ebrahimi
mbedtls_test_zero_alloc(size_t len)258*62c56f98SSadaf Ebrahimi unsigned char *mbedtls_test_zero_alloc(size_t len)
259*62c56f98SSadaf Ebrahimi {
260*62c56f98SSadaf Ebrahimi void *p;
261*62c56f98SSadaf Ebrahimi size_t actual_len = (len != 0) ? len : 1;
262*62c56f98SSadaf Ebrahimi
263*62c56f98SSadaf Ebrahimi p = mbedtls_calloc(1, actual_len);
264*62c56f98SSadaf Ebrahimi TEST_HELPER_ASSERT(p != NULL);
265*62c56f98SSadaf Ebrahimi
266*62c56f98SSadaf Ebrahimi memset(p, 0x00, actual_len);
267*62c56f98SSadaf Ebrahimi
268*62c56f98SSadaf Ebrahimi return p;
269*62c56f98SSadaf Ebrahimi }
270*62c56f98SSadaf Ebrahimi
mbedtls_test_unhexify_alloc(const char * ibuf,size_t * olen)271*62c56f98SSadaf Ebrahimi unsigned char *mbedtls_test_unhexify_alloc(const char *ibuf, size_t *olen)
272*62c56f98SSadaf Ebrahimi {
273*62c56f98SSadaf Ebrahimi unsigned char *obuf;
274*62c56f98SSadaf Ebrahimi size_t len;
275*62c56f98SSadaf Ebrahimi
276*62c56f98SSadaf Ebrahimi *olen = strlen(ibuf) / 2;
277*62c56f98SSadaf Ebrahimi
278*62c56f98SSadaf Ebrahimi if (*olen == 0) {
279*62c56f98SSadaf Ebrahimi return mbedtls_test_zero_alloc(*olen);
280*62c56f98SSadaf Ebrahimi }
281*62c56f98SSadaf Ebrahimi
282*62c56f98SSadaf Ebrahimi obuf = mbedtls_calloc(1, *olen);
283*62c56f98SSadaf Ebrahimi TEST_HELPER_ASSERT(obuf != NULL);
284*62c56f98SSadaf Ebrahimi TEST_HELPER_ASSERT(mbedtls_test_unhexify(obuf, *olen, ibuf, &len) == 0);
285*62c56f98SSadaf Ebrahimi
286*62c56f98SSadaf Ebrahimi return obuf;
287*62c56f98SSadaf Ebrahimi }
288*62c56f98SSadaf Ebrahimi
mbedtls_test_hexcmp(uint8_t * a,uint8_t * b,uint32_t a_len,uint32_t b_len)289*62c56f98SSadaf Ebrahimi int mbedtls_test_hexcmp(uint8_t *a, uint8_t *b,
290*62c56f98SSadaf Ebrahimi uint32_t a_len, uint32_t b_len)
291*62c56f98SSadaf Ebrahimi {
292*62c56f98SSadaf Ebrahimi int ret = 0;
293*62c56f98SSadaf Ebrahimi uint32_t i = 0;
294*62c56f98SSadaf Ebrahimi
295*62c56f98SSadaf Ebrahimi if (a_len != b_len) {
296*62c56f98SSadaf Ebrahimi return -1;
297*62c56f98SSadaf Ebrahimi }
298*62c56f98SSadaf Ebrahimi
299*62c56f98SSadaf Ebrahimi for (i = 0; i < a_len; i++) {
300*62c56f98SSadaf Ebrahimi if (a[i] != b[i]) {
301*62c56f98SSadaf Ebrahimi ret = -1;
302*62c56f98SSadaf Ebrahimi break;
303*62c56f98SSadaf Ebrahimi }
304*62c56f98SSadaf Ebrahimi }
305*62c56f98SSadaf Ebrahimi return ret;
306*62c56f98SSadaf Ebrahimi }
307*62c56f98SSadaf Ebrahimi
308*62c56f98SSadaf Ebrahimi #if defined(MBEDTLS_TEST_HOOKS)
mbedtls_test_err_add_check(int high,int low,const char * file,int line)309*62c56f98SSadaf Ebrahimi void mbedtls_test_err_add_check(int high, int low,
310*62c56f98SSadaf Ebrahimi const char *file, int line)
311*62c56f98SSadaf Ebrahimi {
312*62c56f98SSadaf Ebrahimi /* Error codes are always negative (a value of zero is a success) however
313*62c56f98SSadaf Ebrahimi * their positive opposites can be easier to understand. The following
314*62c56f98SSadaf Ebrahimi * examples given in comments have been made positive for ease of
315*62c56f98SSadaf Ebrahimi * understanding. The structure of an error code is such:
316*62c56f98SSadaf Ebrahimi *
317*62c56f98SSadaf Ebrahimi * shhhhhhhhlllllll
318*62c56f98SSadaf Ebrahimi *
319*62c56f98SSadaf Ebrahimi * s = sign bit.
320*62c56f98SSadaf Ebrahimi * h = high level error code (includes high level module ID (bits 12..14)
321*62c56f98SSadaf Ebrahimi * and module-dependent error code (bits 7..11)).
322*62c56f98SSadaf Ebrahimi * l = low level error code.
323*62c56f98SSadaf Ebrahimi */
324*62c56f98SSadaf Ebrahimi if (high > -0x1000 && high != 0) {
325*62c56f98SSadaf Ebrahimi /* high < 0001000000000000
326*62c56f98SSadaf Ebrahimi * No high level module ID bits are set.
327*62c56f98SSadaf Ebrahimi */
328*62c56f98SSadaf Ebrahimi mbedtls_test_fail("'high' is not a high-level error code",
329*62c56f98SSadaf Ebrahimi line, file);
330*62c56f98SSadaf Ebrahimi } else if (high < -0x7F80) {
331*62c56f98SSadaf Ebrahimi /* high > 0111111110000000
332*62c56f98SSadaf Ebrahimi * Error code is greater than the largest allowed high level module ID.
333*62c56f98SSadaf Ebrahimi */
334*62c56f98SSadaf Ebrahimi mbedtls_test_fail("'high' error code is greater than 15 bits",
335*62c56f98SSadaf Ebrahimi line, file);
336*62c56f98SSadaf Ebrahimi } else if ((high & 0x7F) != 0) {
337*62c56f98SSadaf Ebrahimi /* high & 0000000001111111
338*62c56f98SSadaf Ebrahimi * Error code contains low level error code bits.
339*62c56f98SSadaf Ebrahimi */
340*62c56f98SSadaf Ebrahimi mbedtls_test_fail("'high' contains a low-level error code",
341*62c56f98SSadaf Ebrahimi line, file);
342*62c56f98SSadaf Ebrahimi } else if (low < -0x007F) {
343*62c56f98SSadaf Ebrahimi /* low > 0000000001111111
344*62c56f98SSadaf Ebrahimi * Error code contains high or module level error code bits.
345*62c56f98SSadaf Ebrahimi */
346*62c56f98SSadaf Ebrahimi mbedtls_test_fail("'low' error code is greater than 7 bits",
347*62c56f98SSadaf Ebrahimi line, file);
348*62c56f98SSadaf Ebrahimi } else if (low > 0) {
349*62c56f98SSadaf Ebrahimi mbedtls_test_fail("'low' error code is greater than zero",
350*62c56f98SSadaf Ebrahimi line, file);
351*62c56f98SSadaf Ebrahimi }
352*62c56f98SSadaf Ebrahimi }
353*62c56f98SSadaf Ebrahimi #endif /* MBEDTLS_TEST_HOOKS */
354