OpenCoverage

pk7_doit.c

Absolute File Name:/home/opencoverage/opencoverage/guest-scripts/libressl/src/crypto/pkcs7/pk7_doit.c
Switch to Source codePreprocessed file
LineSourceCount
1-
2-
3static int add_attribute(struct stack_st_X509_ATTRIBUTE **sk, int nid, int atrtype,-
4 void *value);-
5static ASN1_TYPE *get_attribute(struct stack_st_X509_ATTRIBUTE *sk, int nid);-
6-
7static int-
8PKCS7_type_is_other(PKCS7* p7)-
9{-
10 int isOther = 1;-
11-
12 int nid = OBJ_obj2nid(p7->type);-
13-
14 switch (nid ) {-
15 case
never executed: case 21:
 21:
never executed: case 21:
0
16 case
never executed: case 22:
 22:
never executed: case 22:
0
17 case
never executed: case 23:
 23:
never executed: case 23:
0
18 case
never executed: case 24:
 24:
never executed: case 24:
0
19 case
never executed: case 25:
 25:
never executed: case 25:
0
20 case
never executed: case 26:
 26:
never executed: case 26:
0
21 isOther = 0;-
22 break;
never executed: break;
0
23 default
never executed: default:
:
never executed: default:
0
24 isOther = 1;-
25 }
never executed: end of block
0
26-
27 return
never executed: return isOther;
 isOther;
never executed: return isOther;
0
28-
29}-
30-
31static ASN1_OCTET_STRING *-
32PKCS7_get_octet_string(PKCS7 *p7)-
33{-
34 if ((
(OBJ_obj2nid((...->type) == 21)Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
OBJ_obj2nid((p7)->type) == 21)
(OBJ_obj2nid((...->type) == 21)Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
)		0-6
35 return
executed 6 times by 1 test: return p7->d.data;
Executed by:
  • pkcs7test
 p7->d.data;
executed 6 times by 1 test: return p7->d.data;
Executed by:
  • pkcs7test
6
36 if (PKCS7_type_is_other(p7)
PKCS7_type_is_other(p7)Description
TRUEnever evaluated
FALSEnever evaluated
 && p7->d.other
p7->d.otherDescription
TRUEnever evaluated
FALSEnever evaluated
 &&		0
37 (
(p7->d.other->type == 4)Description
TRUEnever evaluated
FALSEnever evaluated
p7->d.other->type == 4)
(p7->d.other->type == 4)Description
TRUEnever evaluated
FALSEnever evaluated
)		0
38 return
never executed: return p7->d.other->value.octet_string;
 p7->d.other->value.octet_string;
never executed: return p7->d.other->value.octet_string;
0
39 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
40 ((void *)0)
never executed: return ((void *)0) ;
0
41 ;
never executed: return ((void *)0) ;
0
42}-
43-
44static int-
45PKCS7_bio_add_digest(BIO **pbio, X509_ALGOR *alg)-
46{-
47 BIO *btmp;-
48 const EVP_MD *md;-
49 if ((
(btmp = BIO_ne...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • pkcs7test
btmp = BIO_new(BIO_f_md())) ==
(btmp = BIO_ne...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • pkcs7test
0-4
50 ((void *)0)
(btmp = BIO_ne...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • pkcs7test
0-4
51 ) {-
52 ERR_put_error(33,(0xfff),(32),__FILE__,113);-
53 goto
never executed: goto err;
 err;
never executed: goto err;
0
54 }-
55-
56 md = EVP_get_digestbyname(OBJ_nid2sn(OBJ_obj2nid(alg->algorithm)));-
57 if (md ==
md == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • pkcs7test
0-4
58 ((void *)0)
md == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • pkcs7test
0-4
59 ) {-
60 ERR_put_error(33,(0xfff),(109),__FILE__,119);-
61 goto
never executed: goto err;
 err;
never executed: goto err;
0
62 }-
63-
64 BIO_ctrl(btmp,111,0,(char *)md);-
65 if (*
*pbio == ((void *)0)Description
TRUEevaluated 4 times by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
pbio ==
*pbio == ((void *)0)Description
TRUEevaluated 4 times by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
0-4
66 ((void *)0)
*pbio == ((void *)0)Description
TRUEevaluated 4 times by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
0-4
67 )-
68 *
executed 4 times by 1 test: *pbio = btmp;
Executed by:
  • pkcs7test
pbio = btmp;
executed 4 times by 1 test: *pbio = btmp;
Executed by:
  • pkcs7test
4
69 else if (!BIO_push(*pbio, btmp)
!BIO_push(*pbio, btmp)Description
TRUEnever evaluated
FALSEnever evaluated
) {		0
70 ERR_put_error(33,(0xfff),(32),__FILE__,127);-
71 goto
never executed: goto err;
 err;
never executed: goto err;
0
72 }-
73 btmp = -
74 ((void *)0)-
75 ;-
76-
77 return
executed 4 times by 1 test: return 1;
Executed by:
  • pkcs7test
 1;
executed 4 times by 1 test: return 1;
Executed by:
  • pkcs7test
4
78-
79err:-
80 BIO_free(btmp);-
81 return
never executed: return 0;
 0;
never executed: return 0;
0
82-
83}-
84-
85static int-
86pkcs7_encode_rinfo(PKCS7_RECIP_INFO *ri, unsigned char *key, int keylen)-
87{-
88 EVP_PKEY_CTX *pctx = -
89 ((void *)0)-
90 ;-
91 EVP_PKEY *pkey = -
92 ((void *)0)-
93 ;-
94 unsigned char *ek = -
95 ((void *)0)-
96 ;-
97 int ret = 0;-
98 size_t eklen;-
99-
100 pkey = X509_get_pubkey(ri->cert);-
101 if (!pkey
!pkeyDescription
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
)		0-1
102 return
never executed: return 0;
 0;
never executed: return 0;
0
103-
104 pctx = EVP_PKEY_CTX_new(pkey, -
105 ((void *)0)-
106 );-
107 if (!pctx
!pctxDescription
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
)		0-1
108 return
never executed: return 0;
 0;
never executed: return 0;
0
109-
110 if (EVP_PKEY_encrypt_init(pctx) <= 0
EVP_PKEY_encry...nit(pctx) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
)		0-1
111 goto
never executed: goto err;
 err;
never executed: goto err;
0
112-
113 if (EVP_PKEY_CTX_ctrl(pctx, -1, (1<<8),
EVP_PKEY_CTX_c...3, 0, ri) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
114 3, 0, ri) <= 0
EVP_PKEY_CTX_c...3, 0, ri) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
) {		0-1
115 ERR_put_error(33,(0xfff),(152),__FILE__,162);-
116 goto
never executed: goto err;
 err;
never executed: goto err;
0
117 }-
118-
119 if (EVP_PKEY_encrypt(pctx,
EVP_PKEY_encry..., keylen) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
120 ((void *)0)
EVP_PKEY_encry..., keylen) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
121 , &eklen, key, keylen) <= 0
EVP_PKEY_encry..., keylen) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
)		0-1
122 goto
never executed: goto err;
 err;
never executed: goto err;
0
123-
124 ek = malloc(eklen);-
125-
126 if (ek ==
ek == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
127 ((void *)0)
ek == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
128 ) {-
129 ERR_put_error(33,(0xfff),((1|64)),__FILE__,172);-
130 goto
never executed: goto err;
 err;
never executed: goto err;
0
131 }-
132-
133 if (EVP_PKEY_encrypt(pctx, ek, &eklen, key, keylen) <= 0
EVP_PKEY_encry..., keylen) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
)		0-1
134 goto
never executed: goto err;
 err;
never executed: goto err;
0
135-
136 ASN1_STRING_set0(ri->enc_key, ek, eklen);-
137 ek = -
138 ((void *)0)-
139 ;-
140-
141 ret = 1;-
142-
143err:
code before this statement executed 1 time by 1 test: err:
Executed by:
  • pkcs7test
1
144 EVP_PKEY_free(pkey);-
145 EVP_PKEY_CTX_free(pctx);-
146 free(ek);-
147 return
executed 1 time by 1 test: return ret;
Executed by:
  • pkcs7test
 ret;
executed 1 time by 1 test: return ret;
Executed by:
  • pkcs7test
1
148}-
149-
150-
151static int-
152pkcs7_decrypt_rinfo(unsigned char **pek, int *peklen, PKCS7_RECIP_INFO *ri,-
153 EVP_PKEY *pkey)-
154{-
155 EVP_PKEY_CTX *pctx = -
156 ((void *)0)-
157 ;-
158 unsigned char *ek = -
159 ((void *)0)-
160 ;-
161 size_t eklen;-
162-
163 int ret = -1;-
164-
165 pctx = EVP_PKEY_CTX_new(pkey, -
166 ((void *)0)-
167 );-
168 if (!pctx
!pctxDescription
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
)		0-1
169 return
never executed: return -1;
 -1;
never executed: return -1;
0
170-
171 if (EVP_PKEY_decrypt_init(pctx) <= 0
EVP_PKEY_decry...nit(pctx) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
)		0-1
172 goto
never executed: goto err;
 err;
never executed: goto err;
0
173-
174 if (EVP_PKEY_CTX_ctrl(pctx, -1, (1<<9),
EVP_PKEY_CTX_c...4, 0, ri) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
175 4, 0, ri) <= 0
EVP_PKEY_CTX_c...4, 0, ri) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
) {		0-1
176 ERR_put_error(33,(0xfff),(152),__FILE__,211);-
177 goto
never executed: goto err;
 err;
never executed: goto err;
0
178 }-
179-
180 if (EVP_PKEY_decrypt(pctx,
EVP_PKEY_decry...->length) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
181 ((void *)0)
EVP_PKEY_decry...->length) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
182 , &eklen,
EVP_PKEY_decry...->length) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
183 ri->enc_key->data, ri->enc_key->length) <= 0
EVP_PKEY_decry...->length) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
)		0-1
184 goto
never executed: goto err;
 err;
never executed: goto err;
0
185-
186 ek = malloc(eklen);-
187 if (ek ==
ek == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
188 ((void *)0)
ek == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
189 ) {-
190 ERR_put_error(33,(0xfff),((1|64)),__FILE__,221);-
191 goto
never executed: goto err;
 err;
never executed: goto err;
0
192 }-
193-
194 if (EVP_PKEY_decrypt(pctx, ek, &eklen,
EVP_PKEY_decry...->length) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
195 ri->enc_key->data, ri->enc_key->length) <= 0
EVP_PKEY_decry...->length) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
) {		0-1
196 ret = 0;-
197 ERR_put_error(33,(0xfff),(6),__FILE__,228);-
198 goto
never executed: goto err;
 err;
never executed: goto err;
0
199 }-
200-
201 ret = 1;-
202-
203 freezero(*pek, *peklen);-
204-
205 *pek = ek;-
206 *peklen = eklen;-
207-
208err:
code before this statement executed 1 time by 1 test: err:
Executed by:
  • pkcs7test
1
209 EVP_PKEY_CTX_free(pctx);-
210 if (!ret
!retDescription
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
 && ek
ekDescription
TRUEnever evaluated
FALSEnever evaluated
)		0-1
211 free(ek);
never executed: free(ek);
0
212-
213 return
executed 1 time by 1 test: return ret;
Executed by:
  • pkcs7test
 ret;
executed 1 time by 1 test: return ret;
Executed by:
  • pkcs7test
