OpenCoverage

a_verify.c

Absolute File Name:/home/opencoverage/opencoverage/guest-scripts/libressl/src/crypto/asn1/a_verify.c
Switch to Source codePreprocessed file
LineSourceCount
1-
2-
3-
4-
5-
6int-
7ASN1_item_verify(const ASN1_ITEM *it, X509_ALGOR *a,-
8 ASN1_BIT_STRING *signature, void *asn, EVP_PKEY *pkey)-
9{-
10 EVP_MD_CTX ctx;-
11 unsigned char *buf_in = -
12 ((void *)0)-
13 ;-
14 int ret = -1, inl;-
15-
16 int mdnid, pknid;-
17-
18 if (!pkey
!pkeyDescription
TRUEnever evaluated
FALSEevaluated 72 times by 2 tests
Evaluated by:
  • ssltest
  • tlstest
) {		0-72
19 ERR_put_error(13,(0xfff),((3|64)),__FILE__,85);-
20 return
never executed: return -1;
 -1;
never executed: return -1;
0
21 }-
22-
23 if (signature->type == 3
signature->type == 3Description
TRUEevaluated 72 times by 2 tests
Evaluated by:
  • ssltest
  • tlstest
FALSEnever evaluated
 && signature->flags & 0x7
signature->flags & 0x7Description
TRUEnever evaluated
FALSEevaluated 72 times by 2 tests
Evaluated by:
  • ssltest
  • tlstest
)		0-72
24 {-
25 ERR_put_error(13,(0xfff),(220),__FILE__,91);-
26 return
never executed: return -1;
 -1;
never executed: return -1;
0
27 }-
28-
29 EVP_MD_CTX_init(&ctx);-
30-
31-
32 if (!OBJ_find_sigid_algs(OBJ_obj2nid(a->algorithm), &mdnid, &pknid)
!OBJ_find_sigi...mdnid, &pknid)Description
TRUEnever evaluated
FALSEevaluated 72 times by 2 tests
Evaluated by:
  • ssltest
  • tlstest
) {		0-72
33 ERR_put_error(13,(0xfff),(199),__FILE__,99);-
34 goto
never executed: goto err;
 err;
never executed: goto err;
0
35 }-
36 if (mdnid == 0
mdnid == 0Description
TRUEnever evaluated
FALSEevaluated 72 times by 2 tests
Evaluated by:
  • ssltest
  • tlstest
) {		0-72
37 if (!pkey->ameth
!pkey->amethDescription
TRUEnever evaluated
FALSEnever evaluated
 || !pkey->ameth->item_verify
!pkey->ameth->item_verifyDescription
TRUEnever evaluated
FALSEnever evaluated
) {		0
38 ERR_put_error(13,(0xfff),(199),__FILE__,104);-
39 goto
never executed: goto err;
 err;
never executed: goto err;
0
40 }-
41 ret = pkey->ameth->item_verify(&ctx, it, asn, a,-
42 signature, pkey);-
43-
44-
45-
46-
47 if (ret != 2
ret != 2Description
TRUEnever evaluated
FALSEnever evaluated
)		0
48 goto
never executed: goto err;
 err;
never executed: goto err;
0
49 ret = -1;-
50 }
never executed: end of block
 else {		0
51 const EVP_MD *type;-
52 type = EVP_get_digestbyname(OBJ_nid2sn(mdnid));-
53 if (type ==
type == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 72 times by 2 tests
Evaluated by:
  • ssltest
  • tlstest
0-72
54 ((void *)0)
type == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 72 times by 2 tests
Evaluated by:
  • ssltest
  • tlstest
0-72
55 ) {-
56 ERR_put_error(13,(0xfff),(161),__FILE__,120);-
57 goto
never executed: goto err;
 err;
never executed: goto err;
0
58 }-
59-
60-
61 if (EVP_PKEY_type(pknid) != pkey->ameth->pkey_id
EVP_PKEY_type(...ameth->pkey_idDescription
TRUEnever evaluated
FALSEevaluated 72 times by 2 tests
Evaluated by:
  • ssltest
  • tlstest
) {		0-72
62 ERR_put_error(13,(0xfff),(200),__FILE__,126);-
63 goto
never executed: goto err;
 err;
never executed: goto err;
0
64 }-
65-
66 if (!EVP_DigestVerifyInit(&ctx,
!EVP_DigestVer...d *)0) , pkey)Description
TRUEnever evaluated
FALSEevaluated 72 times by 2 tests
Evaluated by:
  • ssltest
  • tlstest
0-72
67 ((void *)0)
!EVP_DigestVer...d *)0) , pkey)Description
TRUEnever evaluated
FALSEevaluated 72 times by 2 tests
Evaluated by:
  • ssltest
  • tlstest
