crypto/libecc/include/libecc/hash/bash224.h
52
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == BASH224_HASH_MAGIC), ret, err)
crypto/libecc/include/libecc/hash/bash256.h
52
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == BASH256_HASH_MAGIC), ret, err)
crypto/libecc/include/libecc/hash/bash384.h
52
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == BASH384_HASH_MAGIC), ret, err)
crypto/libecc/include/libecc/hash/bash512.h
52
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == BASH512_HASH_MAGIC), ret, err)
crypto/libecc/include/libecc/hash/belt-hash.h
134
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == BELT_HASH_HASH_MAGIC), ret, err)
crypto/libecc/include/libecc/hash/hash_algs.h
247
MUST_HAVE(((hm != NULL) && (hm->name != NULL) && (hm->hfunc_init != NULL) &&
crypto/libecc/include/libecc/hash/hmac.h
13
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == HMAC_MAGIC) && ((A)->hash != NULL), ret, err)
crypto/libecc/include/libecc/hash/ripemd160.h
52
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == RIPEMD160_HASH_MAGIC), ret, err)
crypto/libecc/include/libecc/hash/sha224.h
58
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == SHA224_HASH_MAGIC), ret, err)
crypto/libecc/include/libecc/hash/sha256.h
58
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == SHA256_HASH_MAGIC), ret, err)
crypto/libecc/include/libecc/hash/sha3-224.h
57
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == SHA3_224_HASH_MAGIC), ret, err)
crypto/libecc/include/libecc/hash/sha3-256.h
57
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == SHA3_256_HASH_MAGIC), ret, err)
crypto/libecc/include/libecc/hash/sha3-384.h
57
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == SHA3_384_HASH_MAGIC), ret, err)
crypto/libecc/include/libecc/hash/sha3-512.h
57
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == SHA3_512_HASH_MAGIC), ret, err)
crypto/libecc/include/libecc/hash/sha384.h
58
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == SHA384_HASH_MAGIC), ret, err)
crypto/libecc/include/libecc/hash/sha512-224.h
59
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == SHA512_224_HASH_MAGIC), ret, err)
crypto/libecc/include/libecc/hash/sha512-256.h
59
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == SHA512_256_HASH_MAGIC), ret, err)
crypto/libecc/include/libecc/hash/sha512.h
59
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == SHA512_HASH_MAGIC), ret, err)
crypto/libecc/include/libecc/hash/shake256.h
56
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == SHAKE256_HASH_MAGIC), ret, err)
crypto/libecc/include/libecc/hash/sm3.h
52
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == SM3_HASH_MAGIC), ret, err)
crypto/libecc/include/libecc/hash/streebog256.h
52
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == STREEBOG256_HASH_MAGIC) && \
crypto/libecc/include/libecc/hash/streebog512.h
52
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == STREEBOG512_HASH_MAGIC) && \
crypto/libecc/include/libecc/sig/sig_algs_internal.h
92
MUST_HAVE(((sm != NULL) && (sm->name != NULL) && (sm->siglen != NULL) &&
crypto/libecc/src/arithmetic_tests/arithmetic_tests.c
81
MUST_HAVE((hbuf != NULL), ret, err);
crypto/libecc/src/arithmetic_tests/arithmetic_tests.c
82
MUST_HAVE(((hbuflen / 2) / WORD_BYTES) == out_nn->wlen, ret, err);
crypto/libecc/src/arithmetic_tests/arithmetic_tests.c
843
MUST_HAVE((buf != NULL) && (buflen != NULL), ret, err);
crypto/libecc/src/curves/aff_pt.c
106
MUST_HAVE((y1 != NULL) && (y2 != NULL), ret, err);
crypto/libecc/src/curves/aff_pt.c
110
MUST_HAVE((y1 != y2) && (y1 != x), ret, err);
crypto/libecc/src/curves/aff_pt.c
148
MUST_HAVE((on_curve != NULL), ret, err);
crypto/libecc/src/curves/aff_pt.c
150
MUST_HAVE((x->ctx == y->ctx), ret, err);
crypto/libecc/src/curves/aff_pt.c
151
MUST_HAVE((x->ctx == curve->a.ctx), ret, err);
crypto/libecc/src/curves/aff_pt.c
188
MUST_HAVE((on_curve != NULL), ret, err);
crypto/libecc/src/curves/aff_pt.c
222
MUST_HAVE((cmp != NULL), ret, err);
crypto/libecc/src/curves/aff_pt.c
227
MUST_HAVE((in1->crv == in2->crv), ret, err);
crypto/libecc/src/curves/aff_pt.c
253
MUST_HAVE((in1->crv == in2->crv), ret, err);
crypto/libecc/src/curves/aff_pt.c
254
MUST_HAVE((aff_is_eq_or_opp != NULL), ret, err);
crypto/libecc/src/curves/aff_pt.c
28
MUST_HAVE(((in != NULL) && (in->magic == AFF_PT_MAGIC)), ret, err);
crypto/libecc/src/curves/aff_pt.c
280
MUST_HAVE((pt_buf != NULL), ret, err);
crypto/libecc/src/curves/aff_pt.c
281
MUST_HAVE((pt != NULL), ret, err);
crypto/libecc/src/curves/aff_pt.c
287
MUST_HAVE((pt_buf_len == (2 * coord_len)), ret, err);
crypto/libecc/src/curves/aff_pt.c
330
MUST_HAVE((pt_buf != NULL), ret, err);
crypto/libecc/src/curves/aff_pt.c
334
MUST_HAVE((on_curve), ret, err);
crypto/libecc/src/curves/aff_pt.c
338
MUST_HAVE((pt_buf_len == (2 * coord_len)), ret, err);
crypto/libecc/src/curves/aff_pt.c
43
MUST_HAVE((in != NULL), ret, err);
crypto/libecc/src/curves/aff_pt.c
44
MUST_HAVE((curve != NULL), ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
112
MUST_HAVE((on_curve != NULL), ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
118
MUST_HAVE((x->ctx == y->ctx), ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
119
MUST_HAVE((x->ctx == curve->a.ctx), ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
199
MUST_HAVE((cmp != NULL), ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
203
MUST_HAVE((in1->crv == in2->crv), ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
234
MUST_HAVE(((pt_buf != NULL) && (pt != NULL)), ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
239
MUST_HAVE((pt_buf_len == (2 * coord_len)), ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
27
MUST_HAVE(((in != NULL) && (in->magic == AFF_PT_EDWARDS_MAGIC)), ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
280
MUST_HAVE((pt_buf != NULL), ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
284
MUST_HAVE(on_curve, ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
289
MUST_HAVE((pt_buf_len == (2 * coord_len)), ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
318
MUST_HAVE((edwards_crv->a.ctx == alpha_edwards->ctx), ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
372
MUST_HAVE((!fp_cmp(&(check.A), &(m_crv->A), &cmp)) && (!cmp), ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
373
MUST_HAVE((!fp_cmp(&(check.B), &(m_crv->B), &cmp)) && (!cmp), ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
374
MUST_HAVE((!nn_cmp(&(check.order), &(m_crv->order), &cmp)) && (!cmp), ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
403
MUST_HAVE((m_crv->A.ctx == alpha_edwards->ctx), ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
44
MUST_HAVE((in != NULL), ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
543
MUST_HAVE(on_curve, ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
560
MUST_HAVE(!(iszero && (cmp == 0)), ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
643
MUST_HAVE(on_curve, ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
775
MUST_HAVE((x->ctx == crv->a.ctx) && (x->ctx == crv->d.ctx), ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
776
MUST_HAVE((y1 != NULL) && (y2 != NULL), ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
778
MUST_HAVE((y1 != y2) && (y1 != x), ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
825
MUST_HAVE((y->ctx == crv->a.ctx) && (y->ctx == crv->d.ctx), ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
826
MUST_HAVE((x1 != NULL) && (x2 != NULL), ret, err);
crypto/libecc/src/curves/aff_pt_edwards.c
828
MUST_HAVE((x1 != x2) && (x1 != y), ret, err);
crypto/libecc/src/curves/aff_pt_montgomery.c
106
MUST_HAVE((on_curve != NULL), ret, err);
crypto/libecc/src/curves/aff_pt_montgomery.c
112
MUST_HAVE((u->ctx == v->ctx), ret, err);
crypto/libecc/src/curves/aff_pt_montgomery.c
113
MUST_HAVE((u->ctx == curve->A.ctx), ret, err);
crypto/libecc/src/curves/aff_pt_montgomery.c
188
MUST_HAVE((cmp != NULL), ret, err);
crypto/libecc/src/curves/aff_pt_montgomery.c
191
MUST_HAVE((in1->crv == in2->crv), ret, err);
crypto/libecc/src/curves/aff_pt_montgomery.c
220
MUST_HAVE((pt_buf != NULL) && (pt != NULL), ret, err);
crypto/libecc/src/curves/aff_pt_montgomery.c
225
MUST_HAVE((pt_buf_len == (2 * coord_len)), ret, err);
crypto/libecc/src/curves/aff_pt_montgomery.c
23
MUST_HAVE(((in != NULL) && (in->magic == AFF_PT_MONTGOMERY_MAGIC)), ret, err);
crypto/libecc/src/curves/aff_pt_montgomery.c
265
MUST_HAVE((pt_buf != NULL), ret, err);
crypto/libecc/src/curves/aff_pt_montgomery.c
269
MUST_HAVE(on_curve, ret, err);
crypto/libecc/src/curves/aff_pt_montgomery.c
274
MUST_HAVE((pt_buf_len == (2 * coord_len)), ret, err);
crypto/libecc/src/curves/aff_pt_montgomery.c
371
MUST_HAVE((!fp_cmp(&(check.a), &(shortw_crv->a), &cmp)) && (!cmp), ret, err);
crypto/libecc/src/curves/aff_pt_montgomery.c
372
MUST_HAVE((!fp_cmp(&(check.b), &(shortw_crv->b), &cmp)) && (!cmp), ret, err);
crypto/libecc/src/curves/aff_pt_montgomery.c
373
MUST_HAVE((!nn_cmp(&(check.order), &(shortw_crv->order), &cmp)) && (!cmp), ret, err);
crypto/libecc/src/curves/aff_pt_montgomery.c
40
MUST_HAVE((in != NULL), ret, err);
crypto/libecc/src/curves/aff_pt_montgomery.c
402
MUST_HAVE((alpha->ctx == shortw_crv->a.ctx) && (gamma->ctx == shortw_crv->a.ctx), ret, err);
crypto/libecc/src/curves/aff_pt_montgomery.c
424
MUST_HAVE((!fp_cmp(&c, &tmp, &cmp)) && (!cmp), ret, err);
crypto/libecc/src/curves/aff_pt_montgomery.c
455
MUST_HAVE((!aff_pt_montgomery_is_on_curve(in_montgomery, &on_curve)) && on_curve, ret, err);
crypto/libecc/src/curves/aff_pt_montgomery.c
479
MUST_HAVE((!aff_pt_is_on_curve(out_shortw, &on_curve)) && on_curve, ret, err);
crypto/libecc/src/curves/aff_pt_montgomery.c
506
MUST_HAVE((!aff_pt_is_on_curve(in_shortw, &on_curve)) && on_curve, ret, err);
crypto/libecc/src/curves/aff_pt_montgomery.c
529
MUST_HAVE((!aff_pt_montgomery_is_on_curve(out_montgomery, &on_curve)) && on_curve, ret, err);
crypto/libecc/src/curves/aff_pt_montgomery.c
554
MUST_HAVE((u->ctx == crv->A.ctx) && (u->ctx == crv->B.ctx), ret, err);
crypto/libecc/src/curves/aff_pt_montgomery.c
555
MUST_HAVE((v1 != NULL) && (v2 != NULL), ret, err);
crypto/libecc/src/curves/aff_pt_montgomery.c
557
MUST_HAVE((v1 != v2) && (v1 != u), ret, err);
crypto/libecc/src/curves/curves.c
100
MUST_HAVE((params != NULL), ret, err);
crypto/libecc/src/curves/curves.c
104
MUST_HAVE((params->name != NULL), ret, err);
crypto/libecc/src/curves/curves.c
105
MUST_HAVE((params->name->buf != NULL), ret, err);
crypto/libecc/src/curves/curves.c
109
MUST_HAVE(len < 256, ret, err);
crypto/libecc/src/curves/curves.c
112
MUST_HAVE((params->name->buflen == (name_len + 1)), ret, err);
crypto/libecc/src/curves/curves.c
143
MUST_HAVE(((ec_name_len > 2) && (ec_name_len <= MAX_CURVE_NAME_LEN)), ret, err);
crypto/libecc/src/curves/curves.c
144
MUST_HAVE((ec_type != NULL), ret, err);
crypto/libecc/src/curves/curves.c
145
MUST_HAVE((ec_name != NULL), ret, err);
crypto/libecc/src/curves/curves.c
152
MUST_HAVE(len < 256, ret, err);
crypto/libecc/src/curves/curves.c
154
MUST_HAVE(((comp_len + 1) == ec_name_len), ret, err);
crypto/libecc/src/curves/curves.c
162
MUST_HAVE((params != NULL), ret, err);
crypto/libecc/src/curves/curves.c
163
MUST_HAVE((params->name != NULL), ret, err);
crypto/libecc/src/curves/curves.c
164
MUST_HAVE((params->name->buf != NULL), ret, err);
crypto/libecc/src/curves/curves.c
196
MUST_HAVE((out != NULL), ret, err);
crypto/libecc/src/curves/curves.c
202
MUST_HAVE((by_type != NULL), ret, err);
crypto/libecc/src/curves/curves.c
203
MUST_HAVE((by_type->name != NULL), ret, err);
crypto/libecc/src/curves/curves.c
204
MUST_HAVE((by_type->name->buf != NULL), ret, err);
crypto/libecc/src/curves/curves.c
210
MUST_HAVE((name_len <= outlen), ret, err);
crypto/libecc/src/curves/curves.c
234
MUST_HAVE((ec_name != NULL), ret, err);
crypto/libecc/src/curves/curves.c
235
MUST_HAVE(((ec_name_len > 2) && (ec_name_len <= MAX_CURVE_NAME_LEN)), ret, err);
crypto/libecc/src/curves/curves.c
241
MUST_HAVE((by_type != NULL), ret, err);
crypto/libecc/src/curves/curves.c
242
MUST_HAVE((by_type->name != NULL), ret, err);
crypto/libecc/src/curves/curves.c
243
MUST_HAVE((by_type->name->buf != NULL), ret, err);
crypto/libecc/src/curves/curves.c
248
MUST_HAVE((name_len == ec_name_len), ret, err);
crypto/libecc/src/curves/curves.c
36
MUST_HAVE((ec_name != NULL), ret, err);
crypto/libecc/src/curves/curves.c
37
MUST_HAVE((ec_s_params != NULL), ret, err);
crypto/libecc/src/curves/curves.c
38
MUST_HAVE(((ec_name_len > 2) && (ec_name_len <= MAX_CURVE_NAME_LEN)), ret, err);
crypto/libecc/src/curves/curves.c
46
MUST_HAVE(((comp_len + 1) == ec_name_len), ret, err);
crypto/libecc/src/curves/curves.c
54
MUST_HAVE((params != NULL), ret, err);
crypto/libecc/src/curves/curves.c
55
MUST_HAVE((params->name != NULL), ret, err);
crypto/libecc/src/curves/curves.c
56
MUST_HAVE((params->name->buf != NULL), ret, err);
crypto/libecc/src/curves/curves.c
93
MUST_HAVE((ec_s_params != NULL), ret, err);
crypto/libecc/src/curves/ec_edwards.c
30
MUST_HAVE((crv != NULL) && (crv->magic == EC_EDWARDS_CRV_MAGIC), ret, err);
crypto/libecc/src/curves/ec_edwards.c
50
MUST_HAVE((a->ctx == d->ctx), ret, err);
crypto/libecc/src/curves/ec_edwards.c
51
MUST_HAVE((crv != NULL), ret, err);
crypto/libecc/src/curves/ec_edwards.c
54
MUST_HAVE((!fp_iszero(a, &iszero)) && (!iszero), ret, err);
crypto/libecc/src/curves/ec_edwards.c
55
MUST_HAVE((!fp_iszero(d, &iszero)) && (!iszero), ret, err);
crypto/libecc/src/curves/ec_edwards.c
56
MUST_HAVE((!fp_cmp(a, d, &cmp)) && cmp, ret, err);
crypto/libecc/src/curves/ec_montgomery.c
22
MUST_HAVE((crv != NULL) && (crv->magic == EC_MONTGOMERY_CRV_MAGIC), ret, err);
crypto/libecc/src/curves/ec_montgomery.c
41
MUST_HAVE((crv != NULL), ret, err);
crypto/libecc/src/curves/ec_montgomery.c
46
MUST_HAVE(A->ctx == B->ctx, ret, err);
crypto/libecc/src/curves/ec_montgomery.c
53
MUST_HAVE((!fp_iszero(&tmp, &iszero)) && (!iszero), ret, err);
crypto/libecc/src/curves/ec_montgomery.c
57
MUST_HAVE((!fp_iszero(&tmp, &iszero)) && (!iszero), ret, err);
crypto/libecc/src/curves/ec_montgomery.c
58
MUST_HAVE((!fp_iszero(B, &iszero)) && (!iszero), ret, err);
crypto/libecc/src/curves/ec_params.c
153
MUST_HAVE(in_str_params->oid->buflen < MAX_CURVE_OID_LEN, ret, err);
crypto/libecc/src/curves/ec_params.c
160
MUST_HAVE(in_str_params->name->buflen < MAX_CURVE_NAME_LEN, ret, err);
crypto/libecc/src/curves/ec_params.c
170
MUST_HAVE(curve_type != UNKNOWN_CURVE, ret, err);
crypto/libecc/src/curves/ec_params.c
38
MUST_HAVE(((out_params != NULL) && (in_str_params != NULL)), ret, err);
crypto/libecc/src/curves/ec_shortw.c
28
MUST_HAVE((crv != NULL) && (crv->magic == EC_SHORTW_CRV_MAGIC), ret, err);
crypto/libecc/src/curves/ec_shortw.c
50
MUST_HAVE((a->ctx == b->ctx), ret, err);
crypto/libecc/src/curves/ec_shortw.c
51
MUST_HAVE((crv != NULL), ret, err);
crypto/libecc/src/curves/ec_shortw.c
67
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/curves/prj_pt.c
1060
MUST_HAVE(!((cmp1) && (cmp2)), ret, err);
crypto/libecc/src/curves/prj_pt.c
1210
MUST_HAVE((in1->crv == in2->crv), ret, err);
crypto/libecc/src/curves/prj_pt.c
1274
MUST_HAVE((in != out), ret, err);
crypto/libecc/src/curves/prj_pt.c
1367
MUST_HAVE(mlen != 0, ret, err);
crypto/libecc/src/curves/prj_pt.c
1518
MUST_HAVE((mlen != 0), ret, err);
crypto/libecc/src/curves/prj_pt.c
159
MUST_HAVE((on_curve != NULL), ret, err);
crypto/libecc/src/curves/prj_pt.c
1622
MUST_HAVE((mlen != 0), ret, err);
crypto/libecc/src/curves/prj_pt.c
1767
MUST_HAVE((!prj_pt_is_on_curve(in, &on_curve)) && on_curve, ret, err);
crypto/libecc/src/curves/prj_pt.c
1776
MUST_HAVE((!prj_pt_is_on_curve(out, &on_curve)) && on_curve, ret, err);
crypto/libecc/src/curves/prj_pt.c
1845
MUST_HAVE((out != public_in), ret, err);
crypto/libecc/src/curves/prj_pt.c
1848
MUST_HAVE((!prj_pt_is_on_curve(public_in, &on_curve)) && on_curve, ret, err);
crypto/libecc/src/curves/prj_pt.c
1859
MUST_HAVE((explen > 0), ret, err);
crypto/libecc/src/curves/prj_pt.c
1873
MUST_HAVE((!prj_pt_is_on_curve(out, &on_curve)) && on_curve, ret, err);
crypto/libecc/src/curves/prj_pt.c
1918
MUST_HAVE((check != NULL), ret, err);
crypto/libecc/src/curves/prj_pt.c
225
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/curves/prj_pt.c
247
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/curves/prj_pt.c
287
MUST_HAVE(on_curve, ret, err);
crypto/libecc/src/curves/prj_pt.c
309
MUST_HAVE((cmp != NULL), ret, err);
crypto/libecc/src/curves/prj_pt.c
313
MUST_HAVE((in1->crv == in2->crv), ret, err);
crypto/libecc/src/curves/prj_pt.c
36
MUST_HAVE(((in != NULL) && (in->magic == PRJ_PT_MAGIC)), ret, err);
crypto/libecc/src/curves/prj_pt.c
418
MUST_HAVE((in1->crv == in2->crv), ret, err);
crypto/libecc/src/curves/prj_pt.c
419
MUST_HAVE((eq_or_opp != NULL), ret, err);
crypto/libecc/src/curves/prj_pt.c
471
MUST_HAVE((pt_buf != NULL) && (pt != NULL), ret, err);
crypto/libecc/src/curves/prj_pt.c
475
MUST_HAVE((pt_buf_len == (3 * coord_len)), ret, err);
crypto/libecc/src/curves/prj_pt.c
520
MUST_HAVE((pt_buf != NULL) && (pt != NULL), ret, err);
crypto/libecc/src/curves/prj_pt.c
524
MUST_HAVE((pt_buf_len == (2 * coord_len)), ret, err);
crypto/libecc/src/curves/prj_pt.c
53
MUST_HAVE((in != NULL), ret, err);
crypto/libecc/src/curves/prj_pt.c
570
MUST_HAVE((pt_buf != NULL), ret, err);
crypto/libecc/src/curves/prj_pt.c
574
MUST_HAVE((on_curve), ret, err);
crypto/libecc/src/curves/prj_pt.c
578
MUST_HAVE((pt_buf_len == (3 * coord_len)), ret, err);
crypto/libecc/src/curves/prj_pt.c
608
MUST_HAVE((pt_buf != NULL), ret, err);
crypto/libecc/src/curves/prj_pt.c
612
MUST_HAVE((on_curve), ret, err);
crypto/libecc/src/curves/prj_pt.c
832
MUST_HAVE((in1->crv == in2->crv), ret, err);
crypto/libecc/src/ecdh/ecccdh.c
125
MUST_HAVE((kp != NULL), ret, err);
crypto/libecc/src/ecdh/ecccdh.c
149
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/ecdh/ecccdh.c
177
MUST_HAVE((shared_secret != NULL), ret, err);
crypto/libecc/src/ecdh/ecccdh.c
203
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/ecdh/ecccdh.c
217
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/ecdh/ecccdh.c
223
MUST_HAVE((shared_secret_len == expected_shared_secret_len), ret, err);
crypto/libecc/src/ecdh/ecccdh.c
29
MUST_HAVE((params != NULL) && (size != NULL), ret, err);
crypto/libecc/src/ecdh/ecccdh.c
30
MUST_HAVE((BYTECEIL(params->ec_fp.p_bitlen) <= 255), ret, err);
crypto/libecc/src/ecdh/ecccdh.c
46
MUST_HAVE((params != NULL) && (size != NULL), ret, err);
crypto/libecc/src/ecdh/ecccdh.c
47
MUST_HAVE(((2 * BYTECEIL(params->ec_fp.p_bitlen)) <= 255), ret, err);
crypto/libecc/src/ecdh/ecccdh.c
66
MUST_HAVE((out_pub != NULL), ret, err);
crypto/libecc/src/ecdh/ecccdh.c
75
MUST_HAVE((!nn_cmp(&(in_priv->x), q, &cmp)) && (cmp < 0), ret, err);
crypto/libecc/src/ecdh/ecccdh.c
97
MUST_HAVE((kp != NULL) && (params != NULL), ret, err);
crypto/libecc/src/ecdh/x25519_448.c
172
MUST_HAVE((k != NULL) && (u != NULL) && (res != NULL), ret, err);
crypto/libecc/src/ecdh/x25519_448.c
174
MUST_HAVE(((len == X25519_SIZE) || (len == X448_SIZE)), ret, err);
crypto/libecc/src/ecdh/x25519_448.c
175
MUST_HAVE(((sizeof(k_) >= len) && (sizeof(u_) >= len)), ret, err);
crypto/libecc/src/ecdh/x25519_448.c
196
MUST_HAVE((loaded == 1), ret, err);
crypto/libecc/src/ecdh/x25519_448.c
220
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/ecdh/x25519_448.c
260
MUST_HAVE((!cmp), ret, err);
crypto/libecc/src/ecdh/x25519_448.c
276
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/ecdh/x25519_448.c
308
MUST_HAVE((priv_key != NULL), ret, err);
crypto/libecc/src/ecdh/x25519_448.c
309
MUST_HAVE(((len == X25519_SIZE) || (len == X448_SIZE)), ret, err);
crypto/libecc/src/ecdh/x25519_448.c
323
MUST_HAVE((priv_key != NULL) && (pub_key != NULL), ret, err);
crypto/libecc/src/ecdh/x25519_448.c
324
MUST_HAVE(((len == X25519_SIZE) || (len == X448_SIZE)), ret, err);
crypto/libecc/src/ecdh/x25519_448.c
363
MUST_HAVE((priv_key != NULL) && (peer_pub_key != NULL) && (shared_secret != NULL), ret, err);
crypto/libecc/src/ecdh/x25519_448.c
364
MUST_HAVE(((len == X25519_SIZE) || (len == X448_SIZE)), ret, err);
crypto/libecc/src/ecdh/x25519_448.c
59
MUST_HAVE((scalar != scalar_decoded), ret, err);
crypto/libecc/src/ecdh/x25519_448.c
61
MUST_HAVE((len > 0), ret, err);
crypto/libecc/src/ecdh/x25519_448.c
97
MUST_HAVE((u != u_decoded), ret, err);
crypto/libecc/src/ecdh/x25519_448.c
99
MUST_HAVE((len > 0), ret, err);
crypto/libecc/src/examples/basic/curve_basic_examples.c
133
MUST_HAVE((curve_name != NULL), ret, err);
crypto/libecc/src/examples/basic/curve_basic_examples.c
137
MUST_HAVE((len < 256), ret, err);
crypto/libecc/src/examples/basic/curve_basic_examples.c
49
MUST_HAVE((curve_params != NULL), ret, err);
crypto/libecc/src/examples/basic/curve_ecdh.c
107
MUST_HAVE((curve_name != NULL) && (role != NULL), ret, err);
crypto/libecc/src/examples/basic/curve_ecdh.c
140
MUST_HAVE((len < 256), ret, err);
crypto/libecc/src/examples/basic/nn_miller_rabin.c
159
MUST_HAVE((NN_MAX_BIT_LEN >=
crypto/libecc/src/examples/basic/nn_miller_rabin.c
164
MUST_HAVE((NN_MAX_BIT_LEN >= (2 * WORD_BITS * a.wlen)), ret, err);
crypto/libecc/src/examples/basic/nn_miller_rabin.c
181
MUST_HAVE((NN_MAX_BIT_LEN >=
crypto/libecc/src/examples/basic/nn_miller_rabin.c
56
MUST_HAVE((res != NULL), ret, err);
crypto/libecc/src/examples/basic/nn_miller_rabin.c
72
MUST_HAVE((t >= 1), ret, err);
crypto/libecc/src/examples/basic/nn_pollard_rho.c
73
MUST_HAVE((c > 0), ret, err);
crypto/libecc/src/examples/hash/gostr34_11_94.c
143
MUST_HAVE((K != NULL) && (sbox != NULL) && (E != NULL), ret, err);
crypto/libecc/src/examples/hash/gostr34_11_94.c
196
MUST_HAVE((GOSTR34_11_94_STATE_SIZE == 4), ret, err);
crypto/libecc/src/examples/hash/gostr34_11_94.c
237
MUST_HAVE((sizeof(gostr34_11_94_union) == (sizeof(u64) * GOSTR34_11_94_STATE_SIZE)), ret, err);
crypto/libecc/src/examples/hash/gostr34_11_94.c
332
MUST_HAVE((data != NULL), ret, err);
crypto/libecc/src/examples/hash/gostr34_11_94.c
376
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/examples/hash/gostr34_11_94.c
379
MUST_HAVE((GOSTR34_11_94_DIGEST_SIZE <= MAX_DIGEST_SIZE), ret, err);
crypto/libecc/src/examples/hash/gostr34_11_94.c
406
MUST_HAVE((iv != NULL), ret, err);
crypto/libecc/src/examples/hash/gostr34_11_94.c
410
MUST_HAVE((ctx->gostr34_11_94_total == 0), ret, err);
crypto/libecc/src/examples/hash/gostr34_11_94.c
431
MUST_HAVE((ctx->gostr34_11_94_total == 0), ret, err);
crypto/libecc/src/examples/hash/gostr34_11_94.c
455
MUST_HAVE((input != NULL) || (ilen == 0), ret, err);
crypto/libecc/src/examples/hash/gostr34_11_94.c
502
MUST_HAVE((output != NULL), ret, err);
crypto/libecc/src/examples/hash/gostr34_11_94.c
576
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/examples/hash/gostr34_11_94.h
127
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == GOSTR34_11_94_HASH_MAGIC), ret, err)
crypto/libecc/src/examples/hash/hash.c
152
MUST_HAVE(((*hlen) <= MAX_DIGEST_SIZE), ret, err);
crypto/libecc/src/examples/hash/hash.c
173
MUST_HAVE((hlen != NULL) && (block_size != NULL), ret, err);
crypto/libecc/src/examples/hash/hash.c
19
MUST_HAVE((hash_type != NULL) && (hm != NULL), ret, err);
crypto/libecc/src/examples/hash/hash.c
280
MUST_HAVE((hm != NULL), ret, err);
crypto/libecc/src/examples/hash/hash.c
302
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/examples/hash/hash.c
351
MUST_HAVE((hm != NULL), ret, err);
crypto/libecc/src/examples/hash/hash.c
365
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/examples/hash/hash.c
404
MUST_HAVE((hm != NULL), ret, err);
crypto/libecc/src/examples/hash/hash.c
418
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/examples/hash/hash.c
457
MUST_HAVE((hm != NULL), ret, err);
crypto/libecc/src/examples/hash/md2.c
112
MUST_HAVE((input != NULL) || (ilen == 0), ret, err);
crypto/libecc/src/examples/hash/md2.c
159
MUST_HAVE((output != NULL), ret, err);
crypto/libecc/src/examples/hash/md2.c
198
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/examples/hash/md2.c
43
MUST_HAVE((data != NULL), ret, err);
crypto/libecc/src/examples/hash/md2.c
84
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/examples/hash/md2.c
87
MUST_HAVE((MD2_DIGEST_SIZE <= MAX_DIGEST_SIZE), ret, err);
crypto/libecc/src/examples/hash/md2.h
24
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == MD2_HASH_MAGIC), ret, err)
crypto/libecc/src/examples/hash/md4.c
100
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/examples/hash/md4.c
103
MUST_HAVE((MD4_DIGEST_SIZE <= MAX_DIGEST_SIZE), ret, err);
crypto/libecc/src/examples/hash/md4.c
128
MUST_HAVE((input != NULL) || (ilen == 0), ret, err);
crypto/libecc/src/examples/hash/md4.c
175
MUST_HAVE((output != NULL), ret, err);
crypto/libecc/src/examples/hash/md4.c
234
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/examples/hash/md4.c
38
MUST_HAVE((data != NULL), ret, err);
crypto/libecc/src/examples/hash/md4.h
98
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == MD4_HASH_MAGIC), ret, err)
crypto/libecc/src/examples/hash/md5.c
101
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/examples/hash/md5.c
104
MUST_HAVE((MD5_DIGEST_SIZE <= MAX_DIGEST_SIZE), ret, err);
crypto/libecc/src/examples/hash/md5.c
129
MUST_HAVE((input != NULL) || (ilen == 0), ret, err);
crypto/libecc/src/examples/hash/md5.c
176
MUST_HAVE((output != NULL), ret, err);
crypto/libecc/src/examples/hash/md5.c
235
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/examples/hash/md5.c
46
MUST_HAVE((data != NULL), ret, err);
crypto/libecc/src/examples/hash/md5.h
99
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == MD5_HASH_MAGIC), ret, err)
crypto/libecc/src/examples/hash/mdc2.c
121
MUST_HAVE((input != NULL) || (ilen == 0), ret, err);
crypto/libecc/src/examples/hash/mdc2.c
168
MUST_HAVE((output != NULL), ret, err);
crypto/libecc/src/examples/hash/mdc2.c
229
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/examples/hash/mdc2.c
24
MUST_HAVE((ctx->mdc2_total == 0), ret, err);
crypto/libecc/src/examples/hash/mdc2.c
91
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/examples/hash/mdc2.c
94
MUST_HAVE((MDC2_DIGEST_SIZE <= MAX_DIGEST_SIZE), ret, err);
crypto/libecc/src/examples/hash/mdc2.h
24
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == MDC2_HASH_MAGIC), ret, err)
crypto/libecc/src/examples/hash/sha0.c
101
MUST_HAVE((SHA0_DIGEST_SIZE <= MAX_DIGEST_SIZE), ret, err);
crypto/libecc/src/examples/hash/sha0.c
127
MUST_HAVE((input != NULL) || (ilen == 0), ret, err);
crypto/libecc/src/examples/hash/sha0.c
174
MUST_HAVE((output != NULL), ret, err);
crypto/libecc/src/examples/hash/sha0.c
234
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/examples/hash/sha0.c
48
MUST_HAVE((data != NULL), ret, err);
crypto/libecc/src/examples/hash/sha0.c
98
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/examples/hash/sha0.h
99
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == SHA0_HASH_MAGIC), ret, err)
crypto/libecc/src/examples/hash/sha1.c
101
MUST_HAVE((SHA1_DIGEST_SIZE <= MAX_DIGEST_SIZE), ret, err);
crypto/libecc/src/examples/hash/sha1.c
127
MUST_HAVE((input != NULL) || (ilen == 0), ret, err);
crypto/libecc/src/examples/hash/sha1.c
174
MUST_HAVE((output != NULL), ret, err);
crypto/libecc/src/examples/hash/sha1.c
234
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/examples/hash/sha1.c
48
MUST_HAVE((data != NULL), ret, err);
crypto/libecc/src/examples/hash/sha1.c
98
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/examples/hash/sha1.h
99
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == SHA1_HASH_MAGIC), ret, err)
crypto/libecc/src/examples/sig/common/common.h
15
MUST_HAVE((buf != NULL), ret, err);
crypto/libecc/src/examples/sig/common/common.h
188
MUST_HAVE((out != base) && (out != exp) && (out != mod), ret, err);
crypto/libecc/src/examples/sig/common/common.h
197
MUST_HAVE((explen > 0), ret, err);
crypto/libecc/src/examples/sig/common/common.h
201
MUST_HAVE(isodd, ret, err);
crypto/libecc/src/examples/sig/common/common.h
22
MUST_HAVE(((8 * buflen) >= blen), ret, err);
crypto/libecc/src/examples/sig/common/common.h
38
MUST_HAVE((buflen <= NN_USABLE_MAX_BYTE_LEN), ret, err);
crypto/libecc/src/examples/sig/common/common.h
54
MUST_HAVE((buf != NULL), ret, err);
crypto/libecc/src/examples/sig/dsa/dsa.c
108
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/examples/sig/dsa/dsa.c
111
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/examples/sig/dsa/dsa.c
114
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/examples/sig/dsa/dsa.c
137
MUST_HAVE((pub != NULL) && (priv != NULL), ret, err);
crypto/libecc/src/examples/sig/dsa/dsa.c
153
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/examples/sig/dsa/dsa.c
156
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/examples/sig/dsa/dsa.c
159
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/examples/sig/dsa/dsa.c
218
MUST_HAVE((priv != NULL) && (msg != NULL) && (sig != NULL), ret, err);
crypto/libecc/src/examples/sig/dsa/dsa.c
240
MUST_HAVE((hlen <= MAX_DIGEST_SIZE), ret, err);
crypto/libecc/src/examples/sig/dsa/dsa.c
243
MUST_HAVE((siglen == (2 * BYTECEIL(N))), ret, err);
crypto/libecc/src/examples/sig/dsa/dsa.c
370
MUST_HAVE((pub != NULL) && (msg != NULL) && (sig != NULL), ret, err);
crypto/libecc/src/examples/sig/dsa/dsa.c
388
MUST_HAVE((siglen == (2 * BYTECEIL(N))), ret, err);
crypto/libecc/src/examples/sig/dsa/dsa.c
396
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/examples/sig/dsa/dsa.c
398
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/examples/sig/dsa/dsa.c
401
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/examples/sig/dsa/dsa.c
403
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/examples/sig/dsa/dsa.c
407
MUST_HAVE((hlen <= MAX_DIGEST_SIZE), ret, err);
crypto/libecc/src/examples/sig/dsa/dsa.c
61
MUST_HAVE((priv != NULL), ret, err);
crypto/libecc/src/examples/sig/dsa/dsa.c
62
MUST_HAVE((p != NULL) && (q != NULL) && (g != NULL) && (x != NULL), ret, err);
crypto/libecc/src/examples/sig/dsa/dsa.c
72
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/examples/sig/dsa/dsa.c
75
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/examples/sig/dsa/dsa.c
78
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/examples/sig/dsa/dsa.c
97
MUST_HAVE((pub != NULL), ret, err);
crypto/libecc/src/examples/sig/dsa/dsa.c
98
MUST_HAVE((p != NULL) && (q != NULL) && (g != NULL) && (y != NULL), ret, err);
crypto/libecc/src/examples/sig/gostr34_10_94/gostr34_10_94.c
110
MUST_HAVE((priv != NULL) && (msg != NULL) && (sig != NULL), ret, err);
crypto/libecc/src/examples/sig/gostr34_10_94/gostr34_10_94.c
132
MUST_HAVE((hlen <= MAX_DIGEST_SIZE), ret, err);
crypto/libecc/src/examples/sig/gostr34_10_94/gostr34_10_94.c
135
MUST_HAVE((siglen == (2 * BYTECEIL(N))), ret, err);
crypto/libecc/src/examples/sig/gostr34_10_94/gostr34_10_94.c
268
MUST_HAVE((pub != NULL) && (msg != NULL) && (sig != NULL), ret, err);
crypto/libecc/src/examples/sig/gostr34_10_94/gostr34_10_94.c
286
MUST_HAVE((siglen == (2 * BYTECEIL(N))), ret, err);
crypto/libecc/src/examples/sig/gostr34_10_94/gostr34_10_94.c
294
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/examples/sig/gostr34_10_94/gostr34_10_94.c
296
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/examples/sig/gostr34_10_94/gostr34_10_94.c
299
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/examples/sig/gostr34_10_94/gostr34_10_94.c
301
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/examples/sig/gostr34_10_94/gostr34_10_94.c
305
MUST_HAVE((hlen <= MAX_DIGEST_SIZE), ret, err);
crypto/libecc/src/examples/sig/kcdsa/kcdsa.c
105
MUST_HAVE((buf != NULL), ret, err);
crypto/libecc/src/examples/sig/kcdsa/kcdsa.c
163
MUST_HAVE((priv != NULL) && (msg != NULL) && (sig != NULL), ret, err);
crypto/libecc/src/examples/sig/kcdsa/kcdsa.c
187
MUST_HAVE((hlen <= MAX_DIGEST_SIZE), ret, err);
crypto/libecc/src/examples/sig/kcdsa/kcdsa.c
200
MUST_HAVE((siglen == curr_siglen), ret, err);
crypto/libecc/src/examples/sig/kcdsa/kcdsa.c
231
MUST_HAVE((sizeof(pi_buf) >= (u16)BYTECEIL(alpha)), ret, err);
crypto/libecc/src/examples/sig/kcdsa/kcdsa.c
242
MUST_HAVE((block_size <= (u16)BYTECEIL(alpha)), ret, err);
crypto/libecc/src/examples/sig/kcdsa/kcdsa.c
265
MUST_HAVE((block_size <= (u16)BYTECEIL(alpha)), ret, err);
crypto/libecc/src/examples/sig/kcdsa/kcdsa.c
370
MUST_HAVE((pub != NULL) && (msg != NULL) && (sig != NULL), ret, err);
crypto/libecc/src/examples/sig/kcdsa/kcdsa.c
393
MUST_HAVE((hlen <= MAX_DIGEST_SIZE), ret, err);
crypto/libecc/src/examples/sig/kcdsa/kcdsa.c
406
MUST_HAVE((siglen == curr_siglen), ret, err);
crypto/libecc/src/examples/sig/kcdsa/kcdsa.c
413
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/examples/sig/kcdsa/kcdsa.c
416
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/examples/sig/kcdsa/kcdsa.c
426
MUST_HAVE((block_size <= (u16)BYTECEIL(alpha)), ret, err);
crypto/libecc/src/examples/sig/kcdsa/kcdsa.c
441
MUST_HAVE((block_size <= (u16)BYTECEIL(alpha)), ret, err);
crypto/libecc/src/examples/sig/kcdsa/kcdsa.c
471
MUST_HAVE((sizeof(pi_buf) >= (u16)BYTECEIL(alpha)), ret, err);
crypto/libecc/src/examples/sig/kcdsa/kcdsa.c
84
MUST_HAVE((priv != NULL), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1002
MUST_HAVE((((embits / 8) + 1) < (u32)((u32)0x1 << 16)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1004
MUST_HAVE((_emlen == emlen), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1007
MUST_HAVE((emlen >= ((u32)hlen + (u32)saltlen + 2)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1010
MUST_HAVE((em[emlen - 1] == 0xbc), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1020
MUST_HAVE(((maskeddb[0] & (~mask)) == 0), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1025
MUST_HAVE(((u16)dblen <= sizeof(dbmask)), ret, err); /* sanity check for overflow */
crypto/libecc/src/examples/sig/rsa/rsa.c
1042
MUST_HAVE((db[i] == 0x00), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1044
MUST_HAVE((db[dblen - saltlen - 1] == 0x01), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
106
MUST_HAVE((priv != NULL), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
108
MUST_HAVE(((p != NULL) && (q != NULL)) || ((p == NULL) && (q == NULL)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1093
MUST_HAVE((digest_size <= MAX_DIGEST_SIZE), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1111
MUST_HAVE((emlen >= (tlen + 11)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1146
MUST_HAVE((clen != NULL) && (c != NULL) && (m != NULL), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1151
MUST_HAVE((k >= 11), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1152
MUST_HAVE((mlen <= (k - 11)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1153
MUST_HAVE(((*clen) >= k), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1168
MUST_HAVE((seedlen == (k - mlen - 3)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1171
MUST_HAVE((forced_seed[i] != 0), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1180
MUST_HAVE((k < (u32)((u32)0x1 << 16)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1213
MUST_HAVE((mlen != NULL) && (c != NULL) && (m != NULL), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1218
MUST_HAVE((clen == k) && (k >= 11), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1219
MUST_HAVE(((*mlen) >= k), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1232
MUST_HAVE((k < (u32)((u32)0x1 << 16)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1327
MUST_HAVE((clen != NULL) && (c != NULL) && (m != NULL), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1332
MUST_HAVE((hlen <= MAX_DIGEST_SIZE), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1335
MUST_HAVE(((u32)k >= ((2 * (u32)hlen) + 2)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1336
MUST_HAVE(((mlen ) <= ((u32)k - (2 * (u32)hlen) - 2)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1337
MUST_HAVE(((*clen) >= k), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1343
MUST_HAVE(((k - hlen - 1) <= sizeof(db)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1345
MUST_HAVE((label_len == 0), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1368
MUST_HAVE((hlen <= sizeof(seed)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1370
MUST_HAVE((seedlen == hlen), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1378
MUST_HAVE((khlen <= sizeof(dbmask)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1385
MUST_HAVE((khlen < (u32)((u32)0x1 << 16)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1396
MUST_HAVE((k < (u32)((u32)0x1 << 16)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
142
MUST_HAVE((priv != NULL), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1447
MUST_HAVE((c != NULL) && (m != NULL), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1452
MUST_HAVE((hlen <= MAX_DIGEST_SIZE), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1455
MUST_HAVE((clen == k), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1456
MUST_HAVE(((u32)k >= ((2 * (u32)hlen) + 2)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1469
MUST_HAVE((k < (u32)((u32)0x1 << 16)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1475
MUST_HAVE((label_len == 0), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1487
MUST_HAVE((khlen < (u32)((u32)0x1 << 16)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1494
MUST_HAVE((khlen <= sizeof(dbmask)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
158
MUST_HAVE((coeffslens != NULL), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1587
MUST_HAVE((slen != NULL), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
159
MUST_HAVE((u > 0) && (u < MAX_CRT_COEFFS), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1592
MUST_HAVE((k < (u32)((u32)0x1 << 16)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1594
MUST_HAVE(((*slen) >= k), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1664
MUST_HAVE((k < (u32)((u32)0x1 << 16)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1669
MUST_HAVE(((u16)k == slen), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1676
MUST_HAVE((slen <= sizeof(em)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1679
MUST_HAVE((k <= sizeof(em_)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1709
MUST_HAVE((slen != NULL), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1711
MUST_HAVE((modbits > 1), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1714
MUST_HAVE((k < (u32)((u32)0x1 << 16)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1717
MUST_HAVE(((*slen) >= k), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1724
MUST_HAVE(emsize == BYTECEIL(modbits - 1), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1736
MUST_HAVE((k < ((u32)0x1 << 16)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1796
MUST_HAVE((modbits > 1), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1798
MUST_HAVE((k < (u32)((u32)0x1 << 16)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1805
MUST_HAVE((((modbits - 1) / 8) + 1) < (u32)((u32)0x1 << 16), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1809
MUST_HAVE(emlen == BYTECEIL(modbits - 1), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1812
MUST_HAVE((emlen <= sizeof(em)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1846
MUST_HAVE((priv != NULL) && (m != NULL), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1848
MUST_HAVE((slen != NULL), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1850
MUST_HAVE((modbits > 1), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1853
MUST_HAVE((k < (u32)((u32)0x1 << 16)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1857
MUST_HAVE((hlen <= MAX_DIGEST_SIZE), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1860
MUST_HAVE(((*slen) >= k), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1861
MUST_HAVE(k >= (u32)(2 + hlen), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
187
MUST_HAVE((buflen <= 0xffff), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1895
MUST_HAVE((k < ((u32)0x1 << 16)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1960
MUST_HAVE((pub != NULL) && (m2 != NULL), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1968
MUST_HAVE((k < (u32)((u32)0x1 << 16)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1971
MUST_HAVE((hlen <= MAX_DIGEST_SIZE), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1976
MUST_HAVE(((u16)k == slen), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1977
MUST_HAVE((slen >= (hlen + 2)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1985
MUST_HAVE((slen <= sizeof(X)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
1991
MUST_HAVE((*m1len) >= m1len_, ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
2012
MUST_HAVE((m1len != NULL), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
202
MUST_HAVE((buflen <= 0xffff), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
220
MUST_HAVE((pub != NULL), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
231
MUST_HAVE((!nn_cmp(m, n, &cmp)) && (cmp < 0), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
266
MUST_HAVE(!check, ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
303
MUST_HAVE((u < MAX_CRT_COEFFS), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
450
MUST_HAVE((!nn_cmp(c, n, &cmp)) && (cmp < 0), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
497
MUST_HAVE((priv != NULL), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
532
MUST_HAVE((priv != NULL) && (pub != NULL), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
560
MUST_HAVE((check == 0), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
608
MUST_HAVE((digestinfo_len != NULL), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
615
MUST_HAVE(((*digestinfo_len) >= sizeof(_digestinfo)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
624
MUST_HAVE(((*digestinfo_len) >= sizeof(_digestinfo)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
633
MUST_HAVE(((*digestinfo_len) >= sizeof(_digestinfo)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
642
MUST_HAVE(((*digestinfo_len) >= sizeof(_digestinfo)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
651
MUST_HAVE(((*digestinfo_len) >= sizeof(_digestinfo)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
660
MUST_HAVE(((*digestinfo_len) >= sizeof(_digestinfo)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
669
MUST_HAVE(((*digestinfo_len) >= sizeof(_digestinfo)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
678
MUST_HAVE(((*digestinfo_len) >= sizeof(_digestinfo)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
687
MUST_HAVE(((*digestinfo_len) >= sizeof(_digestinfo)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
696
MUST_HAVE(((*digestinfo_len) >= sizeof(_digestinfo)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
705
MUST_HAVE(((*digestinfo_len) >= sizeof(_digestinfo)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
714
MUST_HAVE(((*digestinfo_len) >= sizeof(_digestinfo)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
729
MUST_HAVE(((*digestinfo_len) >= sizeof(_digestinfo)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
738
MUST_HAVE(((*digestinfo_len) >= sizeof(_digestinfo)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
747
MUST_HAVE(((*digestinfo_len) >= sizeof(_digestinfo)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
756
MUST_HAVE(((*digestinfo_len) >= sizeof(_digestinfo)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
768
MUST_HAVE(((*digestinfo_len) >= sizeof(_digestinfo)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
803
MUST_HAVE((z != NULL) && (mask != NULL), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
806
MUST_HAVE((hlen <= MAX_DIGEST_SIZE), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
809
MUST_HAVE((masklen < ((u64)hlen * ((u64)0x1 << 32))), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
86
MUST_HAVE((pub != NULL), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
866
MUST_HAVE((m != NULL) && (em != NULL) && (eminlen != NULL), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
869
MUST_HAVE((saltlen <= sizeof(salt)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
871
MUST_HAVE((emlen < (u32)((u32)0x1 << 16)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
874
MUST_HAVE(((*eminlen) >= emlen), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
878
MUST_HAVE((hlen <= MAX_DIGEST_SIZE), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
881
MUST_HAVE((embits >= ((8*(u32)hlen) + (8*(u32)saltlen) + 9)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
884
MUST_HAVE((emlen >= ((u32)hlen + (u32)saltlen + 2)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
900
MUST_HAVE((saltlen <= 0xffff), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
989
MUST_HAVE((m != NULL) && (em != NULL), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
993
MUST_HAVE((hlen <= MAX_DIGEST_SIZE), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa.c
999
MUST_HAVE((embits >= ((8*(u32)hlen) + (8*(u32)saltlen) + 9)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
104
MUST_HAVE((clen == t->mlen), ret, err1);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
106
MUST_HAVE(cmp, ret, err1);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
111
MUST_HAVE((clen == t->mlen), ret, err1);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
113
MUST_HAVE(cmp, ret, err1);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
123
MUST_HAVE((clen == t->reslen), ret, err1);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
125
MUST_HAVE(cmp, ret, err1);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
131
MUST_HAVE((clen == t->mlen), ret, err1);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
133
MUST_HAVE(cmp, ret, err1);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
138
MUST_HAVE((clen == t->mlen), ret, err1);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
140
MUST_HAVE(cmp, ret, err1);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
146
MUST_HAVE((t->reslen) <= 0xffff, ret, err1);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
151
MUST_HAVE((siglen == t->reslen), ret, err1);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
153
MUST_HAVE(cmp, ret, err1);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
157
MUST_HAVE((siglen == t->reslen), ret, err1);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
159
MUST_HAVE(cmp, ret, err1);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
167
MUST_HAVE((t->reslen) <= 0xffff, ret, err1);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
171
MUST_HAVE((t->reslen) <= 0xffff, ret, err1);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
180
MUST_HAVE((t->reslen) <= 0xffff, ret, err1);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
181
MUST_HAVE((siglen == (u16)(t->reslen)), ret, err1);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
183
MUST_HAVE(cmp, ret, err1);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
187
MUST_HAVE((siglen == (u16)(t->reslen)), ret, err1);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
189
MUST_HAVE(cmp, ret, err1);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
70
MUST_HAVE((num_tests > 1) && (i < (num_tests - 1)), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
73
MUST_HAVE((t_->dP != NULL), ret, err);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
96
MUST_HAVE((clen == t->reslen), ret, err1);
crypto/libecc/src/examples/sig/rsa/rsa_tests.h
98
MUST_HAVE(cmp, ret, err1);
crypto/libecc/src/examples/sig/sdsa/sdsa.c
117
MUST_HAVE((priv != NULL) && (msg != NULL) && (sig != NULL), ret, err);
crypto/libecc/src/examples/sig/sdsa/sdsa.c
139
MUST_HAVE((hlen <= MAX_DIGEST_SIZE), ret, err);
crypto/libecc/src/examples/sig/sdsa/sdsa.c
145
MUST_HAVE((siglen == (hlen + BYTECEIL(beta))), ret, err);
crypto/libecc/src/examples/sig/sdsa/sdsa.c
276
MUST_HAVE((pub != NULL) && (msg != NULL) && (sig != NULL), ret, err);
crypto/libecc/src/examples/sig/sdsa/sdsa.c
299
MUST_HAVE((hlen <= MAX_DIGEST_SIZE), ret, err);
crypto/libecc/src/examples/sig/sdsa/sdsa.c
302
MUST_HAVE((siglen == (hlen + BYTECEIL(beta))), ret, err);
crypto/libecc/src/examples/sig/sdsa/sdsa.c
310
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/examples/sig/sdsa/sdsa.c
312
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/examples/sig/sdsa/sdsa.c
315
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/examples/sss/sss.c
142
MUST_HAVE((shares != NULL) && (secret != NULL), ret, err);
crypto/libecc/src/examples/sss/sss.c
144
MUST_HAVE((n <= (u16)(0xffff - 1)), ret, err);
crypto/libecc/src/examples/sss/sss.c
145
MUST_HAVE((k <= n), ret, err);
crypto/libecc/src/examples/sss/sss.c
146
MUST_HAVE((k >= 1), ret, err);
crypto/libecc/src/examples/sss/sss.c
147
MUST_HAVE((SSS_SECRET_SIZE == sizeof(prime)), ret, err);
crypto/libecc/src/examples/sss/sss.c
302
MUST_HAVE((shares != NULL) && (secret != NULL), ret, err);
crypto/libecc/src/examples/sss/sss.c
304
MUST_HAVE((k >= 1), ret, err);
crypto/libecc/src/examples/sss/sss.c
305
MUST_HAVE((SSS_SECRET_SIZE == sizeof(prime)), ret, err);
crypto/libecc/src/examples/sss/sss.c
439
MUST_HAVE((SSS_HMAC_SIZE == sizeof(shares[0].raw_share_hmac)), ret, err);
crypto/libecc/src/examples/sss/sss.c
440
MUST_HAVE((SHA256_DIGEST_SIZE >= sizeof(shares[0].raw_share_hmac)), ret, err);
crypto/libecc/src/examples/sss/sss.c
549
MUST_HAVE((n <= (u16)(0xffff - 1)), ret, err);
crypto/libecc/src/examples/sss/sss.c
550
MUST_HAVE((n >= k), ret, err);
crypto/libecc/src/examples/sss/sss.c
94
MUST_HAVE((SHA512_DIGEST_SIZE >= (2 * SSS_SECRET_SIZE)), ret, err);
crypto/libecc/src/fp/fp.c
140
MUST_HAVE(((in != NULL) && (in->magic == FP_MAGIC) && (in->ctx != NULL) && (in->ctx->magic == FP_CTX_MAGIC)), ret, err);
crypto/libecc/src/fp/fp.c
154
MUST_HAVE((in != NULL), ret, err);
crypto/libecc/src/fp/fp.c
215
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/fp/fp.c
274
MUST_HAVE((cmp > 0), ret, err);
crypto/libecc/src/fp/fp.c
301
MUST_HAVE((in1->ctx == in2->ctx), ret, err);
crypto/libecc/src/fp/fp.c
336
MUST_HAVE((out != NULL), ret, err);
crypto/libecc/src/fp/fp.c
339
MUST_HAVE((out->ctx == in->ctx), ret, err);
crypto/libecc/src/fp/fp.c
35
MUST_HAVE(((ctx != NULL) && (ctx->magic == FP_CTX_MAGIC)), ret, err);
crypto/libecc/src/fp/fp.c
374
MUST_HAVE(((tab != NULL) && (idx < tabsize)), ret, err);
crypto/libecc/src/fp/fp.c
380
MUST_HAVE((p != NULL), ret, err);
crypto/libecc/src/fp/fp.c
391
MUST_HAVE(((&(tab[k]->ctx->p)) == p), ret, err);
crypto/libecc/src/fp/fp.c
419
MUST_HAVE((eq_or_opp != NULL), ret, err);
crypto/libecc/src/fp/fp.c
422
MUST_HAVE((in1->ctx == in2->ctx), ret, err);
crypto/libecc/src/fp/fp.c
451
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/fp/fp.c
61
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/fp/fp.c
95
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/fp/fp_add.c
109
MUST_HAVE(((&(in->ctx->p)) == (&(out->ctx->p))), ret, err);
crypto/libecc/src/fp/fp_add.c
132
MUST_HAVE(((&(in->ctx->p)) == (&(out->ctx->p))), ret, err);
crypto/libecc/src/fp/fp_add.c
33
MUST_HAVE(((&(in1->ctx->p)) == (&(in2->ctx->p))), ret, err);
crypto/libecc/src/fp/fp_add.c
34
MUST_HAVE(((&(in1->ctx->p)) == (&(out->ctx->p))), ret, err);
crypto/libecc/src/fp/fp_add.c
59
MUST_HAVE(((&(in->ctx->p)) == (&(out->ctx->p))), ret, err);
crypto/libecc/src/fp/fp_add.c
83
MUST_HAVE(((&(in1->ctx->p)) == (&(in2->ctx->p))), ret, err);
crypto/libecc/src/fp/fp_add.c
84
MUST_HAVE(((&(in1->ctx->p)) == (&(out->ctx->p))), ret, err);
crypto/libecc/src/fp/fp_montgomery.c
81
MUST_HAVE((out->ctx == in1->ctx), ret, err);
crypto/libecc/src/fp/fp_montgomery.c
82
MUST_HAVE((out->ctx == in2->ctx), ret, err);
crypto/libecc/src/fp/fp_montgomery.c
84
MUST_HAVE(!fp_iszero(in2, &iszero) && (!iszero), ret, err);
crypto/libecc/src/fp/fp_mul.c
115
MUST_HAVE(out->ctx == num->ctx, ret, err);
crypto/libecc/src/fp/fp_mul.c
116
MUST_HAVE(out->ctx == den->ctx, ret, err);
crypto/libecc/src/fp/fp_mul.c
38
MUST_HAVE(out->ctx == in1->ctx, ret, err);
crypto/libecc/src/fp/fp_mul.c
39
MUST_HAVE(out->ctx == in2->ctx, ret, err);
crypto/libecc/src/fp/fp_mul.c
76
MUST_HAVE(out->ctx == in->ctx, ret, err);
crypto/libecc/src/fp/fp_mul_redc1.c
47
MUST_HAVE((out->ctx == in1->ctx), ret, err);
crypto/libecc/src/fp/fp_mul_redc1.c
48
MUST_HAVE((out->ctx == in2->ctx), ret, err);
crypto/libecc/src/fp/fp_mul_redc1.c
81
MUST_HAVE((out->ctx == in->ctx), ret, err);
crypto/libecc/src/fp/fp_pow.c
68
MUST_HAVE(((&(out->ctx->p)) == (&(base->ctx->p))), ret, err);
crypto/libecc/src/hash/bash.c
113
MUST_HAVE((ctx != NULL) && (output != NULL), ret, err);
crypto/libecc/src/hash/bash.c
32
MUST_HAVE(((digest_size == (224/8)) || (digest_size == (256/8)) ||
crypto/libecc/src/hash/bash.c
34
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/hash/bash.c
66
MUST_HAVE(((ctx != NULL) && ((input != NULL) || (ilen == 0))), ret, err);
crypto/libecc/src/hash/bash224.c
72
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/hash/bash256.c
72
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/hash/bash384.c
72
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/hash/bash512.c
72
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/hash/belt-hash.c
311
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/hash/belt-hash.c
340
MUST_HAVE((input != NULL) || (ilen == 0), ret, err);
crypto/libecc/src/hash/belt-hash.c
392
MUST_HAVE((output != NULL), ret, err);
crypto/libecc/src/hash/belt-hash.c
432
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/hash/hash_algs.c
114
MUST_HAVE((h != NULL), ret, err);
crypto/libecc/src/hash/hash_algs.c
29
MUST_HAVE(((hash_name != NULL) && (hm != NULL)), ret, err);
crypto/libecc/src/hash/hash_algs.c
58
MUST_HAVE((hm != NULL), ret, err);
crypto/libecc/src/hash/hmac.c
109
MUST_HAVE((output != NULL) && (outlen != NULL), ret, err);
crypto/libecc/src/hash/hmac.c
114
MUST_HAVE(((*outlen) >= h->digest_size), ret, err);
crypto/libecc/src/hash/hmac.c
160
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/hash/hmac.c
26
MUST_HAVE((ctx != NULL) && (hmackey != NULL), ret, err);
crypto/libecc/src/hash/hmac.c
35
MUST_HAVE((ctx->hash != NULL), ret, err);
crypto/libecc/src/hash/hmac.c
90
MUST_HAVE((input != NULL) || (ilen == 0), ret, err);
crypto/libecc/src/hash/ripemd160.c
127
MUST_HAVE((data != NULL), ret, err);
crypto/libecc/src/hash/ripemd160.c
187
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/hash/ripemd160.c
214
MUST_HAVE((input != NULL) || (ilen == 0), ret, err);
crypto/libecc/src/hash/ripemd160.c
261
MUST_HAVE((output != NULL), ret, err);
crypto/libecc/src/hash/ripemd160.c
314
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/hash/sha224.c
104
MUST_HAVE((input != NULL) || (ilen == 0), ret, err);
crypto/libecc/src/hash/sha224.c
151
MUST_HAVE((output != NULL), ret, err);
crypto/libecc/src/hash/sha224.c
212
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/hash/sha224.c
30
MUST_HAVE((data != NULL), ret, err);
crypto/libecc/src/hash/sha224.c
74
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/hash/sha256.c
104
MUST_HAVE((input != NULL) || (ilen == 0), ret, err);
crypto/libecc/src/hash/sha256.c
151
MUST_HAVE((output != NULL), ret, err);
crypto/libecc/src/hash/sha256.c
207
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/hash/sha256.c
30
MUST_HAVE((data != NULL), ret, err);
crypto/libecc/src/hash/sha256.c
74
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/hash/sha3-224.c
77
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/hash/sha3-256.c
77
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/hash/sha3-384.c
77
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/hash/sha3-512.c
77
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/hash/sha3.c
31
MUST_HAVE(((digest_size == (224/8)) || (digest_size == (256/8)) ||
crypto/libecc/src/hash/sha3.c
33
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/hash/sha3.c
56
MUST_HAVE(((ctx != NULL) && ((input != NULL) || (ilen == 0))), ret, err);
crypto/libecc/src/hash/sha3.c
84
MUST_HAVE((output != NULL) && (ctx != NULL), ret, err);
crypto/libecc/src/hash/sha3.c
85
MUST_HAVE((ctx->sha3_digest_size <= sizeof(ctx->sha3_state)), ret, err);
crypto/libecc/src/hash/sha384.c
103
MUST_HAVE((input != NULL), ret, err);
crypto/libecc/src/hash/sha384.c
154
MUST_HAVE((output != NULL), ret, err);
crypto/libecc/src/hash/sha384.c
217
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/hash/sha384.c
30
MUST_HAVE((data != NULL), ret, err);
crypto/libecc/src/hash/sha384.c
74
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/hash/sha512-224.c
26
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/hash/sha512-224.c
89
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/hash/sha512-256.c
26
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/hash/sha512-256.c
89
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/hash/sha512.c
26
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/hash/sha512.c
90
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/hash/sha512_core.c
122
MUST_HAVE(((ctx != NULL) && (output != NULL)), ret, err);
crypto/libecc/src/hash/sha512_core.c
29
MUST_HAVE(((ctx != NULL) && (data != NULL)), ret, err);
crypto/libecc/src/hash/sha512_core.c
76
MUST_HAVE(((ctx != NULL) && ((input != NULL) || (ilen == 0))), ret, err);
crypto/libecc/src/hash/shake.c
19
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/hash/shake.c
42
MUST_HAVE((ctx != NULL) && ((input != NULL) || (ilen == 0)), ret, err);
crypto/libecc/src/hash/shake.c
70
MUST_HAVE((ctx != NULL) && (output != NULL), ret, err);
crypto/libecc/src/hash/shake.c
71
MUST_HAVE((ctx->shake_digest_size <= sizeof(ctx->shake_state)), ret, err);
crypto/libecc/src/hash/shake256.c
62
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/hash/sm3.c
193
MUST_HAVE(ctx != NULL, ret, err);
crypto/libecc/src/hash/sm3.c
223
MUST_HAVE((input != NULL) || (ilen == 0), ret, err);
crypto/libecc/src/hash/sm3.c
270
MUST_HAVE((output != NULL), ret, err);
crypto/libecc/src/hash/sm3.c
326
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/hash/streebog.c
113
MUST_HAVE((ctx != NULL) && (output != NULL), ret, err);
crypto/libecc/src/hash/streebog.c
117
MUST_HAVE((digest_size == 32) || (digest_size == 64), ret, err);
crypto/libecc/src/hash/streebog.c
220
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/hash/streebog.c
307
MUST_HAVE((inputs != NULL) && (ilens != NULL) && (output != NULL), ret, err);
crypto/libecc/src/hash/streebog.c
35
MUST_HAVE((digest_size == STREEBOG256_DIGEST_SIZE) || (digest_size == STREEBOG512_DIGEST_SIZE), ret, err);
crypto/libecc/src/hash/streebog.c
37
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/hash/streebog.c
64
MUST_HAVE((ctx != NULL) && ((input != NULL) || (ilen == 0)), ret, err);
crypto/libecc/src/nn/nn.c
185
MUST_HAVE((in1->wlen <= NN_MAX_WORD_LEN), ret, err);
crypto/libecc/src/nn/nn.c
186
MUST_HAVE((in2->wlen <= NN_MAX_WORD_LEN), ret, err);
crypto/libecc/src/nn/nn.c
227
MUST_HAVE((new_wlen <= NN_MAX_WORD_LEN), ret, err);
crypto/libecc/src/nn/nn.c
228
MUST_HAVE((A->wlen <= NN_MAX_WORD_LEN), ret, err);
crypto/libecc/src/nn/nn.c
253
MUST_HAVE((A->wlen <= NN_MAX_WORD_LEN), ret, err);
crypto/libecc/src/nn/nn.c
254
MUST_HAVE((iszero != NULL), ret, err);
crypto/libecc/src/nn/nn.c
280
MUST_HAVE(!(A->wlen > NN_MAX_WORD_LEN), ret, err);
crypto/libecc/src/nn/nn.c
281
MUST_HAVE((isone != NULL), ret, err);
crypto/libecc/src/nn/nn.c
306
MUST_HAVE((isodd != NULL), ret, err);
crypto/libecc/src/nn/nn.c
328
MUST_HAVE((cmp != NULL), ret, err);
crypto/libecc/src/nn/nn.c
376
MUST_HAVE((cmp != NULL), ret, err);
crypto/libecc/src/nn/nn.c
405
MUST_HAVE((dst_nn != NULL), ret, err);
crypto/libecc/src/nn/nn.c
450
MUST_HAVE(((val != NULL) && (out != NULL)), ret, err);
crypto/libecc/src/nn/nn.c
496
MUST_HAVE(((out_nn != NULL) && (buf != NULL) &&
crypto/libecc/src/nn/nn.c
530
MUST_HAVE((buf != NULL), ret, err);
crypto/libecc/src/nn/nn.c
584
MUST_HAVE(((tab != NULL) && (idx < tabsize)), ret, err);
crypto/libecc/src/nn/nn.c
68
MUST_HAVE((A != NULL), ret, err);
crypto/libecc/src/nn/nn.c
69
MUST_HAVE((A->magic == NN_MAGIC), ret, err);
crypto/libecc/src/nn/nn.c
70
MUST_HAVE((A->wlen <= NN_MAX_WORD_LEN), ret, err);
crypto/libecc/src/nn/nn.c
89
MUST_HAVE(((A != NULL) && (len <= NN_MAX_BYTE_LEN)), ret, err);
crypto/libecc/src/nn/nn_add.c
127
MUST_HAVE(((out->wlen != NN_MAX_WORD_LEN) || (!carry)), ret, err);
crypto/libecc/src/nn/nn_add.c
203
MUST_HAVE(((out->wlen != NN_MAX_WORD_LEN) || (!carry)), ret, err);
crypto/libecc/src/nn/nn_add.c
346
MUST_HAVE((p->wlen < NN_MAX_WORD_LEN), ret, err); /* otherwise carry could overflow */
crypto/libecc/src/nn/nn_add.c
413
MUST_HAVE((p->wlen < NN_MAX_WORD_LEN), ret, err); /* otherwise carry could overflow */
crypto/libecc/src/nn/nn_add.c
472
MUST_HAVE((p->wlen < NN_MAX_WORD_LEN), ret, err); /* otherwise carry could overflow */
crypto/libecc/src/nn/nn_add.c
539
MUST_HAVE((p->wlen < NN_MAX_WORD_LEN), ret, err); /* otherwise carry could overflow */
crypto/libecc/src/nn/nn_add.c
68
MUST_HAVE((carry != NULL), ret, err);
crypto/libecc/src/nn/nn_div.c
121
MUST_HAVE((out->wlen >= (in->wlen + shift)), ret, err);
crypto/libecc/src/nn/nn_div.c
1213
MUST_HAVE((sign != NULL), ret, err);
crypto/libecc/src/nn/nn_div.c
122
MUST_HAVE((borrow != NULL), ret, err);
crypto/libecc/src/nn/nn_div.c
201
MUST_HAVE(!(b->wlen <= 0), ret, err);
crypto/libecc/src/nn/nn_div.c
202
MUST_HAVE(!(a->wlen <= b->wlen), ret, err);
crypto/libecc/src/nn/nn_div.c
203
MUST_HAVE(!(!((b->val[b->wlen - 1] >> (WORD_BITS - 1)) == WORD(1))), ret, err);
crypto/libecc/src/nn/nn_div.c
204
MUST_HAVE(!_nn_cmp_shift(a, b, (u8)(a->wlen - b->wlen), &cmp) && (cmp < 0), ret, err);
crypto/libecc/src/nn/nn_div.c
247
MUST_HAVE(!(r->val[i - 1] < borrow), ret, err);
crypto/libecc/src/nn/nn_div.c
258
MUST_HAVE(!(r->val[i - 1] != borrow), ret, err);
crypto/libecc/src/nn/nn_div.c
270
MUST_HAVE(!(r->val[r->wlen - 1] != WORD(0)), ret, err);
crypto/libecc/src/nn/nn_div.c
273
MUST_HAVE(!(cmp >= 0), ret, err);
crypto/libecc/src/nn/nn_div.c
347
MUST_HAVE((q != r) && (q != a) && (q != b), ret, err);
crypto/libecc/src/nn/nn_div.c
419
MUST_HAVE(((a->wlen + BIT_LEN_WORDS(cnt)) < NN_MAX_WORD_LEN), ret, err);
crypto/libecc/src/nn/nn_div.c
442
MUST_HAVE(((!nn_cmp(r, b_norm, &cmp)) && (cmp < 0)), ret, err);
crypto/libecc/src/nn/nn_div.c
453
MUST_HAVE(((!_nn_cmp_shift(&a_shift, b_norm, (u8)(new_wlen - b_wlen), &cmp)) && (cmp < 0)), ret, err);
crypto/libecc/src/nn/nn_div.c
48
MUST_HAVE((in1->wlen >= (in2->wlen + shift)), ret, err);
crypto/libecc/src/nn/nn_div.c
49
MUST_HAVE((cmp != NULL), ret, err);
crypto/libecc/src/nn/nn_div.c
522
MUST_HAVE((q != r) && (q != a) && (q != b), ret, err);
crypto/libecc/src/nn/nn_div.c
655
MUST_HAVE((WRSHIFT((b), (WORD_BITS - 1)) == WORD(1)), ret, err);
crypto/libecc/src/nn/nn_div.c
681
MUST_HAVE(!(ret), ret, err);
crypto/libecc/src/nn/nn_div.c
683
MUST_HAVE((WRSHIFT(rhl[1], HWORD_BITS) == 0), ret, err);
crypto/libecc/src/nn/nn_div.c
699
MUST_HAVE(!(ret), ret, err);
crypto/libecc/src/nn/nn_div.c
702
MUST_HAVE((rhl[1] == WORD(0)), ret, err);
crypto/libecc/src/nn/nn_div.c
703
MUST_HAVE(!(rhl[0] >= (b)), ret, err);
crypto/libecc/src/nn/nn_div.c
706
MUST_HAVE(!((word_t) ((*q)*(b) + (*r)) != (al)), ret, err);
crypto/libecc/src/nn/nn_div.c
728
MUST_HAVE((reciprocal != NULL), ret, err);
crypto/libecc/src/nn/nn_div.c
803
MUST_HAVE((p_shift != NULL), ret, err);
crypto/libecc/src/nn/nn_div.c
804
MUST_HAVE((p_reciprocal != NULL), ret, err);
crypto/libecc/src/nn/nn_div.c
807
MUST_HAVE((p_normalized != p_in), ret, err);
crypto/libecc/src/nn/nn_div.c
83
MUST_HAVE((out->wlen >= (in->wlen + shift)), ret, err);
crypto/libecc/src/nn/nn_div.c
835
MUST_HAVE((p_rounded_bitlen >= (2 * WORDSIZE)), ret, err);
crypto/libecc/src/nn/nn_div.c
84
MUST_HAVE((borrow != NULL), ret, err);
crypto/libecc/src/nn/nn_div.c
885
MUST_HAVE(!nn_iszero(b, &iszero) && !iszero, ret, err);
crypto/libecc/src/nn/nn_div.c
902
MUST_HAVE(!(ptr->wlen < 2), ret, err);
crypto/libecc/src/nn/nn_div.c
959
MUST_HAVE(((q != NULL) && (r != NULL)), ret, err);
crypto/libecc/src/nn/nn_logical.c
284
MUST_HAVE((bitlen <= NN_MAX_BIT_LEN), ret, err);
crypto/libecc/src/nn/nn_logical.c
285
MUST_HAVE((cnt < bitlen), ret, err);
crypto/libecc/src/nn/nn_logical.c
324
MUST_HAVE(!(bitlen > NN_MAX_BIT_LEN), ret, err);
crypto/libecc/src/nn/nn_logical.c
325
MUST_HAVE(!(cnt >= bitlen), ret, err);
crypto/libecc/src/nn/nn_logical.c
512
MUST_HAVE((lz != NULL), ret, err);
crypto/libecc/src/nn/nn_logical.c
541
MUST_HAVE((blen != NULL), ret, err);
crypto/libecc/src/nn/nn_logical.c
568
MUST_HAVE((bitval != NULL), ret, err);
crypto/libecc/src/nn/nn_logical.c
570
MUST_HAVE((bit < NN_MAX_BIT_LEN), ret, err);
crypto/libecc/src/nn/nn_mod_pow.c
256
MUST_HAVE(isodd, ret, err);
crypto/libecc/src/nn/nn_modinv.c
126
MUST_HAVE((!nn_isodd(&b, &tmp_isodd)) && tmp_isodd, ret, err);
crypto/libecc/src/nn/nn_modinv.c
135
MUST_HAVE((!nn_isodd(&a, &tmp_isodd)) && (!tmp_isodd), ret, err); /* a is now even */
crypto/libecc/src/nn/nn_modinv.c
172
MUST_HAVE((!nn_cmp(&u, m, &cmp)) && (cmp < 0), ret, err);
crypto/libecc/src/nn/nn_modinv.c
173
MUST_HAVE((!nn_cmp(uu, m, &cmp)) && (cmp < 0), ret, err);
crypto/libecc/src/nn/nn_modinv.c
185
MUST_HAVE((!nn_iszero(&a, &iszero)) && iszero, ret, err);
crypto/libecc/src/nn/nn_modinv.c
255
MUST_HAVE(isodd, ret, err);
crypto/libecc/src/nn/nn_modinv.c
261
MUST_HAVE(isone, ret, err);
crypto/libecc/src/nn/nn_modinv.c
326
MUST_HAVE((x_isodd != NULL), ret, err);
crypto/libecc/src/nn/nn_modinv.c
67
MUST_HAVE((!nn_isodd(m, &isodd)) && isodd, ret, err);
crypto/libecc/src/nn/nn_modinv.c
68
MUST_HAVE((!nn_cmp(x, m, &cmp)) && (cmp < 0), ret, err);
crypto/libecc/src/nn/nn_modinv.c
69
MUST_HAVE((!nn_iszero(x, &iszero)) && (!iszero), ret, err);
crypto/libecc/src/nn/nn_mul.c
52
MUST_HAVE(((wlimit * WORD_BYTES) <= NN_MAX_BYTE_LEN), ret, err);
crypto/libecc/src/nn/nn_mul_redc1.c
164
MUST_HAVE(((WORD_BITS * (out->wlen + 1)) <= NN_MAX_BIT_LEN), ret, err);
crypto/libecc/src/nn/nn_mul_redc1.c
212
MUST_HAVE((!nn_cmp(out, p, &cmp)) && (cmp < 0), ret, err);
crypto/libecc/src/nn/nn_mul_redc1.c
51
MUST_HAVE((mpinv != NULL), ret, err);
crypto/libecc/src/nn/nn_mul_redc1.c
93
MUST_HAVE(!(NN_MAX_BIT_LEN < (2 * p_rounded_bitlen)), ret, err);
crypto/libecc/src/nn/nn_rand.c
108
MUST_HAVE((q_len) && (q_len <= (NN_MAX_BYTE_LEN / 2)), ret, err);
crypto/libecc/src/nn/nn_rand.c
109
MUST_HAVE((!nn_isone(q, &isone)) && (!isone), ret, err);
crypto/libecc/src/nn/nn_rand.c
35
MUST_HAVE((len <= NN_MAX_BYTE_LEN), ret, err);
crypto/libecc/src/nn/nn_rand.c
61
MUST_HAVE((max_len <= NN_MAX_BYTE_LEN), ret, err);
crypto/libecc/src/sig/bign_common.c
102
MUST_HAVE((adata != NULL) && (oid_ptr != NULL) && (oid_len != NULL), ret, err);
crypto/libecc/src/sig/bign_common.c
103
MUST_HAVE((adata_len >= 4), ret, err);
crypto/libecc/src/sig/bign_common.c
108
MUST_HAVE(((*oid_len) + t_len) >= (t_len), ret, err);
crypto/libecc/src/sig/bign_common.c
109
MUST_HAVE(((*oid_len) + t_len) <= (adata_len - 4), ret, err);
crypto/libecc/src/sig/bign_common.c
128
MUST_HAVE((adata != NULL) && (t_ptr != NULL) && (t_len != NULL), ret, err);
crypto/libecc/src/sig/bign_common.c
129
MUST_HAVE((adata_len >= 4), ret, err);
crypto/libecc/src/sig/bign_common.c
134
MUST_HAVE((oid_len + (*t_len)) >= (oid_len), ret, err);
crypto/libecc/src/sig/bign_common.c
135
MUST_HAVE((oid_len + (*t_len)) <= (adata_len - 4), ret, err);
crypto/libecc/src/sig/bign_common.c
153
MUST_HAVE((adata != NULL), ret, err);
crypto/libecc/src/sig/bign_common.c
155
MUST_HAVE((oid != NULL) || (oid_len == 0), ret, err);
crypto/libecc/src/sig/bign_common.c
156
MUST_HAVE((t != NULL) || (t_len == 0), ret, err);
crypto/libecc/src/sig/bign_common.c
157
MUST_HAVE((adata_len >= 4), ret, err);
crypto/libecc/src/sig/bign_common.c
159
MUST_HAVE(((oid_len + t_len) >= oid_len), ret, err);
crypto/libecc/src/sig/bign_common.c
160
MUST_HAVE(((adata_len - 4) >= (oid_len + t_len)), ret, err);
crypto/libecc/src/sig/bign_common.c
219
MUST_HAVE((adata != NULL) && (h != NULL), ret, err);
crypto/libecc/src/sig/bign_common.c
255
MUST_HAVE((hlen <= sizeof(r)), ret, err);
crypto/libecc/src/sig/bign_common.c
315
MUST_HAVE((n * BELT_BLOCK_LEN) <= 0xffff, ret, err);
crypto/libecc/src/sig/bign_common.c
332
MUST_HAVE((i != 0), ret, err);
crypto/libecc/src/sig/bign_common.c
352
MUST_HAVE((out_pub != NULL), ret, err);
crypto/libecc/src/sig/bign_common.c
361
MUST_HAVE((!nn_cmp(&(in_priv->x), q, &cmp)) && (cmp < 0), ret, err);
crypto/libecc/src/sig/bign_common.c
380
MUST_HAVE(siglen != NULL, ret, err);
crypto/libecc/src/sig/bign_common.c
381
MUST_HAVE((p_bit_len <= CURVES_MAX_P_BIT_LEN) &&
crypto/libecc/src/sig/bign_common.c
408
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == BIGN_SIGN_MAGIC), ret, err)
crypto/libecc/src/sig/bign_common.c
420
MUST_HAVE((ctx->h != NULL) && (ctx->h->digest_size <= MAX_DIGEST_SIZE) &&
crypto/libecc/src/sig/bign_common.c
426
MUST_HAVE((ctx->adata != NULL) && (ctx->adata_len != 0), ret, err);
crypto/libecc/src/sig/bign_common.c
502
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/sig/bign_common.c
520
MUST_HAVE((priv_key->key_type == key_type), ret, err);
crypto/libecc/src/sig/bign_common.c
530
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/sig/bign_common.c
539
MUST_HAVE((siglen == BIGN_SIGLEN(q_bit_len)), ret, err);
crypto/libecc/src/sig/bign_common.c
544
MUST_HAVE((ctx->adata != NULL) && (ctx->adata_len != 0), ret, err);
crypto/libecc/src/sig/bign_common.c
740
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == BIGN_VERIFY_MAGIC), ret, err)
crypto/libecc/src/sig/bign_common.c
760
MUST_HAVE((ctx->h != NULL) && (ctx->h->digest_size <= MAX_DIGEST_SIZE) &&
crypto/libecc/src/sig/bign_common.c
762
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/sig/bign_common.c
767
MUST_HAVE((ctx->adata != NULL) && (ctx->adata_len != 0), ret, err);
crypto/libecc/src/sig/bign_common.c
780
MUST_HAVE((siglen == BIGN_SIGLEN(q_bit_len)), ret, err);
crypto/libecc/src/sig/bign_common.c
79
MUST_HAVE((buf != NULL), ret, err);
crypto/libecc/src/sig/bign_common.c
798
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/sig/bign_common.c
882
MUST_HAVE((ctx->adata != NULL) && (ctx->adata_len != 0), ret, err);
crypto/libecc/src/sig/bign_common.c
901
MUST_HAVE((sizeof(t) == sizeof(ctx->verify_data.bign.s0_sig)), ret, err);
crypto/libecc/src/sig/bign_common.c
936
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/sig/bip0340.c
1065
MUST_HAVE((s != NULL) && (pub_keys != NULL) && (m != NULL), ret, err);
crypto/libecc/src/sig/bip0340.c
1067
MUST_HAVE((scratch_pad_area_len != NULL), ret, err);
crypto/libecc/src/sig/bip0340.c
1068
MUST_HAVE(((2 * num) >= num), ret, err);
crypto/libecc/src/sig/bip0340.c
1069
MUST_HAVE(((2 * num) + 1) >= num, ret, err);
crypto/libecc/src/sig/bip0340.c
1096
MUST_HAVE((expected_len < 0xffffffff), ret, err);
crypto/libecc/src/sig/bip0340.c
1107
MUST_HAVE((*scratch_pad_area_len) >= expected_len, ret, err);
crypto/libecc/src/sig/bip0340.c
1111
MUST_HAVE((pub_key0 != NULL), ret, err);
crypto/libecc/src/sig/bip0340.c
1116
MUST_HAVE((hm != NULL), ret, err);
crypto/libecc/src/sig/bip0340.c
112
MUST_HAVE((out_pub != NULL), ret, err);
crypto/libecc/src/sig/bip0340.c
1128
MUST_HAVE((pub_key->params) == (pub_key0->params), ret, err);
crypto/libecc/src/sig/bip0340.c
1143
MUST_HAVE((siglen == BIP0340_SIGLEN(p_bit_len, q_bit_len)), ret, err);
crypto/libecc/src/sig/bip0340.c
1144
MUST_HAVE((siglen == (BIP0340_R_LEN(p_bit_len) + BIP0340_S_LEN(q_bit_len))), ret, err);
crypto/libecc/src/sig/bip0340.c
1147
MUST_HAVE((key_type == sig_type), ret, err);
crypto/libecc/src/sig/bip0340.c
1173
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/sig/bip0340.c
1250
MUST_HAVE((q != NULL) && (G != NULL) && (q_bit_len != 0), ret, err);
crypto/libecc/src/sig/bip0340.c
1304
MUST_HAVE((scratch_pad_area_len != NULL), ret, err);
crypto/libecc/src/sig/bip0340.c
140
MUST_HAVE((siglen != NULL), ret, err);
crypto/libecc/src/sig/bip0340.c
141
MUST_HAVE(((p_bit_len <= CURVES_MAX_P_BIT_LEN) &&
crypto/libecc/src/sig/bip0340.c
190
MUST_HAVE((key_pair != NULL) && (sig != NULL) && (adata == NULL), ret, err);
crypto/libecc/src/sig/bip0340.c
193
MUST_HAVE((sig_type == BIP0340), ret, err);
crypto/libecc/src/sig/bip0340.c
200
MUST_HAVE((hm != NULL), ret, err);
crypto/libecc/src/sig/bip0340.c
225
MUST_HAVE((siglen == BIP0340_SIGLEN(p_bit_len, q_bit_len)), ret, err);
crypto/libecc/src/sig/bip0340.c
226
MUST_HAVE((p_len == BIP0340_R_LEN(p_bit_len)), ret, err);
crypto/libecc/src/sig/bip0340.c
227
MUST_HAVE((q_len == BIP0340_S_LEN(q_bit_len)), ret, err);
crypto/libecc/src/sig/bip0340.c
232
MUST_HAVE((!iszero) && (cmp < 0), ret, err);
crypto/libecc/src/sig/bip0340.c
246
MUST_HAVE((rand == nn_get_random_mod), ret, err);
crypto/libecc/src/sig/bip0340.c
257
MUST_HAVE((siglen >= q_len), ret, err);
crypto/libecc/src/sig/bip0340.c
294
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/sig/bip0340.c
376
MUST_HAVE((((const void *)(A)) != NULL) && \
crypto/libecc/src/sig/bip0340.c
400
MUST_HAVE((ctx->h != NULL) && (ctx->h->digest_size <= MAX_DIGEST_SIZE) &&
crypto/libecc/src/sig/bip0340.c
402
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/sig/bip0340.c
416
MUST_HAVE((siglen == BIP0340_SIGLEN(p_bit_len, q_bit_len)), ret, err);
crypto/libecc/src/sig/bip0340.c
417
MUST_HAVE((p_len == BIP0340_R_LEN(p_bit_len)), ret, err);
crypto/libecc/src/sig/bip0340.c
418
MUST_HAVE((q_len == BIP0340_S_LEN(q_bit_len)), ret, err);
crypto/libecc/src/sig/bip0340.c
431
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/sig/bip0340.c
52
MUST_HAVE((h_ctx != NULL), ret, err);
crypto/libecc/src/sig/bip0340.c
556
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/sig/bip0340.c
560
MUST_HAVE((!isodd), ret, err);
crypto/libecc/src/sig/bip0340.c
664
MUST_HAVE((stream != NULL), ret, err);
crypto/libecc/src/sig/bip0340.c
665
MUST_HAVE((stream_len <= CHACHA20_MAX_ASKED_LEN), ret, err);
crypto/libecc/src/sig/bip0340.c
704
MUST_HAVE((seedlen == SHA256_DIGEST_SIZE) && (scalar_len <= CHACHA20_MAX_ASKED_LEN), ret, err);
crypto/libecc/src/sig/bip0340.c
726
MUST_HAVE((seed != NULL) && (scalar != NULL) && (num != NULL) && (a != NULL), ret, err);
crypto/libecc/src/sig/bip0340.c
727
MUST_HAVE((scalar_len >= q_len), ret, err);
crypto/libecc/src/sig/bip0340.c
732
MUST_HAVE((*num) < 0xffffffff, ret, err);
crypto/libecc/src/sig/bip0340.c
777
MUST_HAVE((hm != NULL), ret, err);
crypto/libecc/src/sig/bip0340.c
779
MUST_HAVE((seedlen == hm->digest_size), ret, err);
crypto/libecc/src/sig/bip0340.c
843
MUST_HAVE((s != NULL) && (pub_keys != NULL) && (m != NULL), ret, err);
crypto/libecc/src/sig/bip0340.c
845
MUST_HAVE((num > 0), ret, err);
crypto/libecc/src/sig/bip0340.c
854
MUST_HAVE((pub_key0 != NULL), ret, err);
crypto/libecc/src/sig/bip0340.c
859
MUST_HAVE((hm != NULL), ret, err);
crypto/libecc/src/sig/bip0340.c
87
MUST_HAVE((isone), ret, err);
crypto/libecc/src/sig/bip0340.c
871
MUST_HAVE((pub_key->params) == (pub_key0->params), ret, err);
crypto/libecc/src/sig/bip0340.c
886
MUST_HAVE((siglen == BIP0340_SIGLEN(p_bit_len, q_bit_len)), ret, err);
crypto/libecc/src/sig/bip0340.c
887
MUST_HAVE((siglen == (BIP0340_R_LEN(p_bit_len) + BIP0340_S_LEN(q_bit_len))), ret, err);
crypto/libecc/src/sig/bip0340.c
890
MUST_HAVE((key_type == sig_type), ret, err);
crypto/libecc/src/sig/bip0340.c
921
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/sig/bip0340.c
993
MUST_HAVE((q != NULL) && (G != NULL), ret, err);
crypto/libecc/src/sig/dbign.c
53
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/sig/dbign.c
70
MUST_HAVE((ctx != NULL) && (ctx->rand == NULL), ret, err);
crypto/libecc/src/sig/dbign.c
85
MUST_HAVE((ctx != NULL) && (ctx->rand == NULL), ret, err);
crypto/libecc/src/sig/decdsa.c
53
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/sig/decdsa.c
70
MUST_HAVE((ctx != NULL) && (ctx->rand == NULL), ret, err);
crypto/libecc/src/sig/decdsa.c
85
MUST_HAVE((ctx != NULL) && (ctx->rand == NULL), ret, err);
crypto/libecc/src/sig/ec_key.c
110
MUST_HAVE(((A != NULL) && (A->magic == PUB_KEY_MAGIC) && (A->params != NULL)), ret, err);
crypto/libecc/src/sig/ec_key.c
125
MUST_HAVE(((A != NULL) && (A->magic == PUB_KEY_MAGIC) &&
crypto/libecc/src/sig/ec_key.c
145
MUST_HAVE(((pub_key != NULL) && (pub_key_buf != NULL) && (params != NULL)), ret, err);
crypto/libecc/src/sig/ec_key.c
162
MUST_HAVE(check, ret, err);
crypto/libecc/src/sig/ec_key.c
187
MUST_HAVE(((pub_key != NULL) && (pub_key_buf != NULL) && (params != NULL)), ret, err);
crypto/libecc/src/sig/ec_key.c
204
MUST_HAVE(check, ret, err);
crypto/libecc/src/sig/ec_key.c
257
MUST_HAVE((A != NULL), ret, err);
crypto/libecc/src/sig/ec_key.c
275
MUST_HAVE((A != NULL), ret, err);
crypto/libecc/src/sig/ec_key.c
28
MUST_HAVE(((A != NULL) && (A->magic == PRIV_KEY_MAGIC) && (A->params != NULL)), ret, err);
crypto/libecc/src/sig/ec_key.c
296
MUST_HAVE((kp != NULL), ret, err);
crypto/libecc/src/sig/ec_key.c
328
MUST_HAVE((priv_key != NULL) && (priv_key_buf != NULL) && (priv_key_buf_len > metadata_len), ret, err);
crypto/libecc/src/sig/ec_key.c
329
MUST_HAVE((params != NULL) && (params->curve_name != NULL), ret, err);
crypto/libecc/src/sig/ec_key.c
332
MUST_HAVE((EC_PRIVKEY == priv_key_buf[0]), ret, err);
crypto/libecc/src/sig/ec_key.c
335
MUST_HAVE((ec_key_alg == priv_key_buf[1]), ret, err);
crypto/libecc/src/sig/ec_key.c
340
MUST_HAVE((len < 256), ret, err);
crypto/libecc/src/sig/ec_key.c
371
MUST_HAVE((priv_key_buf != NULL) && (priv_key_buf_len > metadata_len) && (priv_key->params->curve_name != NULL), ret, err);
crypto/libecc/src/sig/ec_key.c
391
MUST_HAVE((len < 256), ret, err);
crypto/libecc/src/sig/ec_key.c
420
MUST_HAVE((pub_key_buf != NULL) && (pub_key_buf_len > metadata_len), ret, err);
crypto/libecc/src/sig/ec_key.c
421
MUST_HAVE((params != NULL) && (params->curve_name != NULL), ret, err);
crypto/libecc/src/sig/ec_key.c
43
MUST_HAVE(((A != NULL) && (A->magic == PRIV_KEY_MAGIC) &&
crypto/libecc/src/sig/ec_key.c
431
MUST_HAVE((EC_PUBKEY == pub_key_buf[0]), ret, err);
crypto/libecc/src/sig/ec_key.c
434
MUST_HAVE((ec_key_alg == pub_key_buf[1]), ret, err);
crypto/libecc/src/sig/ec_key.c
439
MUST_HAVE((len < 256), ret, err);
crypto/libecc/src/sig/ec_key.c
469
MUST_HAVE((pub_key_buf != NULL) && (pub_key_buf_len > metadata_len), ret, err);
crypto/libecc/src/sig/ec_key.c
470
MUST_HAVE((pub_key->params->curve_name != NULL), ret, err);
crypto/libecc/src/sig/ec_key.c
490
MUST_HAVE((len < 256), ret, err);
crypto/libecc/src/sig/ec_key.c
519
MUST_HAVE((kp != NULL) && (priv_key_buf != NULL) && (priv_key_buf_len > metadata_len), ret, err);
crypto/libecc/src/sig/ec_key.c
520
MUST_HAVE((params != NULL) && (params->curve_name != NULL), ret, err);
crypto/libecc/src/sig/ec_key.c
529
MUST_HAVE((EC_PRIVKEY == priv_key_buf[0]), ret, err);
crypto/libecc/src/sig/ec_key.c
532
MUST_HAVE((ec_key_alg == priv_key_buf[1]), ret, err);
crypto/libecc/src/sig/ec_key.c
537
MUST_HAVE((len < 256), ret, err);
crypto/libecc/src/sig/ec_key.c
575
MUST_HAVE((kp != NULL), ret, err);
crypto/libecc/src/sig/ec_key.c
599
MUST_HAVE((kp != NULL) && (params != NULL), ret, err);
crypto/libecc/src/sig/ec_key.c
63
MUST_HAVE((priv_key != NULL), ret, err);
crypto/libecc/src/sig/ec_key.c
93
MUST_HAVE(((8 * (u32)priv_key_buf_len) >= (u32)blen), ret, err);
crypto/libecc/src/sig/ecdsa_common.c
179
MUST_HAVE((out_pub != NULL), ret, err);
crypto/libecc/src/sig/ecdsa_common.c
188
MUST_HAVE((!nn_cmp(&(in_priv->x), q, &cmp)) && (cmp < 0), ret, err);
crypto/libecc/src/sig/ecdsa_common.c
207
MUST_HAVE(siglen != NULL, ret, err);
crypto/libecc/src/sig/ecdsa_common.c
208
MUST_HAVE((p_bit_len <= CURVES_MAX_P_BIT_LEN) &&
crypto/libecc/src/sig/ecdsa_common.c
263
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == ECDSA_SIGN_MAGIC), ret, err)
crypto/libecc/src/sig/ecdsa_common.c
275
MUST_HAVE((ctx->h != NULL) && (ctx->h->digest_size <= MAX_DIGEST_SIZE) &&
crypto/libecc/src/sig/ecdsa_common.c
347
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/sig/ecdsa_common.c
364
MUST_HAVE((priv_key->key_type == key_type), ret, err);
crypto/libecc/src/sig/ecdsa_common.c
371
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/sig/ecdsa_common.c
380
MUST_HAVE((siglen == ECDSA_SIGLEN(q_bit_len)), ret, err);
crypto/libecc/src/sig/ecdsa_common.c
617
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == ECDSA_VERIFY_MAGIC), ret, err)
crypto/libecc/src/sig/ecdsa_common.c
633
MUST_HAVE((ctx->h != NULL) && (ctx->h->digest_size <= MAX_DIGEST_SIZE) &&
crypto/libecc/src/sig/ecdsa_common.c
635
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/sig/ecdsa_common.c
64
MUST_HAVE((k != NULL), ret, err);
crypto/libecc/src/sig/ecdsa_common.c
645
MUST_HAVE((siglen == ECDSA_SIGLEN(q_bit_len)), ret, err);
crypto/libecc/src/sig/ecdsa_common.c
65
MUST_HAVE((hash != NULL), ret, err);
crypto/libecc/src/sig/ecdsa_common.c
658
MUST_HAVE(((!iszero1) && (cmp1 < 0) && !iszero2 && (cmp2 < 0)), ret, err);
crypto/libecc/src/sig/ecdsa_common.c
71
MUST_HAVE((q_len <= EC_PRIV_KEY_MAX_SIZE) && (hsize <= MAX_BLOCK_SIZE), ret, err);
crypto/libecc/src/sig/ecdsa_common.c
800
MUST_HAVE(!iszero, ret, err);
crypto/libecc/src/sig/ecdsa_common.c
888
MUST_HAVE((params != NULL) && (sig != NULL) && (hash != NULL) && (out_pub1 != NULL) && (out_pub2 != NULL), ret, err);
crypto/libecc/src/sig/ecdsa_common.c
900
MUST_HAVE((siglen == ECDSA_SIGLEN(q_bit_len)), ret, err);
crypto/libecc/src/sig/ecdsa_common.c
912
MUST_HAVE(((!iszero1) && (cmp1 < 0) && !iszero2 && (cmp2 < 0)), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
1015
MUST_HAVE((q != NULL) && (G != NULL) && (q_bit_len != 0), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
1065
MUST_HAVE((scratch_pad_area_len != NULL), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
117
MUST_HAVE((((void *)(A)) != NULL) && \
crypto/libecc/src/sig/ecfsdsa.c
141
MUST_HAVE((ctx->h != NULL) && (ctx->h->digest_size <= MAX_DIGEST_SIZE) &&
crypto/libecc/src/sig/ecfsdsa.c
151
MUST_HAVE(((u32)BYTECEIL(p_bit_len) <= NN_MAX_BYTE_LEN), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
170
MUST_HAVE((ctx->rand == nn_get_random_mod), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
172
MUST_HAVE((ctx->rand != NULL), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
280
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
299
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
301
MUST_HAVE((siglen == ECFSDSA_SIGLEN(p_bit_len, q_bit_len)), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
350
MUST_HAVE((!nn_iszero(&s, &iszero)) && (!iszero), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
37
MUST_HAVE((out_pub != NULL), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
413
MUST_HAVE((((void *)(A)) != NULL) && \
crypto/libecc/src/sig/ecfsdsa.c
434
MUST_HAVE((ctx->h != NULL) && (ctx->h->digest_size <= MAX_DIGEST_SIZE) &&
crypto/libecc/src/sig/ecfsdsa.c
436
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
447
MUST_HAVE((siglen == ECFSDSA_SIGLEN(p_bit_len, q_bit_len)), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
46
MUST_HAVE(!nn_cmp(&(in_priv->x), q, &cmp) && (cmp < 0), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
460
MUST_HAVE(on_curve, ret, err);
crypto/libecc/src/sig/ecfsdsa.c
470
MUST_HAVE((!iszero) && (cmp < 0), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
65
MUST_HAVE((siglen != NULL), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
66
MUST_HAVE((p_bit_len <= CURVES_MAX_P_BIT_LEN) &&
crypto/libecc/src/sig/ecfsdsa.c
686
MUST_HAVE((s != NULL) && (pub_keys != NULL) && (m != NULL), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
688
MUST_HAVE((num > 0), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
694
MUST_HAVE((pub_key0 != NULL), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
699
MUST_HAVE((hm != NULL), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
711
MUST_HAVE((pub_key->params) == (pub_key0->params), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
726
MUST_HAVE((siglen == ECFSDSA_SIGLEN(p_bit_len, q_bit_len)), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
727
MUST_HAVE((siglen == (ECFSDSA_R_LEN(p_bit_len) + ECFSDSA_S_LEN(q_bit_len))), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
730
MUST_HAVE((key_type == sig_type), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
751
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
806
MUST_HAVE((q != NULL) && (G != NULL), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
871
MUST_HAVE((s != NULL) && (pub_keys != NULL) && (m != NULL), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
873
MUST_HAVE((scratch_pad_area_len != NULL), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
874
MUST_HAVE(((2 * num) >= num), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
875
MUST_HAVE(((2 * num) + 1) >= num, ret, err);
crypto/libecc/src/sig/ecfsdsa.c
899
MUST_HAVE((expected_len < 0xffffffff), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
910
MUST_HAVE((*scratch_pad_area_len) >= expected_len, ret, err);
crypto/libecc/src/sig/ecfsdsa.c
914
MUST_HAVE((pub_key0 != NULL), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
919
MUST_HAVE((hm != NULL), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
931
MUST_HAVE((pub_key->params) == (pub_key0->params), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
946
MUST_HAVE((siglen == ECFSDSA_SIGLEN(p_bit_len, q_bit_len)), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
947
MUST_HAVE((siglen == (ECFSDSA_R_LEN(p_bit_len) + ECFSDSA_S_LEN(q_bit_len))), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
950
MUST_HAVE((key_type == sig_type), ret, err);
crypto/libecc/src/sig/ecfsdsa.c
966
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/sig/ecgdsa.c
129
MUST_HAVE((((void *)(A)) != NULL) && \
crypto/libecc/src/sig/ecgdsa.c
141
MUST_HAVE((ctx->h != NULL) && (ctx->h->digest_size <= MAX_DIGEST_SIZE) &&
crypto/libecc/src/sig/ecgdsa.c
209
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/sig/ecgdsa.c
221
MUST_HAVE(((u32)BYTECEIL(p_bit_len) <= NN_MAX_BYTE_LEN), ret, err);
crypto/libecc/src/sig/ecgdsa.c
231
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/sig/ecgdsa.c
233
MUST_HAVE((siglen == ECGDSA_SIGLEN(q_bit_len)), ret, err);
crypto/libecc/src/sig/ecgdsa.c
282
MUST_HAVE(ctx->rand == nn_get_random_mod, ret, err);
crypto/libecc/src/sig/ecgdsa.c
284
MUST_HAVE(ctx->rand != NULL, ret, err);
crypto/libecc/src/sig/ecgdsa.c
39
MUST_HAVE((out_pub != NULL), ret, err);
crypto/libecc/src/sig/ecgdsa.c
410
MUST_HAVE((((void *)(A)) != NULL) && \
crypto/libecc/src/sig/ecgdsa.c
427
MUST_HAVE((ctx->h != NULL) && (ctx->h->digest_size <= MAX_DIGEST_SIZE) &&
crypto/libecc/src/sig/ecgdsa.c
429
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/sig/ecgdsa.c
440
MUST_HAVE((siglen == ECGDSA_SIGLEN(q_bit_len)), ret, err);
crypto/libecc/src/sig/ecgdsa.c
456
MUST_HAVE((!iszero1) && (cmp1 < 0) && (!iszero2) && (cmp2 < 0), ret, err);
crypto/libecc/src/sig/ecgdsa.c
48
MUST_HAVE((!nn_cmp(&(in_priv->x), q, &cmp)) && (cmp < 0), ret, err);
crypto/libecc/src/sig/ecgdsa.c
73
MUST_HAVE((siglen != NULL), ret, err);
crypto/libecc/src/sig/ecgdsa.c
74
MUST_HAVE((p_bit_len <= CURVES_MAX_P_BIT_LEN) &&
crypto/libecc/src/sig/eckcdsa.c
141
MUST_HAVE((buf != NULL), ret, err);
crypto/libecc/src/sig/eckcdsa.c
195
MUST_HAVE((((void *)(A)) != NULL) && \
crypto/libecc/src/sig/eckcdsa.c
217
MUST_HAVE((ctx->h != NULL) && (ctx->h->digest_size <= MAX_DIGEST_SIZE) &&
crypto/libecc/src/sig/eckcdsa.c
326
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/sig/eckcdsa.c
347
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/sig/eckcdsa.c
349
MUST_HAVE((siglen == ECKCDSA_SIGLEN(hsize, q_bit_len)), ret, err);
crypto/libecc/src/sig/eckcdsa.c
368
MUST_HAVE((hsize <= sizeof(hzm)), ret, err);
crypto/libecc/src/sig/eckcdsa.c
381
MUST_HAVE((ctx->rand == nn_get_random_mod), ret, err);
crypto/libecc/src/sig/eckcdsa.c
383
MUST_HAVE((ctx->rand != NULL), ret, err);
crypto/libecc/src/sig/eckcdsa.c
42
MUST_HAVE((out_pub != NULL), ret, err);
crypto/libecc/src/sig/eckcdsa.c
422
MUST_HAVE((hsize <= sizeof(r)), ret, err);
crypto/libecc/src/sig/eckcdsa.c
53
MUST_HAVE((!nn_cmp(&(in_priv->x), q, &cmp)) && (cmp < 0), ret, err);
crypto/libecc/src/sig/eckcdsa.c
540
MUST_HAVE((((void *)(A)) != NULL) && \
crypto/libecc/src/sig/eckcdsa.c
562
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/sig/eckcdsa.c
566
MUST_HAVE((ctx->h != NULL) && (ctx->h->digest_size <= MAX_DIGEST_SIZE) &&
crypto/libecc/src/sig/eckcdsa.c
568
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/sig/eckcdsa.c
589
MUST_HAVE((siglen == ECKCDSA_SIGLEN(hsize, q_bit_len)), ret, err);
crypto/libecc/src/sig/eckcdsa.c
595
MUST_HAVE((!iszero) && (cmp < 0), ret, err);
crypto/libecc/src/sig/eckcdsa.c
755
MUST_HAVE(hsize <= sizeof(hzm), ret, err);
crypto/libecc/src/sig/eckcdsa.c
87
MUST_HAVE((siglen != NULL), ret, err);
crypto/libecc/src/sig/eckcdsa.c
88
MUST_HAVE((p_bit_len <= CURVES_MAX_P_BIT_LEN) &&
crypto/libecc/src/sig/ecrdsa.c
105
MUST_HAVE((siglen != NULL), ret, err);
crypto/libecc/src/sig/ecrdsa.c
106
MUST_HAVE((p_bit_len <= CURVES_MAX_P_BIT_LEN) &&
crypto/libecc/src/sig/ecrdsa.c
146
MUST_HAVE((((void *)(A)) != NULL) && \
crypto/libecc/src/sig/ecrdsa.c
158
MUST_HAVE((ctx->h != NULL) && (ctx->h->digest_size <= MAX_DIGEST_SIZE) &&
crypto/libecc/src/sig/ecrdsa.c
244
MUST_HAVE((cmp < 0) && (p_bit_len <= NN_MAX_BIT_LEN) && (siglen == ECRDSA_SIGLEN(q_bit_len)), ret, err);
crypto/libecc/src/sig/ecrdsa.c
260
MUST_HAVE((ctx->rand == nn_get_random_mod), ret, err);
crypto/libecc/src/sig/ecrdsa.c
262
MUST_HAVE((ctx->rand != NULL), ret, err);
crypto/libecc/src/sig/ecrdsa.c
387
MUST_HAVE((((void *)(A)) != NULL) && \
crypto/libecc/src/sig/ecrdsa.c
432
MUST_HAVE((ctx->h != NULL) && (ctx->h->digest_size <= MAX_DIGEST_SIZE) &&
crypto/libecc/src/sig/ecrdsa.c
441
MUST_HAVE(siglen == ECRDSA_SIGLEN(q_bit_len), ret, err);
crypto/libecc/src/sig/ecrdsa.c
450
MUST_HAVE((!iszero1) && (cmp1 < 0) && (!iszero2) && (cmp2 < 0), ret, err);
crypto/libecc/src/sig/ecrdsa.c
55
MUST_HAVE((buf != NULL), ret, err);
crypto/libecc/src/sig/ecrdsa.c
77
MUST_HAVE((out_pub != NULL), ret, err);
crypto/libecc/src/sig/ecrdsa.c
86
MUST_HAVE((!nn_cmp(&(in_priv->x), q, &cmp)) && (cmp < 0), ret, err);
crypto/libecc/src/sig/ecsdsa_common.c
134
MUST_HAVE((((void *)(A)) != NULL) && \
crypto/libecc/src/sig/ecsdsa_common.c
164
MUST_HAVE((ctx->h != NULL) && (ctx->h->digest_size <= MAX_DIGEST_SIZE) &&
crypto/libecc/src/sig/ecsdsa_common.c
187
MUST_HAVE((ctx->rand == nn_get_random_mod), ret, err);
crypto/libecc/src/sig/ecsdsa_common.c
189
MUST_HAVE((ctx->rand != NULL), ret, err);
crypto/libecc/src/sig/ecsdsa_common.c
296
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/sig/ecsdsa_common.c
307
MUST_HAVE((siglen == ECSDSA_SIGLEN(hsize, q_bit_len)), ret, err);
crypto/libecc/src/sig/ecsdsa_common.c
333
MUST_HAVE(!nn_iszero(&e, &iszero) && !iszero, ret, err);
crypto/libecc/src/sig/ecsdsa_common.c
366
MUST_HAVE((!nn_iszero(&s, &iszero)) && (!iszero), ret, err);
crypto/libecc/src/sig/ecsdsa_common.c
405
MUST_HAVE((((const void *)(A)) != NULL) && \
crypto/libecc/src/sig/ecsdsa_common.c
41
MUST_HAVE((out_pub != NULL), ret, err);
crypto/libecc/src/sig/ecsdsa_common.c
457
MUST_HAVE((ctx->h != NULL) && (ctx->h->digest_size <= MAX_DIGEST_SIZE) &&
crypto/libecc/src/sig/ecsdsa_common.c
459
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/sig/ecsdsa_common.c
472
MUST_HAVE((siglen == ECSDSA_SIGLEN(hsize, q_bit_len)), ret, err);
crypto/libecc/src/sig/ecsdsa_common.c
478
MUST_HAVE((!iszero) && (cmp < 0), ret, err);
crypto/libecc/src/sig/ecsdsa_common.c
492
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/sig/ecsdsa_common.c
76
MUST_HAVE((siglen != NULL), ret, err);
crypto/libecc/src/sig/ecsdsa_common.c
77
MUST_HAVE(((p_bit_len <= CURVES_MAX_P_BIT_LEN) &&
crypto/libecc/src/sig/eddsa.c
1000
MUST_HAVE((buflen == EDDSA25519_PUB_KEY_ENCODED_LEN), ret, err);
crypto/libecc/src/sig/eddsa.c
1005
MUST_HAVE((buflen == EDDSA448_PUB_KEY_ENCODED_LEN), ret, err);
crypto/libecc/src/sig/eddsa.c
1038
MUST_HAVE((kp != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
1061
MUST_HAVE((message != NULL) && (digest != NULL) && (digest_size != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
1063
MUST_HAVE(((hash_type = get_eddsa_hash_type(sig_type)) != UNKNOWN_HASH_ALG), ret, err);
crypto/libecc/src/sig/eddsa.c
1066
MUST_HAVE((hash != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
1069
MUST_HAVE(((*digest_size) >= hash->digest_size), ret, err);
crypto/libecc/src/sig/eddsa.c
1089
MUST_HAVE((siglen != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
1090
MUST_HAVE((p_bit_len <= CURVES_MAX_P_BIT_LEN) &&
crypto/libecc/src/sig/eddsa.c
1111
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == EDDSA_SIGN_MAGIC), ret, err)
crypto/libecc/src/sig/eddsa.c
1141
MUST_HAVE((use_message_pre_hash == 1), ret, err);
crypto/libecc/src/sig/eddsa.c
1146
MUST_HAVE((h != NULL) && (h->digest_size <= MAX_DIGEST_SIZE) && (h->block_size <= MAX_BLOCK_SIZE), ret, err);
crypto/libecc/src/sig/eddsa.c
1149
MUST_HAVE((key_type == key_pair->pub_key.key_type) && (h->type == get_eddsa_hash_type(key_type)), ret, err);
crypto/libecc/src/sig/eddsa.c
1155
MUST_HAVE(blen <= (8 * h->digest_size), ret, err);
crypto/libecc/src/sig/eddsa.c
1191
MUST_HAVE((chunk != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
1206
MUST_HAVE(use_message_pre_hash == 1, ret, err);
crypto/libecc/src/sig/eddsa.c
1209
MUST_HAVE((ctx->h->type == get_eddsa_hash_type(key_type)), ret, err);
crypto/libecc/src/sig/eddsa.c
1265
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
1277
MUST_HAVE((key_type == ctx->key_pair->pub_key.key_type) && (ctx->h->type == get_eddsa_hash_type(key_type)), ret, err);
crypto/libecc/src/sig/eddsa.c
1302
MUST_HAVE((siglen == EDDSA_SIGLEN(hsize)) && (siglen == (r_len + s_len)), ret, err);
crypto/libecc/src/sig/eddsa.c
1321
MUST_HAVE((use_message_pre_hash == 1), ret, err);
crypto/libecc/src/sig/eddsa.c
1335
MUST_HAVE((hash_size == hsize), ret, err);
crypto/libecc/src/sig/eddsa.c
1356
MUST_HAVE((use_message_pre_hash_hsize <= hsize), ret, err);
crypto/libecc/src/sig/eddsa.c
1444
MUST_HAVE((r_len <= siglen), ret, err);
crypto/libecc/src/sig/eddsa.c
1468
MUST_HAVE(r_len <= sizeof(hash), ret, err);
crypto/libecc/src/sig/eddsa.c
1507
MUST_HAVE((s_len <= (siglen - r_len)), ret, err);
crypto/libecc/src/sig/eddsa.c
1600
MUST_HAVE((rand == NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
1617
MUST_HAVE((h != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
1618
MUST_HAVE((get_eddsa_hash_type(sig_type) == hash_type), ret, err);
crypto/libecc/src/sig/eddsa.c
1620
MUST_HAVE(key_type == sig_type, ret, err);
crypto/libecc/src/sig/eddsa.c
1621
MUST_HAVE((h != NULL) && (h->digest_size <= MAX_DIGEST_SIZE) && (h->block_size <= MAX_BLOCK_SIZE), ret, err);
crypto/libecc/src/sig/eddsa.c
1626
MUST_HAVE((blen <= (8 * h->digest_size)), ret, err);
crypto/libecc/src/sig/eddsa.c
1650
MUST_HAVE((siglen == EDDSA_SIGLEN(hsize)) && (siglen == (r_len + s_len)), ret, err);
crypto/libecc/src/sig/eddsa.c
1672
MUST_HAVE(use_message_pre_hash_hsize <= hash_size, ret, err);
crypto/libecc/src/sig/eddsa.c
1679
MUST_HAVE((hash_size == hsize), ret, err);
crypto/libecc/src/sig/eddsa.c
1686
MUST_HAVE(adata != NULL, ret, err);
crypto/libecc/src/sig/eddsa.c
1792
MUST_HAVE((r_len <= siglen), ret, err);
crypto/libecc/src/sig/eddsa.c
1802
MUST_HAVE((adata != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
1823
MUST_HAVE((r_len <= sizeof(hash)), ret, err);
crypto/libecc/src/sig/eddsa.c
1863
MUST_HAVE((s_len <= (siglen - r_len)), ret, err);
crypto/libecc/src/sig/eddsa.c
1913
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == EDDSA_VERIFY_MAGIC), ret, err)
crypto/libecc/src/sig/eddsa.c
1942
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
1953
MUST_HAVE((ctx->h != NULL) && (ctx->h->digest_size <= MAX_DIGEST_SIZE) && (ctx->h->block_size <= MAX_BLOCK_SIZE), ret, err);
crypto/libecc/src/sig/eddsa.c
1973
MUST_HAVE((ctx->h->type == get_eddsa_hash_type(key_type)), ret, err);
crypto/libecc/src/sig/eddsa.c
1976
MUST_HAVE((siglen == EDDSA_SIGLEN(hsize)), ret, err);
crypto/libecc/src/sig/eddsa.c
1977
MUST_HAVE((siglen == (EDDSA_R_LEN(hsize) + EDDSA_S_LEN(hsize))), ret, err);
crypto/libecc/src/sig/eddsa.c
1987
MUST_HAVE((ctx->adata != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
2021
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/sig/eddsa.c
2038
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/sig/eddsa.c
2043
MUST_HAVE((EDDSA_R_LEN(hsize) <= sizeof(buff)), ret, err);
crypto/libecc/src/sig/eddsa.c
2096
MUST_HAVE(ctx->h->type == get_eddsa_hash_type(key_type), ret, err);
crypto/libecc/src/sig/eddsa.c
2172
MUST_HAVE((ctx->h->type == get_eddsa_hash_type(key_type)), ret, err);
crypto/libecc/src/sig/eddsa.c
2193
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/sig/eddsa.c
2195
MUST_HAVE((hsize <= sizeof(hash)), ret, err);
crypto/libecc/src/sig/eddsa.c
220
MUST_HAVE((key_pair != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
2203
MUST_HAVE((use_message_pre_hash_hsize <= hsize), ret, err);
crypto/libecc/src/sig/eddsa.c
223
MUST_HAVE((key_pair->priv_key.key_type == key_pair->pub_key.key_type), ret, err);
crypto/libecc/src/sig/eddsa.c
2314
MUST_HAVE((s != NULL) && (pub_keys != NULL) && (m != NULL) && (adata != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
2316
MUST_HAVE((num > 0), ret, err);
crypto/libecc/src/sig/eddsa.c
2329
MUST_HAVE((pub_key0 != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
2334
MUST_HAVE((hm != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
2363
MUST_HAVE((pub_key->params) == (pub_key0->params), ret, err);
crypto/libecc/src/sig/eddsa.c
2376
MUST_HAVE((key_type == sig_type), ret, err);
crypto/libecc/src/sig/eddsa.c
238
MUST_HAVE((buf != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
239
MUST_HAVE((sizeof(buf_little_endian) >= buf_size), ret, err);
crypto/libecc/src/sig/eddsa.c
2398
MUST_HAVE((hash_type == get_eddsa_hash_type(key_type)), ret, err);
crypto/libecc/src/sig/eddsa.c
2403
MUST_HAVE((siglen == EDDSA_SIGLEN(hsize)), ret, err);
crypto/libecc/src/sig/eddsa.c
2404
MUST_HAVE((siglen == (EDDSA_R_LEN(hsize) + EDDSA_S_LEN(hsize))), ret, err);
crypto/libecc/src/sig/eddsa.c
2414
MUST_HAVE((adata[i] != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
2453
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/sig/eddsa.c
2475
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/sig/eddsa.c
2480
MUST_HAVE((EDDSA_R_LEN(hsize) <= sizeof(hash)), ret, err);
crypto/libecc/src/sig/eddsa.c
2491
MUST_HAVE((use_message_pre_hash_hsize <= hsize), ret, err);
crypto/libecc/src/sig/eddsa.c
2527
MUST_HAVE((gen_cofactor != NULL) && (q != NULL) && (G != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
2618
MUST_HAVE((s != NULL) && (pub_keys != NULL) && (m != NULL) && (adata != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
2619
MUST_HAVE((scratch_pad_area_len != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
2620
MUST_HAVE(((2 * num) >= num), ret, err);
crypto/libecc/src/sig/eddsa.c
2621
MUST_HAVE(((2 * num) + 1) >= num, ret, err);
crypto/libecc/src/sig/eddsa.c
2642
MUST_HAVE((expected_len < 0xffffffff), ret, err);
crypto/libecc/src/sig/eddsa.c
2653
MUST_HAVE((*scratch_pad_area_len) >= expected_len, ret, err);
crypto/libecc/src/sig/eddsa.c
2665
MUST_HAVE((pub_key0 != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
2670
MUST_HAVE((hm != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
268
MUST_HAVE((buf != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
2690
MUST_HAVE((num >= 1), ret, err);
crypto/libecc/src/sig/eddsa.c
2701
MUST_HAVE((pub_key->params) == (pub_key0->params), ret, err);
crypto/libecc/src/sig/eddsa.c
2715
MUST_HAVE((key_type == sig_type), ret, err);
crypto/libecc/src/sig/eddsa.c
273
MUST_HAVE((((u32)blen) <= (8 * (u32)buf_size)), ret, err);
crypto/libecc/src/sig/eddsa.c
2734
MUST_HAVE((hash_type == get_eddsa_hash_type(key_type)), ret, err);
crypto/libecc/src/sig/eddsa.c
2739
MUST_HAVE((siglen == EDDSA_SIGLEN(hsize)), ret, err);
crypto/libecc/src/sig/eddsa.c
2740
MUST_HAVE((siglen == (EDDSA_R_LEN(hsize) + EDDSA_S_LEN(hsize))), ret, err);
crypto/libecc/src/sig/eddsa.c
2750
MUST_HAVE((adata[i] != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
2788
MUST_HAVE((cmp < 0), ret, err);
crypto/libecc/src/sig/eddsa.c
2811
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/sig/eddsa.c
2816
MUST_HAVE((EDDSA_R_LEN(hsize) <= sizeof(hash)), ret, err);
crypto/libecc/src/sig/eddsa.c
2827
MUST_HAVE((use_message_pre_hash_hsize <= hsize), ret, err);
crypto/libecc/src/sig/eddsa.c
2857
MUST_HAVE((gen_cofactor != NULL) && (q != NULL) && (G != NULL) && (q_bit_len != 0), ret, err);
crypto/libecc/src/sig/eddsa.c
2915
MUST_HAVE((scratch_pad_area_len != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
298
MUST_HAVE((digest != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
299
MUST_HAVE(((digest_size % 2) == 0), ret, err);
crypto/libecc/src/sig/eddsa.c
315
MUST_HAVE(((digest != NULL) && (digest_size != NULL)), ret, err);
crypto/libecc/src/sig/eddsa.c
318
MUST_HAVE(((hash_type = get_eddsa_hash_type(in_priv->key_type)) != UNKNOWN_HASH_ALG), ret, err);
crypto/libecc/src/sig/eddsa.c
320
MUST_HAVE((hash != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
323
MUST_HAVE(((*digest_size) >= hash->digest_size), ret, err);
crypto/libecc/src/sig/eddsa.c
344
MUST_HAVE((buf != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
417
MUST_HAVE((buflen > 1), ret, err);
crypto/libecc/src/sig/eddsa.c
444
MUST_HAVE((buf != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
453
MUST_HAVE((sizeof(buf_little_endian) >= buflen), ret, err);
crypto/libecc/src/sig/eddsa.c
456
MUST_HAVE((buflen > 1), ret, err);
crypto/libecc/src/sig/eddsa.c
516
MUST_HAVE(!(iszero && (x_0 == 1)), ret, err);
crypto/libecc/src/sig/eddsa.c
583
MUST_HAVE((buf != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
586
MUST_HAVE(((hash_type = get_eddsa_hash_type(in_priv->key_type)) != UNKNOWN_HASH_ALG), ret, err);
crypto/libecc/src/sig/eddsa.c
588
MUST_HAVE((hash != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
592
MUST_HAVE((sizeof(x_buf) >= (hash->digest_size / 2)), ret, err);
crypto/libecc/src/sig/eddsa.c
598
MUST_HAVE((buflen >= hash->digest_size), ret, err);
crypto/libecc/src/sig/eddsa.c
628
MUST_HAVE(((hash_type = get_eddsa_hash_type(priv_key->key_type)) != UNKNOWN_HASH_ALG), ret, err);
crypto/libecc/src/sig/eddsa.c
633
MUST_HAVE(((2 * priv_key->params->ec_fp.p_bitlen) < (8 * (bitcnt_t)digest_size)), ret, err);
crypto/libecc/src/sig/eddsa.c
634
MUST_HAVE(((digest_size % 2) == 0), ret, err);
crypto/libecc/src/sig/eddsa.c
635
MUST_HAVE((digest_size <= sizeof(digest)), ret, err);
crypto/libecc/src/sig/eddsa.c
647
MUST_HAVE((cmp == 0), ret, err);
crypto/libecc/src/sig/eddsa.c
649
MUST_HAVE((cofactor == (0x1 << 2)) || (cofactor == (0x1 << 3)), ret, err);
crypto/libecc/src/sig/eddsa.c
65
MUST_HAVE((h != NULL) && (h_ctx != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
667
MUST_HAVE((digest_size / 2) >= 2, ret, err);
crypto/libecc/src/sig/eddsa.c
67
MUST_HAVE((x <= 255) && (olen_y <= 255), ret, err);
crypto/libecc/src/sig/eddsa.c
709
MUST_HAVE(((hash_type = get_eddsa_hash_type(priv_key->key_type)) != UNKNOWN_HASH_ALG), ret, err);
crypto/libecc/src/sig/eddsa.c
714
MUST_HAVE(((2 * priv_key->params->ec_fp.p_bitlen) < (8 * (bitcnt_t)digest_size)), ret, err);
crypto/libecc/src/sig/eddsa.c
715
MUST_HAVE(((digest_size % 2) == 0), ret, err);
crypto/libecc/src/sig/eddsa.c
750
MUST_HAVE((priv_key != NULL) && (buf != NULL) && (shortw_curve_params != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
756
MUST_HAVE((hash_type != UNKNOWN_HASH_ALG), ret, err);
crypto/libecc/src/sig/eddsa.c
762
MUST_HAVE((blen <= (8 * ((bitcnt_t)digest_size / 2))), ret, err);
crypto/libecc/src/sig/eddsa.c
801
MUST_HAVE(out_pub != NULL, ret, err);
crypto/libecc/src/sig/eddsa.c
813
MUST_HAVE(((hash_type = get_eddsa_hash_type(in_priv->key_type)) != UNKNOWN_HASH_ALG), ret, err);
crypto/libecc/src/sig/eddsa.c
823
MUST_HAVE((digest_size == digest_size_), ret, err);
crypto/libecc/src/sig/eddsa.c
893
MUST_HAVE((pub_key != NULL) && (shortw_curve_params != NULL) && (buf != NULL), ret, err);
crypto/libecc/src/sig/eddsa.c
898
MUST_HAVE((buflen == EDDSA25519_PUB_KEY_ENCODED_LEN), ret, err);
crypto/libecc/src/sig/eddsa.c
903
MUST_HAVE((buflen == EDDSA448_PUB_KEY_ENCODED_LEN), ret, err);
crypto/libecc/src/sig/eddsa.c
987
MUST_HAVE((buf != NULL), ret, err);
crypto/libecc/src/sig/fuzzing_ecdsa.c
142
MUST_HAVE((noncelen <= (u8)(BYTECEIL(q_bit_len))), ret, err);
crypto/libecc/src/sig/fuzzing_ecdsa.c
178
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/sig/fuzzing_ecdsa.c
200
MUST_HAVE(cmp, ret, err);
crypto/libecc/src/sig/fuzzing_ecdsa.c
232
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/sig/fuzzing_ecdsa.c
275
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == ECDSA_VERIFY_MAGIC), ret, err)
crypto/libecc/src/sig/fuzzing_ecdsa.c
304
MUST_HAVE((input != NULL), ret, err);
crypto/libecc/src/sig/fuzzing_ecdsa.c
321
MUST_HAVE((input != NULL), ret, err);
crypto/libecc/src/sig/fuzzing_ecdsa.c
327
MUST_HAVE(((u32)inputlen <= sizeof(hash)), ret, err);
crypto/libecc/src/sig/fuzzing_ecdsa.c
385
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/sig/fuzzing_ecdsa.c
39
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == ECDSA_SIGN_MAGIC), ret, err)
crypto/libecc/src/sig/fuzzing_ecdsa.c
69
MUST_HAVE((input != NULL) && (sig != NULL), ret, err);
crypto/libecc/src/sig/fuzzing_ecdsa.c
90
MUST_HAVE((siglen == ECDSA_SIGLEN(q_bit_len)), ret, err);
crypto/libecc/src/sig/fuzzing_ecdsa.c
99
MUST_HAVE(((u32)inputlen <= sizeof(hash)), ret, err);
crypto/libecc/src/sig/fuzzing_ecgdsa.c
101
MUST_HAVE(((u32)inputlen <= sizeof(e_buf)), ret, err);
crypto/libecc/src/sig/fuzzing_ecgdsa.c
141
MUST_HAVE((noncelen <= (u8)(BYTECEIL(q_bit_len))), ret, err);
crypto/libecc/src/sig/fuzzing_ecgdsa.c
177
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/sig/fuzzing_ecgdsa.c
206
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/sig/fuzzing_ecgdsa.c
252
MUST_HAVE((((const void *)(A)) != NULL) && \
crypto/libecc/src/sig/fuzzing_ecgdsa.c
281
MUST_HAVE((input != NULL), ret, err);
crypto/libecc/src/sig/fuzzing_ecgdsa.c
298
MUST_HAVE((input != NULL), ret, err);
crypto/libecc/src/sig/fuzzing_ecgdsa.c
304
MUST_HAVE(((u32)inputlen <= sizeof(e_buf)), ret, err);
crypto/libecc/src/sig/fuzzing_ecgdsa.c
38
MUST_HAVE((((const void *)(A)) != NULL) && \
crypto/libecc/src/sig/fuzzing_ecgdsa.c
69
MUST_HAVE((sig != NULL) && (input != NULL), ret, err);
crypto/libecc/src/sig/fuzzing_ecgdsa.c
81
MUST_HAVE(((u32)BYTECEIL(p_bit_len) <= NN_MAX_BYTE_LEN), ret, err);
crypto/libecc/src/sig/fuzzing_ecgdsa.c
86
MUST_HAVE((siglen == ECGDSA_SIGLEN(q_bit_len)), ret, err);
crypto/libecc/src/sig/fuzzing_ecrdsa.c
126
MUST_HAVE((NN_MAX_BIT_LEN >= p_bit_len), ret, err);
crypto/libecc/src/sig/fuzzing_ecrdsa.c
128
MUST_HAVE((siglen == ECRDSA_SIGLEN(q_bit_len)), ret, err);
crypto/libecc/src/sig/fuzzing_ecrdsa.c
144
MUST_HAVE((noncelen <= (u8)(BYTECEIL(q_bit_len))), ret, err);
crypto/libecc/src/sig/fuzzing_ecrdsa.c
178
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/sig/fuzzing_ecrdsa.c
187
MUST_HAVE((input != NULL), ret, err);
crypto/libecc/src/sig/fuzzing_ecrdsa.c
193
MUST_HAVE(((u32)inputlen <= sizeof(h_buf)), ret, err);
crypto/libecc/src/sig/fuzzing_ecrdsa.c
239
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/sig/fuzzing_ecrdsa.c
286
MUST_HAVE((((const void *)(A)) != NULL) && \
crypto/libecc/src/sig/fuzzing_ecrdsa.c
331
MUST_HAVE((input != NULL), ret, err);
crypto/libecc/src/sig/fuzzing_ecrdsa.c
337
MUST_HAVE(((u32)inputlen <= sizeof(h_buf)), ret, err);
crypto/libecc/src/sig/fuzzing_ecrdsa.c
61
MUST_HAVE((buf != NULL), ret, err);
crypto/libecc/src/sig/fuzzing_ecrdsa.c
79
MUST_HAVE((((const void *)(A)) != NULL) && \
crypto/libecc/src/sig/sig_algs.c
1016
MUST_HAVE((elements != NULL), ret, err);
crypto/libecc/src/sig/sig_algs.c
1017
MUST_HAVE((num >= 1), ret, err);
crypto/libecc/src/sig/sig_algs.c
1057
MUST_HAVE((elements != NULL), ret, err);
crypto/libecc/src/sig/sig_algs.c
1058
MUST_HAVE((num > 1), ret, err);
crypto/libecc/src/sig/sig_algs.c
1074
MUST_HAVE((num * bits) >= num, ret, err);
crypto/libecc/src/sig/sig_algs.c
1075
MUST_HAVE((num * bits) >= bits, ret, err);
crypto/libecc/src/sig/sig_algs.c
110
MUST_HAVE((ec_sig_name != NULL), ret, err);
crypto/libecc/src/sig/sig_algs.c
111
MUST_HAVE((sig_mapping != NULL), ret, err);
crypto/libecc/src/sig/sig_algs.c
139
MUST_HAVE((sig_mapping != NULL), ret, err);
crypto/libecc/src/sig/sig_algs.c
166
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/sig/sig_algs.c
216
MUST_HAVE((sig_ctx != NULL) && (sig_ctx->ctx_magic == SIG_SIGN_MAGIC), ret, err);
crypto/libecc/src/sig/sig_algs.c
233
MUST_HAVE((verify_ctx != NULL) && (verify_ctx->ctx_magic == SIG_VERIFY_MAGIC), ret, err);
crypto/libecc/src/sig/sig_algs.c
258
MUST_HAVE(((params != NULL) && (siglen != NULL)), ret, err);
crypto/libecc/src/sig/sig_algs.c
270
MUST_HAVE((sm->siglen != NULL), ret, err);
crypto/libecc/src/sig/sig_algs.c
305
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/sig/sig_algs.c
346
MUST_HAVE((rand == nn_get_random_mod), ret, err);
crypto/libecc/src/sig/sig_algs.c
483
MUST_HAVE(((sm != NULL) && (sm->sign != NULL)), ret, err);
crypto/libecc/src/sig/sig_algs.c
521
MUST_HAVE((ctx != NULL), ret, err);
crypto/libecc/src/sig/sig_algs.c
55
MUST_HAVE((sm->gen_priv_key != NULL), ret, err);
crypto/libecc/src/sig/sig_algs.c
666
MUST_HAVE((sm != NULL) && (sm->verify != NULL), ret, err);
crypto/libecc/src/sig/sig_algs.c
686
MUST_HAVE((sm != NULL) && (sm->verify_batch != NULL), ret, err);
crypto/libecc/src/sig/sig_algs.c
711
MUST_HAVE((out_buf != NULL) && (sig_type != NULL) &&
crypto/libecc/src/sig/sig_algs.c
714
MUST_HAVE((siglen <= EC_MAX_SIGLEN) && (sig != NULL), ret, err);
crypto/libecc/src/sig/sig_algs.c
721
MUST_HAVE((outlen <= (siglen + metadata_len)), ret, err);
crypto/libecc/src/sig/sig_algs.c
753
MUST_HAVE((out_buf != NULL) && (curve_name != NULL), ret, err);
crypto/libecc/src/sig/sig_algs.c
755
MUST_HAVE((siglen <= EC_MAX_SIGLEN) && (sig != NULL), ret, err);
crypto/libecc/src/sig/sig_algs.c
763
MUST_HAVE(outlen >= (siglen + metadata_len), ret, err);
crypto/libecc/src/sig/sig_algs.c
769
MUST_HAVE((len < 256), ret, err);
crypto/libecc/src/sig/sig_algs.c
773
MUST_HAVE((out_buf[2] != UNKNOWN_CURVE), ret, err);
crypto/libecc/src/sig/sig_algs.c
88
MUST_HAVE((sm->init_pub_key != NULL), ret, err);
crypto/libecc/src/sig/sig_algs.c
884
MUST_HAVE((check != NULL), ret, err);
crypto/libecc/src/sig/sig_algs.c
887
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/sig/sig_algs.c
913
MUST_HAVE((check != NULL), ret, err);
crypto/libecc/src/sig/sig_algs.c
916
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/sig/sig_algs.c
942
MUST_HAVE((check != NULL), ret, err);
crypto/libecc/src/sig/sig_algs.c
945
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/sig/sig_algs.c
972
MUST_HAVE((check != NULL), ret, err);
crypto/libecc/src/sig/sig_algs.c
975
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/sig/sm2.c
100
MUST_HAVE((siglen != NULL), ret, err);
crypto/libecc/src/sig/sm2.c
101
MUST_HAVE((p_bit_len <= CURVES_MAX_P_BIT_LEN) &&
crypto/libecc/src/sig/sm2.c
148
MUST_HAVE((Z != NULL) && (Zlen != NULL), ret, err);
crypto/libecc/src/sig/sm2.c
149
MUST_HAVE((id != NULL) && (pub_key != NULL), ret, err);
crypto/libecc/src/sig/sm2.c
151
MUST_HAVE((id_len <= SM2_MAX_ID_LEN), ret, err);
crypto/libecc/src/sig/sm2.c
155
MUST_HAVE((hm != NULL), ret, err);
crypto/libecc/src/sig/sm2.c
159
MUST_HAVE((*Zlen) >= hsize, ret, err);
crypto/libecc/src/sig/sm2.c
245
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == SM2_SIGN_MAGIC), ret, err)
crypto/libecc/src/sig/sm2.c
258
MUST_HAVE((ctx->h != NULL) && (ctx->h->digest_size <= MAX_DIGEST_SIZE) &&
crypto/libecc/src/sig/sm2.c
336
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/sig/sm2.c
357
MUST_HAVE((siglen == SM2_SIGLEN(q_bit_len)), ret, err);
crypto/libecc/src/sig/sm2.c
376
MUST_HAVE(ctx->rand == nn_get_random_mod, ret, err);
crypto/libecc/src/sig/sm2.c
516
MUST_HAVE((((void *)(A)) != NULL) && ((A)->magic == SM2_VERIFY_MAGIC), ret, err)
crypto/libecc/src/sig/sm2.c
534
MUST_HAVE((ctx->h != NULL) && (ctx->h->digest_size <= MAX_DIGEST_SIZE) &&
crypto/libecc/src/sig/sm2.c
536
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/sig/sm2.c
546
MUST_HAVE((siglen == SM2_SIGLEN(q_bit_len)), ret, err);
crypto/libecc/src/sig/sm2.c
559
MUST_HAVE((!iszero1) && (cmp1 < 0) && (!iszero2) && (cmp2 < 0), ret, err);
crypto/libecc/src/sig/sm2.c
63
MUST_HAVE((out_pub != NULL), ret, err);
crypto/libecc/src/sig/sm2.c
660
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/sig/sm2.c
676
MUST_HAVE((!iszero), ret, err);
crypto/libecc/src/sig/sm2.c
75
MUST_HAVE((!nn_cmp(&(in_priv->x), &tmp, &cmp)) && (cmp < 0), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
1028
MUST_HAVE((c != NULL), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
1064
MUST_HAVE((sizeof(serialized_pub_key) >= serialized_pub_key_len), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
1072
MUST_HAVE((serialized_pub_key_len == c->exp_our_pub_key_len), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
1081
MUST_HAVE((sizeof(shared_secret) >= shared_secret_len), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
1089
MUST_HAVE((shared_secret_len == c->exp_shared_secret_len), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
1109
MUST_HAVE((c->our_priv_key_len == X25519_SIZE), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
1117
MUST_HAVE((c->exp_our_pub_key_len == X25519_SIZE), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
1125
MUST_HAVE((c->peer_pub_key_len == X25519_SIZE), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
1133
MUST_HAVE((c->exp_shared_secret_len == X25519_SIZE), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
1153
MUST_HAVE((c->our_priv_key_len == X448_SIZE), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
1161
MUST_HAVE((c->exp_our_pub_key_len == X448_SIZE), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
1169
MUST_HAVE((c->peer_pub_key_len == X448_SIZE), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
1177
MUST_HAVE((c->exp_shared_secret_len == X448_SIZE), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
134
MUST_HAVE(sig != NULL, ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
135
MUST_HAVE(key_pair != NULL, ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
136
MUST_HAVE(m != NULL, ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
1367
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
1368
MUST_HAVE((hash != NULL), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
1369
MUST_HAVE((ec != NULL), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
1588
MUST_HAVE(c != NULL, ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
1589
MUST_HAVE(n_perf_sign != NULL, ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
1590
MUST_HAVE(n_perf_verif != NULL, ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
1591
MUST_HAVE((n_perf_batch_verif != NULL) && (batch_verify_ok != NULL), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
1797
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
1798
MUST_HAVE((hash != NULL), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
1799
MUST_HAVE((ec != NULL), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
240
MUST_HAVE(c != NULL, ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
301
MUST_HAVE(siglen <= LOCAL_MAX(sizeof(sig_tmp1), sizeof(sig_tmp2)), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
419
MUST_HAVE(digestlen <= sizeof(digest), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
478
MUST_HAVE(digestlen <= sizeof(digest), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
608
MUST_HAVE((scratch_pad_area_len <= sizeof(scratch_pad_area)), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
638
MUST_HAVE(sig != NULL, ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
639
MUST_HAVE(c != NULL, ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
646
MUST_HAVE(siglen <= sizeof(sig_tmp), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
65
MUST_HAVE(c != NULL, ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
677
MUST_HAVE(sig != NULL, ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
678
MUST_HAVE(c != NULL, ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
741
MUST_HAVE((c != NULL), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
835
MUST_HAVE(digestlen <= sizeof(digest), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
907
MUST_HAVE(digestlen <= sizeof(digest), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.c
929
MUST_HAVE((u32)noncelen <= sizeof(nonce), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.h
5716
MUST_HAVE((c != NULL) && (err_val != NULL), ret, err);
crypto/libecc/src/tests/ec_self_tests_core.h
5738
MUST_HAVE((c != NULL) && (err_val != NULL), ret, err);
crypto/libecc/src/tests/ec_utils.c
1037
MUST_HAVE(ec_name != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
1038
MUST_HAVE(ec_sig_name != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
1039
MUST_HAVE(hash_algorithm != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
1040
MUST_HAVE(in_fname != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
1041
MUST_HAVE(in_key_fname != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
1126
MUST_HAVE(raw_data_len > (sizeof(hdr) + st_siglen), ret, err);
crypto/libecc/src/tests/ec_utils.c
120
MUST_HAVE(file != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
1401
MUST_HAVE(ec_name != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
1402
MUST_HAVE(scalar_file != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
1403
MUST_HAVE(point_file != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
1404
MUST_HAVE(outfile_name != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
141
MUST_HAVE(name != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
1677
MUST_HAVE(len <= 0xffff, ret, err);
crypto/libecc/src/tests/ec_utils.c
1725
MUST_HAVE(len <= 0xffff, ret, err);
crypto/libecc/src/tests/ec_utils.c
1779
MUST_HAVE(len <= 0xffff, ret, err);
crypto/libecc/src/tests/ec_utils.c
1825
MUST_HAVE(len <= 0xffff, ret, err);
crypto/libecc/src/tests/ec_utils.c
245
MUST_HAVE(ec_name != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
246
MUST_HAVE(fname_prefix != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
247
MUST_HAVE(ec_sig_name != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
274
MUST_HAVE(len <= 0xffff, ret, err);
crypto/libecc/src/tests/ec_utils.c
381
MUST_HAVE((in_fname != NULL), ret, err);
crypto/libecc/src/tests/ec_utils.c
382
MUST_HAVE((out_fname != NULL), ret, err);
crypto/libecc/src/tests/ec_utils.c
383
MUST_HAVE((sig != NULL), ret, err);
crypto/libecc/src/tests/ec_utils.c
384
MUST_HAVE((curve_name != NULL), ret, err);
crypto/libecc/src/tests/ec_utils.c
385
MUST_HAVE((hdr != NULL), ret, err);
crypto/libecc/src/tests/ec_utils.c
390
MUST_HAVE(EC_STRUCTURED_SIG_EXPORT_SIZE(siglen) <= sizeof(buf), ret, err);
crypto/libecc/src/tests/ec_utils.c
478
MUST_HAVE(outsz != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
479
MUST_HAVE(in_fname != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
529
MUST_HAVE((hdr != NULL), ret, err);
crypto/libecc/src/tests/ec_utils.c
530
MUST_HAVE((hdr_type != NULL), ret, err);
crypto/libecc/src/tests/ec_utils.c
531
MUST_HAVE((version != NULL), ret, err);
crypto/libecc/src/tests/ec_utils.c
608
MUST_HAVE(check != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
609
MUST_HAVE(adata != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
610
MUST_HAVE(sig_name != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
611
MUST_HAVE(sig_type != UNKNOWN_ALG, ret, err);
crypto/libecc/src/tests/ec_utils.c
63
MUST_HAVE(file != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
672
MUST_HAVE(ec_name != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
673
MUST_HAVE(ec_sig_name != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
674
MUST_HAVE(hash_algorithm != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
675
MUST_HAVE(in_fname != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
676
MUST_HAVE(in_key_fname != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
677
MUST_HAVE(out_fname != NULL, ret, err);
crypto/libecc/src/tests/ec_utils.c
85
MUST_HAVE(name != NULL, ret, err);
crypto/libecc/src/utils/print_curves.c
28
MUST_HAVE(msg != NULL, ret, err);
crypto/libecc/src/utils/print_curves.c
50
MUST_HAVE(msg != NULL, ret, err);
crypto/libecc/src/utils/print_curves.c
66
MUST_HAVE(msg != NULL, ret, err);
crypto/libecc/src/utils/print_fp.c
23
MUST_HAVE(msg != NULL, ret, err);
crypto/libecc/src/utils/print_fp.c
42
MUST_HAVE(msg != NULL, ret, err);
crypto/libecc/src/utils/print_fp.c
56
MUST_HAVE(msg != NULL, ret, err);
crypto/libecc/src/utils/print_keys.c
22
MUST_HAVE(msg != NULL, ret, err);
crypto/libecc/src/utils/print_keys.c
35
MUST_HAVE(msg != NULL, ret, err);
crypto/libecc/src/utils/print_nn.c
24
MUST_HAVE(msg != NULL, ret, err);
crypto/libecc/src/utils/utils.c
103
MUST_HAVE((s1 != NULL) && (s2 != NULL) && (check != NULL), ret, err);
crypto/libecc/src/utils/utils.c
129
MUST_HAVE((s1 != NULL) && (s2 != NULL) && (check != NULL), ret, err);
crypto/libecc/src/utils/utils.c
156
MUST_HAVE((s != NULL) && (len != NULL), ret, err);
crypto/libecc/src/utils/utils.c
179
MUST_HAVE((s != NULL) && (len != NULL), ret, err);
crypto/libecc/src/utils/utils.c
200
MUST_HAVE((dst != NULL) && (src != NULL), ret, err);
crypto/libecc/src/utils/utils.c
222
MUST_HAVE((dst != NULL) && (src != NULL), ret, err);
crypto/libecc/src/utils/utils.c
30
MUST_HAVE((a != NULL) && (b != NULL) && (check != NULL), ret, err);
crypto/libecc/src/utils/utils.c
56
MUST_HAVE((dst != NULL) && (src != NULL), ret, err);
crypto/libecc/src/utils/utils.c
80
MUST_HAVE((v != NULL), ret, err);
crypto/libecc/src/wycheproof_tests/libecc_wycheproof.c
505
MUST_HAVE((params != NULL) && (peerpubkey != NULL) && (serialized_pub_key != NULL), ret, err);
crypto/libecc/src/wycheproof_tests/libecc_wycheproof.c
508
MUST_HAVE((serialized_pub_key_size == (2 * peerpubkeylen)), ret, err);
crypto/libecc/src/wycheproof_tests/libecc_wycheproof.c
511
MUST_HAVE(((compression == 0x02) || (compression == 0x03)), ret, err);
crypto/libecc/src/wycheproof_tests/libecc_wycheproof.c
64
MUST_HAVE(cnd, ret, err); \