1
214}-
215-
216BIO *-
217PKCS7_dataInit(PKCS7 *p7, BIO *bio)-
218{-
219 int i;-
220 BIO *out = -
221 ((void *)0)-
222 , *btmp = -
223 ((void *)0)-
224 ;-
225 X509_ALGOR *xa = -
226 ((void *)0)-
227 ;-
228 const EVP_CIPHER *evp_cipher = -
229 ((void *)0)-
230 ;-
231 struct stack_st_X509_ALGOR *md_sk = -
232 ((void *)0)-
233 ;-
234 struct stack_st_PKCS7_RECIP_INFO *rsk = -
235 ((void *)0)-
236 ;-
237 X509_ALGOR *xalg = -
238 ((void *)0)-
239 ;-
240 PKCS7_RECIP_INFO *ri = -
241 ((void *)0)-
242 ;-
243 ASN1_OCTET_STRING *os = -
244 ((void *)0)-
245 ;-
246-
247 if (p7 ==
p7 == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 5 times by 1 test
Evaluated by:
  • pkcs7test
0-5
248 ((void *)0)
p7 == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 5 times by 1 test
Evaluated by:
  • pkcs7test
0-5
249 ) {-
250 ERR_put_error(33,(0xfff),(143),__FILE__,261);-
251 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
252 ((void *)0)
never executed: return ((void *)0) ;
0
253 ;
never executed: return ((void *)0) ;
0
254 }-
255 if (p7->d.ptr ==
p7->d.ptr == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 5 times by 1 test
Evaluated by:
  • pkcs7test
0-5
256 ((void *)0)
p7->d.ptr == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 5 times by 1 test
Evaluated by:
  • pkcs7test
0-5
257 ) {-
258 ERR_put_error(33,(0xfff),(122),__FILE__,278);-
259 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
260 ((void *)0)
never executed: return ((void *)0) ;
0
261 ;
never executed: return ((void *)0) ;
0
262 }-
263-
264 i = OBJ_obj2nid(p7->type);-
265 p7->state = 0;-
266-
267 switch (i) {-
268 case
executed 4 times by 1 test: case 22:
Executed by:
  • pkcs7test
 22:
executed 4 times by 1 test: case 22:
Executed by:
  • pkcs7test
4
269 md_sk = p7->d.sign->md_algs;-
270 os = PKCS7_get_octet_string(p7->d.sign->contents);-
271 break;
executed 4 times by 1 test: break;
Executed by:
  • pkcs7test
4
272 case
never executed: case 24:
 24:
never executed: case 24:
0
273 rsk = p7->d.signed_and_enveloped->recipientinfo;-
274 md_sk = p7->d.signed_and_enveloped->md_algs;-
275 xalg = p7->d.signed_and_enveloped->enc_data->algorithm;-
276 evp_cipher = p7->d.signed_and_enveloped->enc_data->cipher;-
277 if (evp_cipher ==
evp_cipher == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
278 ((void *)0)
evp_cipher == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
279 ) {-
280 ERR_put_error(33,(0xfff),(116),__FILE__,296);-
281 goto
never executed: goto err;
 err;
never executed: goto err;
0
282 }-
283 break;
never executed: break;
0
284 case
executed 1 time by 1 test: case 23:
Executed by:
  • pkcs7test
 23:
executed 1 time by 1 test: case 23:
Executed by:
  • pkcs7test
1
285 rsk = p7->d.enveloped->recipientinfo;-
286 xalg = p7->d.enveloped->enc_data->algorithm;-
287 evp_cipher = p7->d.enveloped->enc_data->cipher;-
288 if (evp_cipher ==
evp_cipher == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
289 ((void *)0)
evp_cipher == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
290 ) {-
291 ERR_put_error(33,(0xfff),(116),__FILE__,305);-
292 goto
never executed: goto err;
 err;
never executed: goto err;
0
293 }-
294 break;
executed 1 time by 1 test: break;
Executed by:
  • pkcs7test
1
295 case
never executed: case 25:
 25:
never executed: case 25:
0
296 xa = p7->d.digest->md;-
297 os = PKCS7_get_octet_string(p7->d.digest->contents);-
298 break;
never executed: break;
0
299 case
never executed: case 21:
 21:
never executed: case 21:
0
300 break;
never executed: break;
0
301 default
never executed: default:
:
never executed: default:
0
302 ERR_put_error(33,(0xfff),(112),__FILE__,316);-
303 goto
never executed: goto err;
 err;
never executed: goto err;
0
304 }-
305-
306 for (i = 0; i < sk_num(((_STACK*) (1 ? (md_sk) : (struct stack_st_X509_ALGOR*)0)))
i < sk_num(((_...09_ALGOR*)0)))Description
TRUEevaluated 4 times by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 5 times by 1 test
Evaluated by:
  • pkcs7test
; i++)		4-5
307 if (!PKCS7_bio_add_digest(&out, ((X509_ALGOR *)sk_value(((_STACK*) (1 ? (md_sk) : (struct stack_st_X509_ALGOR*)0)), (i))))
!PKCS7_bio_add...R*)0)), (i))))Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • pkcs7test
)		0-4
308 goto
never executed: goto err;
 err;
never executed: goto err;
0
309-
310 if (xa
xaDescription
TRUEnever evaluated
FALSEevaluated 5 times by 1 test
Evaluated by:
  • pkcs7test
 && !PKCS7_bio_add_digest(&out, xa)
!PKCS7_bio_add...gest(&out, xa)Description
TRUEnever evaluated
FALSEnever evaluated
)		0-5
311 goto
never executed: goto err;
 err;
never executed: goto err;
0
312-
313 if (evp_cipher !=
evp_cipher != ((void *)0)Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 4 times by 1 test
Evaluated by:
  • pkcs7test
1-4
314 ((void *)0)
evp_cipher != ((void *)0)Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 4 times by 1 test
Evaluated by:
  • pkcs7test
1-4
315 ) {-
316 unsigned char key[64];-
317 unsigned char iv[16];-
318 int keylen, ivlen;-
319 EVP_CIPHER_CTX *ctx;-
320-
321 if ((
(btmp = BIO_ne...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
btmp = BIO_new(BIO_f_cipher())) ==
(btmp = BIO_ne...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
322 ((void *)0)
(btmp = BIO_ne...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
323 ) {-
324 ERR_put_error(33,(0xfff),(32),__FILE__,334);-
325 goto
never executed: goto err;
 err;
never executed: goto err;
0
326 }-
327 BIO_ctrl(btmp,129,0,(char *)&ctx);-
328 keylen = EVP_CIPHER_key_length(evp_cipher);-
329 ivlen = EVP_CIPHER_iv_length(evp_cipher);-
330 xalg->algorithm = OBJ_nid2obj(EVP_CIPHER_type(evp_cipher));-
331 if (ivlen > 0
ivlen > 0Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
)		0-1
332 arc4random_buf(iv, ivlen);
executed 1 time by 1 test: arc4random_buf(iv, ivlen);
Executed by:
  • pkcs7test
1
333 if (EVP_CipherInit_ex(ctx, evp_cipher,
EVP_CipherInit...*)0) , 1) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
334 ((void *)0)
EVP_CipherInit...*)0) , 1) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
335 ,
EVP_CipherInit...*)0) , 1) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
336 ((void *)0)
EVP_CipherInit...*)0) , 1) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
337 ,
EVP_CipherInit...*)0) , 1) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
338
EVP_CipherInit...*)0) , 1) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
339 ((void *)0)
EVP_CipherInit...*)0) , 1) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
340 , 1) <= 0
EVP_CipherInit...*)0) , 1) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
)		0-1
341 goto
never executed: goto err;
 err;
never executed: goto err;
0
342 if (EVP_CIPHER_CTX_rand_key(ctx, key) <= 0
EVP_CIPHER_CTX...ctx, key) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
)		0-1
343 goto
never executed: goto err;
 err;
never executed: goto err;
0
344 if (EVP_CipherInit_ex(ctx,
EVP_CipherInit...y, iv, 1) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
345 ((void *)0)
EVP_CipherInit...y, iv, 1) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
346 ,
EVP_CipherInit...y, iv, 1) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
347 ((void *)0)
EVP_CipherInit...y, iv, 1) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
348 , key, iv, 1) <= 0
EVP_CipherInit...y, iv, 1) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
)		0-1
349 goto
never executed: goto err;
 err;
never executed: goto err;
0
350-
351 if (ivlen > 0
ivlen > 0Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
) {		0-1
352 if (xalg->parameter ==
xalg->parameter == ((void *)0)Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
0-1
353 ((void *)0)
xalg->parameter == ((void *)0)Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
0-1
354 ) {-
355 xalg->parameter = ASN1_TYPE_new();-
356 if (xalg->parameter ==
xalg->parameter == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
357 ((void *)0)
xalg->parameter == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
358 )-
359 goto
never executed: goto err;
 err;
never executed: goto err;
0
360 }
executed 1 time by 1 test: end of block
Executed by:
  • pkcs7test
1
361 if (EVP_CIPHER_param_to_asn1(ctx, xalg->parameter) < 0
EVP_CIPHER_par...parameter) < 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
)		0-1
362 goto
never executed: goto err;
 err;
never executed: goto err;
0
363 }
executed 1 time by 1 test: end of block
Executed by:
  • pkcs7test
1
364-
365-
366 for (i = 0; i < sk_num(((_STACK*) (1 ? (rsk) : (struct stack_st_PKCS7_RECIP_INFO*)0)))
i < sk_num(((_...CIP_INFO*)0)))Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
; i++) {		1
367 ri = ((PKCS7_RECIP_INFO *)sk_value(((_STACK*) (1 ? (rsk) : (struct stack_st_PKCS7_RECIP_INFO*)0)), (i)));-
368 if (pkcs7_encode_rinfo(ri, key, keylen) <= 0
pkcs7_encode_r..., keylen) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
)		0-1
369 goto
never executed: goto err;
 err;
never executed: goto err;
0
370 }
executed 1 time by 1 test: end of block
Executed by:
  • pkcs7test
1
371 explicit_bzero(key, keylen);-
372-
373 if (out ==
out == ((void *)0)Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
0-1
374 ((void *)0)
out == ((void *)0)Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
0-1
375 )-
376 out = btmp;
executed 1 time by 1 test: out = btmp;
Executed by:
  • pkcs7test
1
377 else-
378 BIO_push(out, btmp);
never executed: BIO_push(out, btmp);
0
379 btmp = -
380 ((void *)0)-
381 ;-
382 }
executed 1 time by 1 test: end of block
Executed by:
  • pkcs7test