0-72
68 , type,
!EVP_DigestVer...d *)0) , pkey)Description
TRUEnever evaluated
FALSEevaluated 72 times by 2 tests
Evaluated by:
  • ssltest
  • tlstest
0-72
69 ((void *)0)
!EVP_DigestVer...d *)0) , pkey)Description
TRUEnever evaluated
FALSEevaluated 72 times by 2 tests
Evaluated by:
  • ssltest
  • tlstest
0-72
70 , pkey)
!EVP_DigestVer...d *)0) , pkey)Description
TRUEnever evaluated
FALSEevaluated 72 times by 2 tests
Evaluated by:
  • ssltest
  • tlstest
) {		0-72
71 ERR_put_error(13,(0xfff),(6),__FILE__,131);-
72 ret = 0;-
73 goto
never executed: goto err;
 err;
never executed: goto err;
0
74 }-
75-
76 }
executed 72 times by 2 tests: end of block
Executed by:
  • ssltest
  • tlstest
72
77-
78 inl = ASN1_item_i2d(asn, &buf_in, it);-
79-
80 if (buf_in ==
buf_in == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 72 times by 2 tests
Evaluated by:
  • ssltest
  • tlstest
0-72
81 ((void *)0)
buf_in == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 72 times by 2 tests
Evaluated by:
  • ssltest
  • tlstest
0-72
82 ) {-
83 ERR_put_error(13,(0xfff),((1|64)),__FILE__,141);-
84 goto
never executed: goto err;
 err;
never executed: goto err;
0
85 }-
86-
87 if (!EVP_DigestUpdate(&ctx,buf_in,inl)
!EVP_DigestUpd...tx,buf_in,inl)Description
TRUEnever evaluated
FALSEevaluated 72 times by 2 tests
Evaluated by:
  • ssltest
  • tlstest
) {		0-72
88 ERR_put_error(13,(0xfff),(6),__FILE__,146);-
89 ret = 0;-
90 goto
never executed: goto err;
 err;
never executed: goto err;
0
91 }-
92-
93 freezero(buf_in, (unsigned int)inl);-
94-
95 if (EVP_DigestVerifyFinal(&ctx, signature->data,
EVP_DigestVeri...->length) <= 0Description
TRUEnever evaluated
FALSEevaluated 72 times by 2 tests
Evaluated by:
  • ssltest
  • tlstest
0-72
96 (size_t)signature->length) <= 0
EVP_DigestVeri...->length) <= 0Description
TRUEnever evaluated
FALSEevaluated 72 times by 2 tests
Evaluated by:
  • ssltest
  • tlstest
) {		0-72
97 ERR_put_error(13,(0xfff),(6),__FILE__,155);-
98 ret = 0;-
99 goto
never executed: goto err;
 err;
never executed: goto err;
0
100 }-
101-
102-
103-
104 ret = 1;-
105-
106err:
code before this statement executed 72 times by 2 tests: err:
Executed by:
  • ssltest
  • tlstest
72
107 EVP_MD_CTX_cleanup(&ctx);-
108 return
executed 72 times by 2 tests: return (ret);
Executed by:
  • ssltest
  • tlstest
 (ret);
executed 72 times by 2 tests: return (ret);
Executed by:
  • ssltest
  • tlstest
72
109}-
Switch to Source codePreprocessed file
Generated by Squish Coco 4.2.2