1
383-
384 if (bio ==
bio == ((void *)0)Description
TRUEevaluated 4 times by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
1-4
385 ((void *)0)
bio == ((void *)0)Description
TRUEevaluated 4 times by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
1-4
386 ) {-
387 if (((
(OBJ_obj2nid((...->type) == 22)Description
TRUEevaluated 3 times by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
OBJ_obj2nid((p7)->type) == 22)
(OBJ_obj2nid((...->type) == 22)Description
TRUEevaluated 3 times by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
 && PKCS7_ctrl(p7,2,0,
PKCS7_ctrl(p7,... ((void *)0) )Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
1-3
388 ((void *)0)
PKCS7_ctrl(p7,... ((void *)0) )Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
1-2
389 )
PKCS7_ctrl(p7,... ((void *)0) )Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
))		1-2
390 bio = BIO_new(BIO_s_null());
executed 1 time by 1 test: bio = BIO_new(BIO_s_null());
Executed by:
  • pkcs7test
1
391 else if (os
osDescription
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
 && os->length > 0
os->length > 0Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
)		1-2
392 bio = BIO_new_mem_buf(os->data, os->length);
executed 1 time by 1 test: bio = BIO_new_mem_buf(os->data, os->length);
Executed by:
  • pkcs7test
1
393 if (bio ==
bio == ((void *)0)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
2
394 ((void *)0)
bio == ((void *)0)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
2
395 ) {-
396 bio = BIO_new(BIO_s_mem());-
397 if (bio ==
bio == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
398 ((void *)0)
bio == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
399 )-
400 goto
never executed: goto err;
 err;
never executed: goto err;
0
401 BIO_ctrl(bio,130,0,-
402 ((void *)0)-
403 );-
404 }
executed 2 times by 1 test: end of block
Executed by:
  • pkcs7test
2
405 }
executed 4 times by 1 test: end of block
Executed by:
  • pkcs7test
4
406 if (out
outDescription
TRUEevaluated 5 times by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
)		0-5
407 BIO_push(out, bio);
executed 5 times by 1 test: BIO_push(out, bio);
Executed by:
  • pkcs7test
5
408 else-
409 out = bio;
never executed: out = bio;
0
410 bio = -
411 ((void *)0)-
412 ;-
413 if (0) {-
414err:-
415 if (out !=
out != ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
416 ((void *)0)
out != ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
417 )-
418 BIO_free_all(out);
never executed: BIO_free_all(out);
0
419 if (btmp !=
btmp != ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
420 ((void *)0)
btmp != ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
421 )-
422 BIO_free_all(btmp);
never executed: BIO_free_all(btmp);
0
423 out = -
424 ((void *)0)-
425 ;-
426 }
never executed: end of block
0
427 return
executed 5 times by 1 test: return (out);
Executed by:
  • pkcs7test
 (out);
executed 5 times by 1 test: return (out);
Executed by:
  • pkcs7test
5
428}-
429-
430static int-
431pkcs7_cmp_ri(PKCS7_RECIP_INFO *ri, X509 *pcert)-
432{-
433 int ret;-
434-
435 ret = X509_NAME_cmp(ri->issuer_and_serial->issuer,-
436 pcert->cert_info->issuer);-
437 if (ret
retDescription
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
)		0-1
438 return
never executed: return ret;
 ret;
never executed: return ret;
0
439 return
executed 1 time by 1 test: return ASN1_STRING_cmp(pcert->cert_info->serialNumber, ri->issuer_and_serial->serial);
Executed by:
  • pkcs7test
 ASN1_STRING_cmp(pcert->cert_info->serialNumber,
executed 1 time by 1 test: return ASN1_STRING_cmp(pcert->cert_info->serialNumber, ri->issuer_and_serial->serial);
Executed by:
  • pkcs7test
1
440 ri->issuer_and_serial->serial);
executed 1 time by 1 test: return ASN1_STRING_cmp(pcert->cert_info->serialNumber, ri->issuer_and_serial->serial);
Executed by:
  • pkcs7test
1
441}-
442-
443-
444BIO *-
445PKCS7_dataDecode(PKCS7 *p7, EVP_PKEY *pkey, BIO *in_bio, X509 *pcert)-
446{-
447 int i, j;-
448 BIO *out = -
449 ((void *)0)-
450 , *btmp = -
451 ((void *)0)-
452 , *etmp = -
453 ((void *)0)-
454 , *bio = -
455 ((void *)0)-
456 ;-
457 X509_ALGOR *xa;-
458 ASN1_OCTET_STRING *data_body = -
459 ((void *)0)-
460 ;-
461 const EVP_MD *evp_md;-
462 const EVP_CIPHER *evp_cipher = -
463 ((void *)0)-
464 ;-
465 EVP_CIPHER_CTX *evp_ctx = -
466 ((void *)0)-
467 ;-
468 X509_ALGOR *enc_alg = -
469 ((void *)0)-
470 ;-
471 struct stack_st_X509_ALGOR *md_sk = -
472 ((void *)0)-
473 ;-
474 struct stack_st_PKCS7_RECIP_INFO *rsk = -
475 ((void *)0)-
476 ;-
477 PKCS7_RECIP_INFO *ri = -
478 ((void *)0)-
479 ;-
480 unsigned char *ek = -
481 ((void *)0)-
482 , *tkey = -
483 ((void *)0)-
484 ;-
485 int eklen = 0, tkeylen = 0;-
486-
487 if (p7 ==
p7 == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
488 ((void *)0)
p7 == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
489 ) {-
490 ERR_put_error(33,(0xfff),(143),__FILE__,436);-
491 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
492 ((void *)0)
never executed: return ((void *)0) ;
0
493 ;
never executed: return ((void *)0) ;
0
494 }-
495-
496 if (p7->d.ptr ==
p7->d.ptr == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
497 ((void *)0)
p7->d.ptr == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
498 ) {-
499 ERR_put_error(33,(0xfff),(122),__FILE__,441);-
500 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
501 ((void *)0)
never executed: return ((void *)0) ;
0
502 ;
never executed: return ((void *)0) ;
0
503 }-
504-
505 i = OBJ_obj2nid(p7->type);-
506 p7->state = 0;-
507-
508 switch (i) {-
509 case
never executed: case 22:
 22:
never executed: case 22:
0
510 data_body = PKCS7_get_octet_string(p7->d.sign->contents);-
511 md_sk = p7->d.sign->md_algs;-
512 break;
never executed: break;
0
513 case
never executed: case 24:
 24:
never executed: case 24:
0
514 rsk = p7->d.signed_and_enveloped->recipientinfo;-
515 md_sk = p7->d.signed_and_enveloped->md_algs;-
516 data_body = p7->d.signed_and_enveloped->enc_data->enc_data;-
517 enc_alg = p7->d.signed_and_enveloped->enc_data->algorithm;-
518 evp_cipher = EVP_get_cipherbyname(OBJ_nid2sn(OBJ_obj2nid(enc_alg->algorithm)));-
519 if (evp_cipher ==
evp_cipher == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
520 ((void *)0)
evp_cipher == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
521 ) {-
522 ERR_put_error(33,(0xfff),(111),__FILE__,460);-
523 goto
never executed: goto err;
 err;
never executed: goto err;
0
524 }-
525 break;
never executed: break;
0
526 case
executed 1 time by 1 test: case 23:
Executed by:
  • pkcs7test
 23:
executed 1 time by 1 test: case 23:
Executed by:
  • pkcs7test
1
527 rsk = p7->d.enveloped->recipientinfo;-
528 enc_alg = p7->d.enveloped->enc_data->algorithm;-
529 data_body = p7->d.enveloped->enc_data->enc_data;-
530 evp_cipher = EVP_get_cipherbyname(OBJ_nid2sn(OBJ_obj2nid(enc_alg->algorithm)));-
531 if (evp_cipher ==
evp_cipher == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
532 ((void *)0)
evp_cipher == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
533 ) {-
534 ERR_put_error(33,(0xfff),(111),__FILE__,470);-
535 goto
never executed: goto err;
 err;
never executed: goto err;
0
536 }-
537 break;
executed 1 time by 1 test: break;
Executed by:
  • pkcs7test
1
538 default
never executed: default:
:
never executed: default:
0
539 ERR_put_error(33,(0xfff),(112),__FILE__,475);-
540 goto
never executed: goto err;
 err;
never executed: goto err;
0
541 }-
542-
543-
544 if (md_sk !=
md_sk != ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
545 ((void *)0)
md_sk != ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
546 ) {-
547 for (i = 0; i < sk_num(((_STACK*) (1 ? (md_sk) : (struct stack_st_X509_ALGOR*)0)))
i < sk_num(((_...09_ALGOR*)0)))Description
TRUEnever evaluated
FALSEnever evaluated
; i++) {		0
548 xa = ((X509_ALGOR *)sk_value(((_STACK*) (1 ? (md_sk) : (struct stack_st_X509_ALGOR*)0)), (i)));-
549 if ((
(btmp = BIO_ne...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
btmp = BIO_new(BIO_f_md())) ==
(btmp = BIO_ne...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
550 ((void *)0)
(btmp = BIO_ne...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
551 ) {-
552 ERR_put_error(33,(0xfff),(32),__FILE__,484);-
553 goto
never executed: goto err;
 err;
never executed: goto err;
0
554 }-
555-
556 j = OBJ_obj2nid(xa->algorithm);-
557 evp_md = EVP_get_digestbyname(OBJ_nid2sn(j));-
558 if (evp_md ==
evp_md == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
559 ((void *)0)
evp_md == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
560 ) {-
561 ERR_put_error(33,(0xfff),(109),__FILE__,491);-
562 goto
never executed: goto err;
 err;
never executed: goto err;
0
563 }-
564-
565 BIO_ctrl(btmp,111,0,(char *)evp_md);-
566 if (out ==
out == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
567 ((void *)0)
out == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
568 )-
569 out = btmp;
never executed: out = btmp;
0
570 else-
571 BIO_push(out, btmp);
never executed: BIO_push(out, btmp);
0
572 btmp = -
573 ((void *)0)-
574 ;-
575 }
never executed: end of block
0
576 }
never executed: end of block
0
577-
578 if (evp_cipher !=
evp_cipher != ((void *)0)Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
0-1
579 ((void *)0)
evp_cipher != ((void *)0)Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
0-1
580 ) {-
581 if ((
(etmp = BIO_ne...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
etmp = BIO_new(BIO_f_cipher())) ==
(etmp = BIO_ne...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
582 ((void *)0)
(etmp = BIO_ne...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
583 ) {-
584 ERR_put_error(33,(0xfff),(32),__FILE__,506);-
585 goto
never executed: goto err;
 err;
never executed: goto err;
0
586 }-
587-
588-
589-
590-
591-
592-
593-
594 if (pcert
pcertDescription
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
) {		0-1
595 for (i = 0; i < sk_num(((_STACK*) (1 ? (rsk) : (struct stack_st_PKCS7_RECIP_INFO*)0)))
i < sk_num(((_...CIP_INFO*)0)))Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
; i++) {		0-1
596 ri = ((PKCS7_RECIP_INFO *)sk_value(((_STACK*) (1 ? (rsk) : (struct stack_st_PKCS7_RECIP_INFO*)0)), (i)));-
597 if (!pkcs7_cmp_ri(ri, pcert)
!pkcs7_cmp_ri(ri, pcert)Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
)		0-1
598 break;
executed 1 time by 1 test: break;
Executed by:
  • pkcs7test
1
599 ri = -
600 ((void *)0)-
601 ;-
602 }
never executed: end of block
0
603 if (ri ==
ri == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
604 ((void *)0)
ri == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
605 ) {-
606 ERR_put_error(33,(0xfff),(115),__FILE__,524);-
607 goto
never executed: goto err;
 err;
never executed: goto err;
0
608 }-
609 }
executed 1 time by 1 test: end of block
Executed by:
  • pkcs7test
1
610-
611-
612 if (pcert ==
pcert == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
613 ((void *)0)
pcert == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
614 ) {-
615-
616-
617-
618-
619 for (i = 0; i < sk_num(((_STACK*) (1 ? (rsk) : (struct stack_st_PKCS7_RECIP_INFO*)0)))
i < sk_num(((_...CIP_INFO*)0)))Description
TRUEnever evaluated
FALSEnever evaluated
; i++) {		0
620 ri = ((PKCS7_RECIP_INFO *)sk_value(((_STACK*) (1 ? (rsk) : (struct stack_st_PKCS7_RECIP_INFO*)0)), (i)));-
621-
622 if (pkcs7_decrypt_rinfo(&ek, &eklen,
pkcs7_decrypt_... ri, pkey) < 0Description
TRUEnever evaluated
FALSEnever evaluated
0
623 ri, pkey) < 0
pkcs7_decrypt_... ri, pkey) < 0Description
TRUEnever evaluated
FALSEnever evaluated
)		0
624 goto
never executed: goto err;
 err;
never executed: goto err;
0
625 ERR_clear_error();-
626 }
never executed: end of block
0
627 }
never executed: end of block
 else {		0
628-
629 if (pkcs7_decrypt_rinfo(&ek, &eklen, ri, pkey) < 0
pkcs7_decrypt_... ri, pkey) < 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
)		0-1
630 goto
never executed: goto err;
 err;
never executed: goto err;
0
631 ERR_clear_error();-
632 }
executed 1 time by 1 test: end of block
Executed by:
  • pkcs7test
1
633-
634 evp_ctx = -
635 ((void *)0)-
636 ;-
637 BIO_ctrl(etmp,129,0,(char *)&evp_ctx);-
638 if (EVP_CipherInit_ex(evp_ctx, evp_cipher,
EVP_CipherInit...*)0) , 0) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
639 ((void *)0)
EVP_CipherInit...*)0) , 0) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
640 ,
EVP_CipherInit...*)0) , 0) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
641 ((void *)0)
EVP_CipherInit...*)0) , 0) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
642 ,
EVP_CipherInit...*)0) , 0) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
643
EVP_CipherInit...*)0) , 0) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
644 ((void *)0)
EVP_CipherInit...*)0) , 0) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
645 , 0) <= 0
EVP_CipherInit...*)0) , 0) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
)		0-1
646 goto
never executed: goto err;
 err;
never executed: goto err;
0
647 if (EVP_CIPHER_asn1_to_param(evp_ctx, enc_alg->parameter) < 0
EVP_CIPHER_asn...parameter) < 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
)		0-1
648 goto
never executed: goto err;
 err;
never executed: goto err;
0
649-
650 tkeylen = EVP_CIPHER_CTX_key_length(evp_ctx);-
651 tkey = malloc(tkeylen);-
652 if (!tkey
!tkeyDescription
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
)		0-1
653 goto
never executed: goto err;
 err;
never executed: goto err;
0
654 if (EVP_CIPHER_CTX_rand_key(evp_ctx, tkey) <= 0
EVP_CIPHER_CTX...tx, tkey) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
)		0-1
655 goto
never executed: goto err;
 err;
never executed: goto err;
0
656 if (ek ==
ek == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
657 ((void *)0)
ek == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
658 ) {-
659 ek = tkey;-
660 eklen = tkeylen;-
661 tkey = -
662 ((void *)0)-
663 ;-
664 }
never executed: end of block
0
665-
666 if (eklen != EVP_CIPHER_CTX_key_length(evp_ctx)
eklen != EVP_C...ength(evp_ctx)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
) {		0-1
667-
668-
669-
670-
671 if (!EVP_CIPHER_CTX_set_key_length(evp_ctx, eklen)
!EVP_CIPHER_CT...vp_ctx, eklen)Description
TRUEnever evaluated
FALSEnever evaluated
) {		0
672-
673 freezero(ek, eklen);-
674 ek = tkey;-
675 eklen = tkeylen;-
676 tkey = -
677 ((void *)0)-
678 ;-
679 }
never executed: end of block
0
680 }
never executed: end of block
0
681-
682 ERR_clear_error();-
683 if (EVP_CipherInit_ex(evp_ctx,
EVP_CipherInit...*)0) , 0) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
684 ((void *)0)
EVP_CipherInit...*)0) , 0) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
685 ,
EVP_CipherInit...*)0) , 0) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
686 ((void *)0)
EVP_CipherInit...*)0) , 0) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
687 , ek,
EVP_CipherInit...*)0) , 0) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
688 ((void *)0)
EVP_CipherInit...*)0) , 0) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
689 , 0) <= 0
EVP_CipherInit...*)0) , 0) <= 0Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
)		0-1
690 goto
never executed: goto err;
 err;
never executed: goto err;
0
691-
692 freezero(ek, eklen);-
693 ek = -
694 ((void *)0)-
695 ;-
696 freezero(tkey, tkeylen);-
697 tkey = -
698 ((void *)0)-
699 ;-
700-
701 if (out ==
out == ((void *)0)Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
0-1
702 ((void *)0)
out == ((void *)0)Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
0-1
703 )-
704 out = etmp;
executed 1 time by 1 test: out = etmp;
Executed by:
  • pkcs7test
1
705 else-
706 BIO_push(out, etmp);
never executed: BIO_push(out, etmp);
0
707 etmp = -
708 ((void *)0)-
709 ;-
710 }
executed 1 time by 1 test: end of block
Executed by:
  • pkcs7test
1
711-
712 if (((
(OBJ_obj2nid((...->type) == 22)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
OBJ_obj2nid((p7)->type) == 22)
(OBJ_obj2nid((...->type) == 22)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
 && PKCS7_ctrl(p7,2,0,
PKCS7_ctrl(p7,... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0-1
713 ((void *)0)
PKCS7_ctrl(p7,... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
714 )
PKCS7_ctrl(p7,... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
) || (
(in_bio != ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
in_bio !=
(in_bio != ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
715 ((void *)0)
(in_bio != ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
716 )
(in_bio != ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
) {		0-1
717 bio = in_bio;-
718 }
never executed: end of block
 else {		0
719 if (data_body !=
data_body != ((void *)0)Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
0-1
720 ((void *)0)
data_body != ((void *)0)Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
 		0-1
721 && data_body->length > 0
data_body->length > 0Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
)		0-1
722 bio = BIO_new_mem_buf(data_body->data, data_body->length);
executed 1 time by 1 test: bio = BIO_new_mem_buf(data_body->data, data_body->length);
Executed by:
  • pkcs7test
1
723 else {-
724 bio = BIO_new(BIO_s_mem());-
725 BIO_ctrl(bio,130,0,-
726 ((void *)0)-
727 );-
728 }
never executed: end of block
0
729 if (bio ==
bio == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
730 ((void *)0)
bio == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
731 )-
732 goto
never executed: goto err;
 err;
never executed: goto err;
0
733 }
executed 1 time by 1 test: end of block
Executed by:
  • pkcs7test
1
734 BIO_push(out, bio);-
735-
736 if (0) {-
737err:-
738 freezero(ek, eklen);-
739 freezero(tkey, tkeylen);-
740 if (out !=
out != ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
741 ((void *)0)
out != ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
742 )-
743 BIO_free_all(out);
never executed: BIO_free_all(out);
0
744 if (btmp !=
btmp != ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
745 ((void *)0)
btmp != ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
746 )-
747 BIO_free_all(btmp);
never executed: BIO_free_all(btmp);
0
748 if (etmp !=
etmp != ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
749 ((void *)0)
etmp != ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
750 )-
751 BIO_free_all(etmp);
never executed: BIO_free_all(etmp);
0
752 out = -
753 ((void *)0)-
754 ;-
755 }
never executed: end of block
0
756 return
executed 1 time by 1 test: return (out);
Executed by:
  • pkcs7test
 (out);
executed 1 time by 1 test: return (out);
Executed by:
  • pkcs7test
1
757}-
758-
759static BIO *-
760PKCS7_find_digest(EVP_MD_CTX **pmd, BIO *bio, int nid)-
761{-
762 for (;;) {-
763 bio = BIO_find_type(bio, (8|0x0200));-
764 if (bio ==
bio == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
765 ((void *)0)
bio == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
766 ) {-
767 ERR_put_error(33,(0xfff),(108),__FILE__,635);-
768 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
769 ((void *)0)
never executed: return ((void *)0) ;
0
770 ;
never executed: return ((void *)0) ;
0
771 }-
772 BIO_ctrl(bio,120,0,(char *)pmd);-
773 if (*
*pmd == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
pmd ==
*pmd == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
774 ((void *)0)
*pmd == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
775 ) {-
776 ERR_put_error(33,(0xfff),((4|64)),__FILE__,640);-
777 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
778 ((void *)0)
never executed: return ((void *)0) ;
0
779 ;
never executed: return ((void *)0) ;
0
780 }-
781 if (EVP_MD_type(EVP_MD_CTX_md(*pmd)) == nid
EVP_MD_type(EV...(*pmd)) == nidDescription
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
)		0-2
782 return
executed 2 times by 1 test: return bio;
Executed by:
  • pkcs7test
 bio;
executed 2 times by 1 test: return bio;
Executed by:
  • pkcs7test
2
783 bio = BIO_next(bio);-
784 }
never executed: end of block
0
785 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
786 ((void *)0)
never executed: return ((void *)0) ;
0
787 ;
never executed: return ((void *)0) ;
0
788}-
789-
790static int-
791do_pkcs7_signed_attrib(PKCS7_SIGNER_INFO *si, EVP_MD_CTX *mctx)-
792{-
793 unsigned char md_data[64];-
794 unsigned int md_len;-
795-
796-
797 if (!PKCS7_get_signed_attribute(si, 52)
!PKCS7_get_sig...ribute(si, 52)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
) {		0-2
798 if (!PKCS7_add0_attrib_signing_time(si,
!PKCS7_add0_at... ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
799 ((void *)0)
!PKCS7_add0_at... ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
800 )
!PKCS7_add0_at... ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
) {		0-2
801 ERR_put_error(33,(0xfff),((1|64)),__FILE__,659);-
802 return
never executed: return 0;
 0;
never executed: return 0;
0
803 }-
804 }
executed 2 times by 1 test: end of block
Executed by:
  • pkcs7test
2
805-
806-
807 if (!EVP_DigestFinal_ex(mctx, md_data, &md_len)
!EVP_DigestFin...data, &md_len)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
) {		0-2
808 ERR_put_error(33,(0xfff),(6),__FILE__,666);-
809 return
never executed: return 0;
 0;
never executed: return 0;
0
810 }-
811 if (!PKCS7_add1_attrib_digest(si, md_data, md_len)
!PKCS7_add1_at..._data, md_len)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
) {		0-2
812 ERR_put_error(33,(0xfff),((1|64)),__FILE__,670);-
813 return
never executed: return 0;
 0;
never executed: return 0;
0
814 }-
815-
816-
817 if (!PKCS7_SIGNER_INFO_sign(si)
!PKCS7_SIGNER_INFO_sign(si)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
)		0-2
818 return
never executed: return 0;
 0;
never executed: return 0;
0
819-
820 return
executed 2 times by 1 test: return 1;
Executed by:
  • pkcs7test
 1;
executed 2 times by 1 test: return 1;
Executed by:
  • pkcs7test
2
821}-
822-
823-
824int-
825PKCS7_dataFinal(PKCS7 *p7, BIO *bio)-
826{-
827 int ret = 0;-
828 int i, j;-
829 BIO *btmp;-
830 PKCS7_SIGNER_INFO *si;-
831 EVP_MD_CTX *mdc, ctx_tmp;-
832 struct stack_st_X509_ATTRIBUTE *sk;-
833 struct stack_st_PKCS7_SIGNER_INFO *si_sk = -
834 ((void *)0)-
835 ;-
836 ASN1_OCTET_STRING *os = -
837 ((void *)0)-
838 ;-
839-
840 if (p7 ==
p7 == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 3 times by 1 test
Evaluated by:
  • pkcs7test
0-3
841 ((void *)0)
p7 == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 3 times by 1 test
Evaluated by:
  • pkcs7test
0-3
842 ) {-
843 ERR_put_error(33,(0xfff),(143),__FILE__,695);-
844 return
never executed: return 0;
 0;
never executed: return 0;
0
845 }-
846-
847 if (p7->d.ptr ==
p7->d.ptr == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 3 times by 1 test
Evaluated by:
  • pkcs7test
0-3
848 ((void *)0)
p7->d.ptr == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 3 times by 1 test
Evaluated by:
  • pkcs7test
0-3
849 ) {-
850 ERR_put_error(33,(0xfff),(122),__FILE__,700);-
851 return
never executed: return 0;
 0;
never executed: return 0;
0
852 }-
853-
854 EVP_MD_CTX_init(&ctx_tmp);-
855 i = OBJ_obj2nid(p7->type);-
856 p7->state = 0;-
857-
858 switch (i) {-
859 case
never executed: case 21:
 21:
never executed: case 21:
0
860 os = p7->d.data;-
861 break;
never executed: break;
0
862 case
never executed: case 24:
 24:
never executed: case 24:
0
863-
864 si_sk = p7->d.signed_and_enveloped->signer_info;-
865 os = p7->d.signed_and_enveloped->enc_data->enc_data;-
866 if (!os
!osDescription
TRUEnever evaluated
FALSEnever evaluated
) {		0
867 os = ASN1_OCTET_STRING_new();-
868 if (!os
!osDescription
TRUEnever evaluated
FALSEnever evaluated
) {		0
869 ERR_put_error(33,(0xfff),((1|64)),__FILE__,719);-
870 goto
never executed: goto err;
 err;
never executed: goto err;
0
871 }-
872 p7->d.signed_and_enveloped->enc_data->enc_data = os;-
873 }
never executed: end of block
0
874 break;
never executed: break;
0
875 case
executed 1 time by 1 test: case 23:
Executed by:
  • pkcs7test
 23:
executed 1 time by 1 test: case 23:
Executed by:
  • pkcs7test
1
876-
877 os = p7->d.enveloped->enc_data->enc_data;-
878 if (!os
!osDescription
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
) {		0-1
879 os = ASN1_OCTET_STRING_new();-
880 if (!os
!osDescription
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
) {		0-1
881 ERR_put_error(33,(0xfff),((1|64)),__FILE__,731);-
882 goto
never executed: goto err;
 err;
never executed: goto err;
0
883 }-
884 p7->d.enveloped->enc_data->enc_data = os;-
885 }
executed 1 time by 1 test: end of block
Executed by:
  • pkcs7test
1
886 break;
executed 1 time by 1 test: break;
Executed by:
  • pkcs7test
1
887 case
executed 2 times by 1 test: case 22:
Executed by:
  • pkcs7test
 22:
executed 2 times by 1 test: case 22:
Executed by:
  • pkcs7test
2
888 si_sk = p7->d.sign->signer_info;-
889 os = PKCS7_get_octet_string(p7->d.sign->contents);-
890 if (!((
(OBJ_obj2nid((...->type) == 22)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
OBJ_obj2nid((p7)->type) == 22)
(OBJ_obj2nid((...->type) == 22)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
 && PKCS7_ctrl(p7,2,0,
PKCS7_ctrl(p7,... ((void *)0) )Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-2
891 ((void *)0)
PKCS7_ctrl(p7,... ((void *)0) )Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
1
892 )
PKCS7_ctrl(p7,... ((void *)0) )Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
) && os ==
os == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
893 ((void *)0)
os == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
0-1
894 ) {-
895 ERR_put_error(33,(0xfff),(130),__FILE__,741);-
896 goto
never executed: goto err;
 err;
never executed: goto err;
0
897 }-
898-
899 if ((
(OBJ_obj2nid((...->type) == 21)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
OBJ_obj2nid((p7->d.sign->contents)->type) == 21)
(OBJ_obj2nid((...->type) == 21)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
 && p7->detached
p7->detachedDescription
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
) {		0-2
900 ASN1_OCTET_STRING_free(os);-
901 os = -
902 ((void *)0)-
903 ;-
904 p7->d.sign->contents->d.data = -
905 ((void *)0)-
906 ;-
907 }
executed 1 time by 1 test: end of block
Executed by:
  • pkcs7test
1
908 break;
executed 2 times by 1 test: break;
Executed by:
  • pkcs7test
2
909-
910 case
never executed: case 25:
 25:
never executed: case 25:
0
911 os = PKCS7_get_octet_string(p7->d.digest->contents);-
912 if (os ==
os == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
913 ((void *)0)
os == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
914 ) {-
915 ERR_put_error(33,(0xfff),(130),__FILE__,755);-
916 goto
never executed: goto err;
 err;
never executed: goto err;
0
917 }-
918-
919 if ((
(OBJ_obj2nid((...->type) == 21)Description
TRUEnever evaluated
FALSEnever evaluated
OBJ_obj2nid((p7->d.digest->contents)->type) == 21)
(OBJ_obj2nid((...->type) == 21)Description
TRUEnever evaluated
FALSEnever evaluated
 &&		0
920 p7->detached
p7->detachedDescription
TRUEnever evaluated
FALSEnever evaluated
) {		0
921 ASN1_OCTET_STRING_free(os);-
922 os = -
923 ((void *)0)-
924 ;-
925 p7->d.digest->contents->d.data = -
926 ((void *)0)-
927 ;-
928 }
never executed: end of block
0
929 break;
never executed: break;
0
930-
931 default
never executed: default:
:
never executed: default:
0
932 ERR_put_error(33,(0xfff),(112),__FILE__,768);-
933 goto
never executed: goto err;
 err;
never executed: goto err;
0
934 }-
935-
936 if (si_sk !=
si_sk != ((void *)0)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
1-2
937 ((void *)0)
si_sk != ((void *)0)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
1-2
938 ) {-
939 for (i = 0; i < sk_num(((_STACK*) (1 ? (si_sk) : (struct stack_st_PKCS7_SIGNER_INFO*)0)))
i < sk_num(((_...NER_INFO*)0)))Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
; i++) {		2
940 si = ((PKCS7_SIGNER_INFO *)sk_value(((_STACK*) (1 ? (si_sk) : (struct stack_st_PKCS7_SIGNER_INFO*)0)), (i)));-
941 if (si->pkey ==
si->pkey == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
942 ((void *)0)
si->pkey == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
943 )-
944 continue;
never executed: continue;
0
945-
946 j = OBJ_obj2nid(si->digest_alg->algorithm);-
947-
948 if ((
(btmp = PKCS7_...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
btmp = PKCS7_find_digest(&mdc, bio, j)) ==
(btmp = PKCS7_...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
949 ((void *)0)
(btmp = PKCS7_...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
950 )-
951 goto
never executed: goto err;
 err;
never executed: goto err;
0
952-
953-
954-
955 if (!EVP_MD_CTX_copy_ex(&ctx_tmp, mdc)
!EVP_MD_CTX_co...&ctx_tmp, mdc)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
)		0-2
956 goto
never executed: goto err;
 err;
never executed: goto err;
0
957-
958 sk = si->auth_attr;-
959-
960-
961-
962 if (sk_num(((_STACK*) (1 ? (sk) : (struct stack_st_X509_ATTRIBUTE*)0))) > 0
sk_num(((_STAC...BUTE*)0))) > 0Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
) {		0-2
963 if (!do_pkcs7_signed_attrib(si, &ctx_tmp)
!do_pkcs7_sign...(si, &ctx_tmp)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
)		0-2
964 goto
never executed: goto err;
 err;
never executed: goto err;
0
965 }
executed 2 times by 1 test: end of block
Executed by:
  • pkcs7test
 else {		2
966 unsigned char *abuf = -
967 ((void *)0)-
968 ;-
969 unsigned int abuflen;-
970 abuflen = EVP_PKEY_size(si->pkey);-
971 abuf = malloc(abuflen);-
972 if (!abuf
!abufDescription
TRUEnever evaluated
FALSEnever evaluated
)		0
973 goto
never executed: goto err;
 err;
never executed: goto err;
0
974-
975 if (!EVP_SignFinal(&ctx_tmp, abuf, &abuflen,
!EVP_SignFinal...len, si->pkey)Description
TRUEnever evaluated
FALSEnever evaluated
0
976 si->pkey)
!EVP_SignFinal...len, si->pkey)Description
TRUEnever evaluated
FALSEnever evaluated
) {		0
977 ERR_put_error(33,(0xfff),(6),__FILE__,805);-
978 goto
never executed: goto err;
 err;
never executed: goto err;
0
979 }-
980 ASN1_STRING_set0(si->enc_digest, abuf, abuflen);-
981 }
never executed: end of block
0
982 }-
983 }
executed 2 times by 1 test: end of block
Executed by:
  • pkcs7test
 else if (i == 25
i == 25Description
TRUEnever evaluated
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
) {		0-2
984 unsigned char md_data[64];-
985 unsigned int md_len;-
986-
987 if (!PKCS7_find_digest(&mdc, bio,
!PKCS7_find_di...d->algorithm))Description
TRUEnever evaluated
FALSEnever evaluated
0
988 OBJ_obj2nid(p7->d.digest->md->algorithm))
!PKCS7_find_di...d->algorithm))Description
TRUEnever evaluated
FALSEnever evaluated
)		0
989 goto
never executed: goto err;
 err;
never executed: goto err;
0
990 if (!EVP_DigestFinal_ex(mdc, md_data, &md_len)
!EVP_DigestFin...data, &md_len)Description
TRUEnever evaluated
FALSEnever evaluated
)		0
991 goto
never executed: goto err;
 err;
never executed: goto err;
0
992 if (ASN1_STRING_set(p7->d.digest->digest, md_data,
ASN1_STRING_se..., md_len) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
993 md_len) == 0
ASN1_STRING_se..., md_len) == 0Description
TRUEnever evaluated
FALSEnever evaluated
)		0
994 goto
never executed: goto err;
 err;
never executed: goto err;
0
995 }
never executed: end of block
0
996-
997 if (!((
(OBJ_obj2nid((...->type) == 22)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
OBJ_obj2nid((p7)->type) == 22)
(OBJ_obj2nid((...->type) == 22)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
 && PKCS7_ctrl(p7,2,0,
PKCS7_ctrl(p7,... ((void *)0) )Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
1-2
998 ((void *)0)
PKCS7_ctrl(p7,... ((void *)0) )Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
1
999 )
PKCS7_ctrl(p7,... ((void *)0) )Description
TRUEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 1 time by 1 test
Evaluated by:
  • pkcs7test
)) {		1
1000-
1001-
1002-
1003-
1004 if (os ==
os == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
1005 ((void *)0)
os == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
1006 )-
1007 goto
never executed: goto err;
 err;
never executed: goto err;
0
1008 if (!(os->flags & 0x010)
!(os->flags & 0x010)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
) {		0-2
1009 char *cont;-
1010 long contlen;-
1011-
1012 btmp = BIO_find_type(bio, (1|0x0400));-
1013 if (btmp ==
btmp == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
1014 ((void *)0)
btmp == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
1015 ) {-
1016 ERR_put_error(33,(0xfff),(107),__FILE__,838);-
1017 goto
never executed: goto err;
 err;
never executed: goto err;
0
1018 }-
1019 contlen = BIO_ctrl(btmp,3,0,(char *)&cont);-
1020-
1021-
1022-
1023-
1024 BIO_set_flags(btmp, 0x200);-
1025 BIO_ctrl(btmp,130,0,-
1026 ((void *)0)-
1027 );-
1028 ASN1_STRING_set0(os, (unsigned char *)cont, contlen);-
1029 }
executed 2 times by 1 test: end of block
Executed by:
  • pkcs7test
2
1030 }
executed 2 times by 1 test: end of block
Executed by:
  • pkcs7test
2
1031 ret = 1;-
1032err:
code before this statement executed 3 times by 1 test: err:
Executed by:
  • pkcs7test
3
1033 EVP_MD_CTX_cleanup(&ctx_tmp);-
1034 return
executed 3 times by 1 test: return (ret);
Executed by:
  • pkcs7test
 (ret);
executed 3 times by 1 test: return (ret);
Executed by:
  • pkcs7test
3
1035}-
1036-
1037int-
1038PKCS7_SIGNER_INFO_sign(PKCS7_SIGNER_INFO *si)-
1039{-
1040 EVP_MD_CTX mctx;-
1041 EVP_PKEY_CTX *pctx;-
1042 unsigned char *abuf = -
1043 ((void *)0)-
1044 ;-
1045 int alen;-
1046 size_t siglen;-
1047 const EVP_MD *md = -
1048 ((void *)0)-
1049 ;-
1050-
1051 md = EVP_get_digestbyname(OBJ_nid2sn(OBJ_obj2nid(si->digest_alg->algorithm)));-
1052 if (md ==
md == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
1053 ((void *)0)
md == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
1054 )-
1055 return
never executed: return 0;
 0;
never executed: return 0;
0
1056-
1057 EVP_MD_CTX_init(&mctx);-
1058 if (EVP_DigestSignInit(&mctx, &pctx, md,
EVP_DigestSign...si->pkey) <= 0Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
1059 ((void *)0)
EVP_DigestSign...si->pkey) <= 0Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
1060 , si->pkey) <= 0
EVP_DigestSign...si->pkey) <= 0Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
)		0-2
1061 goto
never executed: goto err;
 err;
never executed: goto err;
0
1062-
1063 if (EVP_PKEY_CTX_ctrl(pctx, -1, (1<<3),
EVP_PKEY_CTX_c...5, 0, si) <= 0Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
1064 5, 0, si) <= 0
EVP_PKEY_CTX_c...5, 0, si) <= 0Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
) {		0-2
1065 ERR_put_error(33,(0xfff),(152),__FILE__,877);-
1066 goto
never executed: goto err;
 err;
never executed: goto err;
0
1067 }-
1068-
1069 alen = ASN1_item_i2d((ASN1_VALUE *)si->auth_attr, &abuf,-
1070 &PKCS7_ATTR_SIGN_it);-
1071 if (!abuf
!abufDescription
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
)		0-2
1072 goto
never executed: goto err;
 err;
never executed: goto err;
0
1073 if (EVP_DigestUpdate(&mctx,abuf,alen) <= 0
EVP_DigestUpda...buf,alen) <= 0Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
)		0-2
1074 goto
never executed: goto err;
 err;
never executed: goto err;
0
1075 free(abuf);-
1076 abuf = -
1077 ((void *)0)-
1078 ;-
1079 if (EVP_DigestSignFinal(&mctx,
EVP_DigestSign... &siglen) <= 0Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
1080 ((void *)0)
EVP_DigestSign... &siglen) <= 0Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
1081 , &siglen) <= 0
EVP_DigestSign... &siglen) <= 0Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
)		0-2
1082 goto
never executed: goto err;
 err;
never executed: goto err;
0
1083 abuf = malloc(siglen);-
1084 if (!abuf
!abufDescription
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
)		0-2
1085 goto
never executed: goto err;
 err;
never executed: goto err;
0
1086 if (EVP_DigestSignFinal(&mctx, abuf, &siglen) <= 0
EVP_DigestSign... &siglen) <= 0Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
)		0-2
1087 goto
never executed: goto err;
 err;
never executed: goto err;
0
1088-
1089 if (EVP_PKEY_CTX_ctrl(pctx, -1, (1<<3),
EVP_PKEY_CTX_c...5, 1, si) <= 0Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
1090 5, 1, si) <= 0
EVP_PKEY_CTX_c...5, 1, si) <= 0Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
) {		0-2
1091 ERR_put_error(33,(0xfff),(152),__FILE__,899);-
1092 goto
never executed: goto err;
 err;
never executed: goto err;
0
1093 }-
1094-
1095 EVP_MD_CTX_cleanup(&mctx);-
1096-
1097 ASN1_STRING_set0(si->enc_digest, abuf, siglen);-
1098-
1099 return
executed 2 times by 1 test: return 1;
Executed by:
  • pkcs7test
 1;
executed 2 times by 1 test: return 1;
Executed by:
  • pkcs7test
2
1100-
1101err:-
1102 free(abuf);-
1103 EVP_MD_CTX_cleanup(&mctx);-
1104 return
never executed: return 0;
 0;
never executed: return 0;
0
1105}-
1106-
1107int-
1108PKCS7_dataVerify(X509_STORE *cert_store, X509_STORE_CTX *ctx, BIO *bio,-
1109 PKCS7 *p7, PKCS7_SIGNER_INFO *si)-
1110{-
1111 PKCS7_ISSUER_AND_SERIAL *ias;-
1112 int ret = 0, i;-
1113 struct stack_st_X509 *cert;-
1114 X509 *x509;-
1115-
1116 if (p7 ==
p7 == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1117 ((void *)0)
p7 == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1118 ) {-
1119 ERR_put_error(33,(0xfff),(143),__FILE__,925);-
1120 return
never executed: return 0;
 0;
never executed: return 0;
0
1121 }-
1122-
1123 if (p7->d.ptr ==
p7->d.ptr == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1124 ((void *)0)
p7->d.ptr == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1125 ) {-
1126 ERR_put_error(33,(0xfff),(122),__FILE__,930);-
1127 return
never executed: return 0;
 0;
never executed: return 0;
0
1128 }-
1129-
1130 if ((
(OBJ_obj2nid((...->type) == 22)Description
TRUEnever evaluated
FALSEnever evaluated
OBJ_obj2nid((p7)->type) == 22)
(OBJ_obj2nid((...->type) == 22)Description
TRUEnever evaluated
FALSEnever evaluated
) {		0
1131 cert = p7->d.sign->cert;-
1132 }
never executed: end of block
 else if ((
(OBJ_obj2nid((...->type) == 24)Description
TRUEnever evaluated
FALSEnever evaluated
OBJ_obj2nid((p7)->type) == 24)
(OBJ_obj2nid((...->type) == 24)Description
TRUEnever evaluated
FALSEnever evaluated
) {		0
1133 cert = p7->d.signed_and_enveloped->cert;-
1134 }
never executed: end of block
 else {		0
1135 ERR_put_error(33,(0xfff),(114),__FILE__,939);-
1136 goto
never executed: goto err;
 err;
never executed: goto err;
0
1137 }-
1138-
1139 ias = si->issuer_and_serial;-
1140-
1141 x509 = X509_find_by_issuer_and_serial(cert, ias->issuer, ias->serial);-
1142-
1143-
1144 if (x509 ==
x509 == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1145 ((void *)0)
x509 == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1146 ) {-
1147 ERR_put_error(33,(0xfff),(106),__FILE__,949);-
1148 goto
never executed: goto err;
 err;
never executed: goto err;
0
1149 }-
1150-
1151-
1152 if (!X509_STORE_CTX_init(ctx, cert_store, x509, cert)
!X509_STORE_CT...e, x509, cert)Description
TRUEnever evaluated
FALSEnever evaluated
) {		0
1153 ERR_put_error(33,(0xfff),(11),__FILE__,955);-
1154 goto
never executed: goto err;
 err;
never executed: goto err;
0
1155 }-
1156 if (X509_STORE_CTX_set_purpose(ctx, 4) == 0
X509_STORE_CTX...e(ctx, 4) == 0Description
TRUEnever evaluated
FALSEnever evaluated
) {		0
1157 X509_STORE_CTX_cleanup(ctx);-
1158 goto
never executed: goto err;
 err;
never executed: goto err;
0
1159 }-
1160 i = X509_verify_cert(ctx);-
1161 if (i <= 0
i <= 0Description
TRUEnever evaluated
FALSEnever evaluated
) {		0
1162 ERR_put_error(33,(0xfff),(11),__FILE__,964);-
1163 X509_STORE_CTX_cleanup(ctx);-
1164 goto
never executed: goto err;
 err;
never executed: goto err;
0
1165 }-
1166 X509_STORE_CTX_cleanup(ctx);-
1167-
1168 return
never executed: return PKCS7_signatureVerify(bio, p7, si, x509);
 PKCS7_signatureVerify(bio, p7, si, x509);
never executed: return PKCS7_signatureVerify(bio, p7, si, x509);
0
1169err:-
1170-
1171 return
never executed: return ret;
 ret;
never executed: return ret;
0
1172}-
1173-
1174int-
1175PKCS7_signatureVerify(BIO *bio, PKCS7 *p7, PKCS7_SIGNER_INFO *si, X509 *x509)-
1176{-
1177 ASN1_OCTET_STRING *os;-
1178 EVP_MD_CTX mdc_tmp, *mdc;-
1179 int ret = 0, i;-
1180 int md_type;-
1181 struct stack_st_X509_ATTRIBUTE *sk;-
1182 BIO *btmp;-
1183 EVP_PKEY *pkey;-
1184-
1185 EVP_MD_CTX_init(&mdc_tmp);-
1186-
1187 if (!(OBJ_obj2nid((p7)->type) == 22)
!(OBJ_obj2nid(...->type) == 22)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
 &&		0-2
1188 !(OBJ_obj2nid((p7)->type) == 24)
!(OBJ_obj2nid(...->type) == 24)Description
TRUEnever evaluated
FALSEnever evaluated
) {		0
1189 ERR_put_error(33,(0xfff),(114),__FILE__,991);-
1190 goto
never executed: goto err;
 err;
never executed: goto err;
0
1191 }-
1192-
1193 md_type = OBJ_obj2nid(si->digest_alg->algorithm);-
1194-
1195 btmp = bio;-
1196 for (;;) {-
1197 if ((
(btmp == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
btmp ==
(btmp == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
1198 ((void *)0)
(btmp == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
1199 )
(btmp == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
 ||		0-2
1200 ((
((btmp = BIO_f... ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
btmp = BIO_find_type(btmp, (8|0x0200))) ==
((btmp = BIO_f... ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
1201 ((void *)0)
((btmp = BIO_f... ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
1202 )
((btmp = BIO_f... ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
) {		0-2
1203 ERR_put_error(33,(0xfff),(108),__FILE__,1001);-
1204 goto
never executed: goto err;
 err;
never executed: goto err;
0
1205 }-
1206 BIO_ctrl(btmp,120,0,(char *)&mdc);-
1207 if (mdc ==
mdc == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
1208 ((void *)0)
mdc == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
1209 ) {-
1210 ERR_put_error(33,(0xfff),((4|64)),__FILE__,1006);-
1211 goto
never executed: goto err;
 err;
never executed: goto err;
0
1212 }-
1213 if (EVP_MD_type(EVP_MD_CTX_md(mdc)) == md_type
EVP_MD_type(EV...c)) == md_typeDescription
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
)		0-2
1214 break;
executed 2 times by 1 test: break;
Executed by:
  • pkcs7test
2
1215-
1216-
1217-
1218 if (EVP_MD_pkey_type(EVP_MD_CTX_md(mdc)) == md_type
EVP_MD_pkey_ty...c)) == md_typeDescription
TRUEnever evaluated
FALSEnever evaluated
)		0
1219 break;
never executed: break;
0
1220 btmp = BIO_next(btmp);-
1221 }
never executed: end of block
0
1222-
1223-
1224-
1225 if (!EVP_MD_CTX_copy_ex(&mdc_tmp, mdc)
!EVP_MD_CTX_co...&mdc_tmp, mdc)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
)		0-2
1226 goto
never executed: goto err;
 err;
never executed: goto err;
0
1227-
1228 sk = si->auth_attr;-
1229 if ((
(sk != ((void *)0) )Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
sk !=
(sk != ((void *)0) )Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
0-2
1230 ((void *)0)
(sk != ((void *)0) )Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
0-2
1231 )
(sk != ((void *)0) )Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
 && (
(sk_num(((_STA...TE*)0))) != 0)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
sk_num(((_STACK*) (1 ? (sk) : (struct stack_st_X509_ATTRIBUTE*)0))) != 0)
(sk_num(((_STA...TE*)0))) != 0)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
) {		0-2
1232 unsigned char md_dat[64], *abuf = -
1233 ((void *)0)-
1234 ;-
1235 unsigned int md_len;-
1236 int alen;-
1237 ASN1_OCTET_STRING *message_digest;-
1238-
1239 if (!EVP_DigestFinal_ex(&mdc_tmp, md_dat, &md_len)
!EVP_DigestFin..._dat, &md_len)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
)		0-2
1240 goto
never executed: goto err;
 err;
never executed: goto err;
0
1241 message_digest = PKCS7_digest_from_attributes(sk);-
1242 if (!message_digest
!message_digestDescription
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
) {		0-2
1243 ERR_put_error(33,(0xfff),(108),__FILE__,1035);-
1244 goto
never executed: goto err;
 err;
never executed: goto err;
0
1245 }-
1246 if ((
(message_diges...= (int)md_len)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
message_digest->length != (int)md_len)
(message_diges...= (int)md_len)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
 ||		0-2
1247 (
(memcmp(messag..._dat, md_len))Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
memcmp(message_digest->data, md_dat, md_len))
(memcmp(messag..._dat, md_len))Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
) {		0-2
1248 ERR_put_error(33,(0xfff),(101),__FILE__,1040);-
1249 ret = -1;-
1250 goto
never executed: goto err;
 err;
never executed: goto err;
0
1251 }-
1252-
1253 if (!EVP_DigestInit_ex(&mdc_tmp,EVP_get_digestbyname(OBJ_nid2sn(md_type)),
!EVP_DigestIni... ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
1254 ((void *)0)
!EVP_DigestIni... ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
1255 )
!EVP_DigestIni... ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
1256 )-
1257 goto
never executed: goto err;
 err;
never executed: goto err;
0
1258-
1259 alen = ASN1_item_i2d((ASN1_VALUE *)sk, &abuf,-
1260 &PKCS7_ATTR_VERIFY_it);-
1261 if (alen <= 0
alen <= 0Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
) {		0-2
1262 ERR_put_error(33,(0xfff),(13),__FILE__,1052);-
1263 ret = -1;-
1264 goto
never executed: goto err;
 err;
never executed: goto err;
0
1265 }-
1266 if (!EVP_DigestUpdate(&mdc_tmp,abuf,alen)
!EVP_DigestUpd...tmp,abuf,alen)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
)		0-2
1267 goto
never executed: goto err;
 err;
never executed: goto err;
0
1268-
1269 free(abuf);-
1270 }
executed 2 times by 1 test: end of block
Executed by:
  • pkcs7test
2
1271-
1272 os = si->enc_digest;-
1273 pkey = X509_get_pubkey(x509);-
1274 if (!pkey
!pkeyDescription
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
) {		0-2
1275 ret = -1;-
1276 goto
never executed: goto err;
 err;
never executed: goto err;
0
1277 }-
1278-
1279 i = EVP_VerifyFinal(&mdc_tmp, os->data, os->length, pkey);-
1280 EVP_PKEY_free(pkey);-
1281 if (i <= 0
i <= 0Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
) {		0-2
1282 ERR_put_error(33,(0xfff),(105),__FILE__,1072);-
1283 ret = -1;-
1284 goto
never executed: goto err;
 err;
never executed: goto err;
0
1285 } else-
1286 ret = 1;
executed 2 times by 1 test: ret = 1;
Executed by:
  • pkcs7test
2
1287err:
code before this statement executed 2 times by 1 test: err:
Executed by:
  • pkcs7test
2
1288 EVP_MD_CTX_cleanup(&mdc_tmp);-
1289 return
executed 2 times by 1 test: return (ret);
Executed by:
  • pkcs7test
 (ret);
executed 2 times by 1 test: return (ret);
Executed by:
  • pkcs7test
2
1290}-
1291-
1292PKCS7_ISSUER_AND_SERIAL *-
1293PKCS7_get_issuer_and_serial(PKCS7 *p7, int idx)-
1294{-
1295 struct stack_st_PKCS7_RECIP_INFO *rsk;-
1296 PKCS7_RECIP_INFO *ri;-
1297 int i;-
1298-
1299 i = OBJ_obj2nid(p7->type);-
1300 if (i != 24
i != 24Description
TRUEnever evaluated
FALSEnever evaluated
)		0
1301 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
1302 ((void *)0)
never executed: return ((void *)0) ;
0
1303 ;
never executed: return ((void *)0) ;
0
1304 if (p7->d.signed_and_enveloped ==
p7->d.signed_a...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1305 ((void *)0)
p7->d.signed_a...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1306 )-
1307 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
1308 ((void *)0)
never executed: return ((void *)0) ;
0
1309 ;
never executed: return ((void *)0) ;
0
1310 rsk = p7->d.signed_and_enveloped->recipientinfo;-
1311 if (rsk ==
rsk == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1312 ((void *)0)
rsk == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1313 )-
1314 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
1315 ((void *)0)
never executed: return ((void *)0) ;
0
1316 ;
never executed: return ((void *)0) ;
0
1317 ri = ((PKCS7_RECIP_INFO *)sk_value(((_STACK*) (1 ? (rsk) : (struct stack_st_PKCS7_RECIP_INFO*)0)), (0)));-
1318 if (sk_num(((_STACK*) (1 ? (rsk) : (struct stack_st_PKCS7_RECIP_INFO*)0))) <= idx
sk_num(((_STAC...O*)0))) <= idxDescription
TRUEnever evaluated
FALSEnever evaluated
)		0
1319 return
never executed: return ( ((void *)0) );
 (
never executed: return ( ((void *)0) );
0
1320 ((void *)0)
never executed: return ( ((void *)0) );
0
1321 );
never executed: return ( ((void *)0) );
0
1322 ri = ((PKCS7_RECIP_INFO *)sk_value(((_STACK*) (1 ? (rsk) : (struct stack_st_PKCS7_RECIP_INFO*)0)), (idx)));-
1323 return
never executed: return (ri->issuer_and_serial);
 (ri->issuer_and_serial);
never executed: return (ri->issuer_and_serial);
0
1324}-
1325-
1326ASN1_TYPE *-
1327PKCS7_get_signed_attribute(PKCS7_SIGNER_INFO *si, int nid)-
1328{-
1329 return
executed 4 times by 1 test: return (get_attribute(si->auth_attr, nid));
Executed by:
  • pkcs7test
 (get_attribute(si->auth_attr, nid));
executed 4 times by 1 test: return (get_attribute(si->auth_attr, nid));
Executed by:
  • pkcs7test
4
1330}-
1331-
1332ASN1_TYPE *-
1333PKCS7_get_attribute(PKCS7_SIGNER_INFO *si, int nid)-
1334{-
1335 return
never executed: return (get_attribute(si->unauth_attr, nid));
 (get_attribute(si->unauth_attr, nid));
never executed: return (get_attribute(si->unauth_attr, nid));
0
1336}-
1337-
1338static ASN1_TYPE *-
1339get_attribute(struct stack_st_X509_ATTRIBUTE *sk, int nid)-
1340{-
1341 int i;-
1342 X509_ATTRIBUTE *xa;-
1343 ASN1_OBJECT *o;-
1344-
1345 o = OBJ_nid2obj(nid);-
1346 if (!o
!oDescription
TRUEnever evaluated
FALSEevaluated 6 times by 1 test
Evaluated by:
  • pkcs7test
 || !sk
!skDescription
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 4 times by 1 test
Evaluated by:
  • pkcs7test
)		0-6
1347 return
executed 2 times by 1 test: return ( ((void *)0) );
Executed by:
  • pkcs7test
 (
executed 2 times by 1 test: return ( ((void *)0) );
Executed by:
  • pkcs7test
2
1348 ((void *)0)
executed 2 times by 1 test: return ( ((void *)0) );
Executed by:
  • pkcs7test
2
1349 );
executed 2 times by 1 test: return ( ((void *)0) );
Executed by:
  • pkcs7test
2
1350 for (i = 0; i < sk_num(((_STACK*) (1 ? (sk) : (struct stack_st_X509_ATTRIBUTE*)0)))
i < sk_num(((_...TTRIBUTE*)0)))Description
TRUEevaluated 10 times by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
; i++) {		2-10
1351 xa = ((X509_ATTRIBUTE *)sk_value(((_STACK*) (1 ? (sk) : (struct stack_st_X509_ATTRIBUTE*)0)), (i)));-
1352 if (OBJ_cmp(xa->object, o) == 0
OBJ_cmp(xa->object, o) == 0Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 8 times by 1 test
Evaluated by:
  • pkcs7test
) {		2-8
1353 if (!xa->single
!xa->singleDescription
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
 && sk_num(((_STACK*) (1 ? (xa->value.set) : (struct stack_st_ASN1_TYPE*)0)))
sk_num(((_STAC...SN1_TYPE*)0)))Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEnever evaluated
)		0-2
1354 return
executed 2 times by 1 test: return (((ASN1_TYPE *)sk_value(((_STACK*) (1 ? (xa->value.set) : (struct stack_st_ASN1_TYPE*)0)), (0))));
Executed by:
  • pkcs7test
 (((ASN1_TYPE *)sk_value(((_STACK*) (1 ? (xa->value.set) : (struct stack_st_ASN1_TYPE*)0)), (0))));
executed 2 times by 1 test: return (((ASN1_TYPE *)sk_value(((_STACK*) (1 ? (xa->value.set) : (struct stack_st_ASN1_TYPE*)0)), (0))));
Executed by:
  • pkcs7test
2
1355 else-
1356 return
never executed: return ( ((void *)0) );
 (
never executed: return ( ((void *)0) );
0
1357 ((void *)0)
never executed: return ( ((void *)0) );
0
1358 );
never executed: return ( ((void *)0) );
0
1359 }-
1360 }
executed 8 times by 1 test: end of block
Executed by:
  • pkcs7test
8
1361 return
executed 2 times by 1 test: return ( ((void *)0) );
Executed by:
  • pkcs7test
 (
executed 2 times by 1 test: return ( ((void *)0) );
Executed by:
  • pkcs7test
2
1362 ((void *)0)
executed 2 times by 1 test: return ( ((void *)0) );
Executed by:
  • pkcs7test
2
1363 );
executed 2 times by 1 test: return ( ((void *)0) );
Executed by:
  • pkcs7test
2
1364}-
1365-
1366ASN1_OCTET_STRING *-
1367PKCS7_digest_from_attributes(struct stack_st_X509_ATTRIBUTE *sk)-
1368{-
1369 ASN1_TYPE *astype;-
1370-
1371 if (!(astype = get_attribute(sk, 51))
!(astype = get...ibute(sk, 51))Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
)		0-2
1372 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
1373 ((void *)0)
never executed: return ((void *)0) ;
0
1374 ;
never executed: return ((void *)0) ;
0
1375 if (astype->type != 4
astype->type != 4Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
)		0-2
1376 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
1377 ((void *)0)
never executed: return ((void *)0) ;
0
1378 ;
never executed: return ((void *)0) ;
0
1379 return
executed 2 times by 1 test: return astype->value.octet_string;
Executed by:
  • pkcs7test
 astype->value.octet_string;
executed 2 times by 1 test: return astype->value.octet_string;
Executed by:
  • pkcs7test
2
1380}-
1381-
1382int-
1383PKCS7_set_signed_attributes(PKCS7_SIGNER_INFO *p7si,-
1384 struct stack_st_X509_ATTRIBUTE *sk)-
1385{-
1386 int i;-
1387-
1388 if (p7si->auth_attr !=
p7si->auth_attr != ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1389 ((void *)0)
p7si->auth_attr != ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1390 )-
1391 sk_pop_free(((_STACK*) (1 ? (p7si->auth_attr) : (struct stack_st_X509_ATTRIBUTE*)0)), ((void (*)(void *)) ((1 ? (X509_ATTRIBUTE_free) : (void (*)(X509_ATTRIBUTE *))0))))
never executed: sk_pop_free(((_STACK*) (1 ? (p7si->auth_attr) : (struct stack_st_X509_ATTRIBUTE*)0)), ((void (*)(void *)) ((1 ? (X509_ATTRIBUTE_free) : (void (*)(X509_ATTRIBUTE *))0)))) ;
0
1392 ;
never executed: sk_pop_free(((_STACK*) (1 ? (p7si->auth_attr) : (struct stack_st_X509_ATTRIBUTE*)0)), ((void (*)(void *)) ((1 ? (X509_ATTRIBUTE_free) : (void (*)(X509_ATTRIBUTE *))0)))) ;
0
1393 p7si->auth_attr = (struct stack_st_X509_ATTRIBUTE *)sk_dup(((_STACK*) (1 ? sk : (struct stack_st_X509_ATTRIBUTE*)0)));-
1394 if (p7si->auth_attr ==
p7si->auth_attr == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1395 ((void *)0)
p7si->auth_attr == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1396 )-
1397 return
never executed: return 0;
 0;
never executed: return 0;
0
1398 for (i = 0; i < sk_num(((_STACK*) (1 ? (sk) : (struct stack_st_X509_ATTRIBUTE*)0)))
i < sk_num(((_...TTRIBUTE*)0)))Description
TRUEnever evaluated
FALSEnever evaluated
; i++) {		0
1399 if ((
(sk_set(((_STA...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
sk_set(((_STACK*) (1 ? (p7si->auth_attr) : (struct stack_st_X509_ATTRIBUTE*)0)), (i), ((void*) (1 ? (X509_ATTRIBUTE_dup(((X509_ATTRIBUTE *)sk_value(((_STACK*) (1 ? (sk) : (struct stack_st_X509_ATTRIBUTE*)0)), (i))))) : (X509_ATTRIBUTE*)0)))
(sk_set(((_STA...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1400 )
(sk_set(((_STA...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1401 ==
(sk_set(((_STA...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1402 ((void *)0)
(sk_set(((_STA...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1403 )-
1404 return
never executed: return (0);
 (0);
never executed: return (0);
0
1405 }
never executed: end of block
0
1406 return
never executed: return (1);
 (1);
never executed: return (1);
0
1407}-
1408-
1409int-
1410PKCS7_set_attributes(PKCS7_SIGNER_INFO *p7si, struct stack_st_X509_ATTRIBUTE *sk)-
1411{-
1412 int i;-
1413-
1414 if (p7si->unauth_attr !=
p7si->unauth_a...!= ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1415 ((void *)0)
p7si->unauth_a...!= ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1416 )-
1417 sk_pop_free(((_STACK*) (1 ? (p7si->unauth_attr) : (struct stack_st_X509_ATTRIBUTE*)0)), ((void (*)(void *)) ((1 ? (X509_ATTRIBUTE_free) : (void (*)(X509_ATTRIBUTE *))0))))
never executed: sk_pop_free(((_STACK*) (1 ? (p7si->unauth_attr) : (struct stack_st_X509_ATTRIBUTE*)0)), ((void (*)(void *)) ((1 ? (X509_ATTRIBUTE_free) : (void (*)(X509_ATTRIBUTE *))0)))) ;
0
1418 ;
never executed: sk_pop_free(((_STACK*) (1 ? (p7si->unauth_attr) : (struct stack_st_X509_ATTRIBUTE*)0)), ((void (*)(void *)) ((1 ? (X509_ATTRIBUTE_free) : (void (*)(X509_ATTRIBUTE *))0)))) ;
0
1419 p7si->unauth_attr = (struct stack_st_X509_ATTRIBUTE *)sk_dup(((_STACK*) (1 ? sk : (struct stack_st_X509_ATTRIBUTE*)0)));-
1420 if (p7si->unauth_attr ==
p7si->unauth_a...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1421 ((void *)0)
p7si->unauth_a...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1422 )-
1423 return
never executed: return 0;
 0;
never executed: return 0;
0
1424 for (i = 0; i < sk_num(((_STACK*) (1 ? (sk) : (struct stack_st_X509_ATTRIBUTE*)0)))
i < sk_num(((_...TTRIBUTE*)0)))Description
TRUEnever evaluated
FALSEnever evaluated
; i++) {		0
1425 if ((
(sk_set(((_STA...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
sk_set(((_STACK*) (1 ? (p7si->unauth_attr) : (struct stack_st_X509_ATTRIBUTE*)0)), (i), ((void*) (1 ? (X509_ATTRIBUTE_dup(((X509_ATTRIBUTE *)sk_value(((_STACK*) (1 ? (sk) : (struct stack_st_X509_ATTRIBUTE*)0)), (i))))) : (X509_ATTRIBUTE*)0)))
(sk_set(((_STA...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1426 )
(sk_set(((_STA...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1427 ==
(sk_set(((_STA...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1428 ((void *)0)
(sk_set(((_STA...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1429 )-
1430 return
never executed: return (0);
 (0);
never executed: return (0);
0
1431 }
never executed: end of block
0
1432 return
never executed: return (1);
 (1);
never executed: return (1);
0
1433}-
1434-
1435int-
1436PKCS7_add_signed_attribute(PKCS7_SIGNER_INFO *p7si, int nid, int atrtype,-
1437 void *value)-
1438{-
1439 return
executed 8 times by 1 test: return (add_attribute(&(p7si->auth_attr), nid, atrtype, value));
Executed by:
  • pkcs7test
 (add_attribute(&(p7si->auth_attr), nid, atrtype, value));
executed 8 times by 1 test: return (add_attribute(&(p7si->auth_attr), nid, atrtype, value));
Executed by:
  • pkcs7test
8
1440}-
1441-
1442int-
1443PKCS7_add_attribute(PKCS7_SIGNER_INFO *p7si, int nid, int atrtype, void *value)-
1444{-
1445 return
never executed: return (add_attribute(&(p7si->unauth_attr), nid, atrtype, value));
 (add_attribute(&(p7si->unauth_attr), nid, atrtype, value));
never executed: return (add_attribute(&(p7si->unauth_attr), nid, atrtype, value));
0
1446}-
1447-
1448static int-
1449add_attribute(struct stack_st_X509_ATTRIBUTE **sk, int nid, int atrtype, void *value)-
1450{-
1451 X509_ATTRIBUTE *attr = -
1452 ((void *)0)-
1453 ;-
1454-
1455 if (*
*sk == ((void *)0)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 6 times by 1 test
Evaluated by:
  • pkcs7test
sk ==
*sk == ((void *)0)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 6 times by 1 test
Evaluated by:
  • pkcs7test
2-6
1456 ((void *)0)
*sk == ((void *)0)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 6 times by 1 test
Evaluated by:
  • pkcs7test
2-6
1457 ) {-
1458 *sk = ((struct stack_st_X509_ATTRIBUTE *)sk_new_null());-
1459 if (*
*sk == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
sk ==
*sk == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
1460 ((void *)0)
*sk == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • pkcs7test
0-2
1461 )-
1462 return
never executed: return 0;
 0;
never executed: return 0;
0
1463new_attrib:
code before this statement executed 2 times by 1 test: new_attrib:
Executed by:
  • pkcs7test
2
1464 if (!(attr = X509_ATTRIBUTE_create(nid, atrtype, value))
!(attr = X509_...rtype, value))Description
TRUEnever evaluated
FALSEevaluated 8 times by 1 test
Evaluated by:
  • pkcs7test
)		0-8
1465 return
never executed: return 0;
 0;
never executed: return 0;
0
1466 if (!sk_push(((_STACK*) (1 ? (*sk) : (struct stack_st_X509_ATTRIBUTE*)0)), ((void*) (1 ? (attr) : (X509_ATTRIBUTE*)0)))
!sk_push(((_ST...TTRIBUTE*)0)))Description
TRUEnever evaluated
FALSEevaluated 8 times by 1 test
Evaluated by:
  • pkcs7test
) {		0-8
1467 X509_ATTRIBUTE_free(attr);-
1468 return
never executed: return 0;
 0;
never executed: return 0;
0
1469 }-
1470 }
executed 8 times by 1 test: end of block
Executed by:
  • pkcs7test
 else {		8
1471 int i;-
1472-
1473 for (i = 0; i < sk_num(((_STACK*) (1 ? (*sk) : (struct stack_st_X509_ATTRIBUTE*)0)))
i < sk_num(((_...TTRIBUTE*)0)))Description
TRUEevaluated 12 times by 1 test
Evaluated by:
  • pkcs7test
FALSEevaluated 6 times by 1 test
Evaluated by:
  • pkcs7test
; i++) {		6-12
1474 attr = ((X509_ATTRIBUTE *)sk_value(((_STACK*) (1 ? (*sk) : (struct stack_st_X509_ATTRIBUTE*)0)), (i)));-
1475 if (OBJ_obj2nid(attr->object) == nid
OBJ_obj2nid(at...object) == nidDescription
TRUEnever evaluated
FALSEevaluated 12 times by 1 test
Evaluated by:
  • pkcs7test
) {		0-12
1476 X509_ATTRIBUTE_free(attr);-
1477 attr = X509_ATTRIBUTE_create(nid, atrtype,-
1478 value);-
1479 if (attr ==
attr == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1480 ((void *)0)
attr == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
1481 )-
1482 return
never executed: return 0;
 0;
never executed: return 0;
0
1483 if (!sk_set(((_STACK*) (1 ? (*sk) : (struct stack_st_X509_ATTRIBUTE*)0)), (i), ((void*) (1 ? (attr) : (X509_ATTRIBUTE*)0)))
!sk_set(((_STA...TTRIBUTE*)0)))Description
TRUEnever evaluated
FALSEnever evaluated
) {		0
1484 X509_ATTRIBUTE_free(attr);-
1485 return
never executed: return 0;
 0;
never executed: return 0;
0
1486 }-
1487 goto
never executed: goto end;
 end;
never executed: goto end;
0
1488 }-
1489 }
executed 12 times by 1 test: end of block
Executed by:
  • pkcs7test
12
1490 goto
executed 6 times by 1 test: goto new_attrib;
Executed by:
  • pkcs7test
 new_attrib;
executed 6 times by 1 test: goto new_attrib;
Executed by:
  • pkcs7test
6
1491 }-
1492end:
code before this statement executed 8 times by 1 test: end:
Executed by:
  • pkcs7test
8
1493 return
executed 8 times by 1 test: return (1);
Executed by:
  • pkcs7test
 (1);
executed 8 times by 1 test: return (1);
Executed by:
  • pkcs7test
8
1494}-
Switch to Source codePreprocessed file
Generated by Squish Coco 4.2.2