OpenCoverage

srp_vfy.c

Absolute File Name:/home/opencoverage/opencoverage/guest-scripts/openssl/src/crypto/srp/srp_vfy.c
Switch to Source codePreprocessed file
LineSourceCount
1-
2-
3static int t_fromb64(unsigned char *a, size_t alen, const char *src)-
4{-
5 EVP_ENCODE_CTX *ctx;-
6 int outl = 0, outl2 = 0;-
7 size_t size, padsize;-
8 const unsigned char *pad = (const unsigned char *)"00";-
9-
10 while (*
*src == ' 'Description
TRUEnever evaluated
FALSEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
src == ' '
*src == ' 'Description
TRUEnever evaluated
FALSEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
 || *
*src == '\t'Description
TRUEnever evaluated
FALSEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
src == '\t'
*src == '\t'Description
TRUEnever evaluated
FALSEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
 || *
*src == '\n'Description
TRUEnever evaluated
FALSEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
src == '\n'
*src == '\n'Description
TRUEnever evaluated
FALSEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
)		0-8
11 ++
never executed: ++src;
src;
never executed: ++src;
0
12 size = strlen(src);-
13 padsize = 4 - (size & 3);-
14 padsize &= 3;-
15-
16-
17 if (size > 0x7fffffff
size > 0x7fffffffDescription
TRUEnever evaluated
FALSEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
 || ((
((size + padsi... 4) * 3 > alenDescription
TRUEnever evaluated
FALSEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
size + padsize) / 4) * 3 > alen
((size + padsi... 4) * 3 > alenDescription
TRUEnever evaluated
FALSEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
)		0-8
18 return
never executed: return -1;
 -1;
never executed: return -1;
0
19-
20 ctx = EVP_ENCODE_CTX_new();-
21 if (ctx ==
ctx == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-8
22 ((void *)0)
ctx == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-8
23 )-
24 return
never executed: return -1;
 -1;
never executed: return -1;
0
25 if (padsize == 3
padsize == 3Description
TRUEnever evaluated
FALSEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
) {		0-8
26 outl = -1;-
27 goto
never executed: goto err;
 err;
never executed: goto err;
0
28 }-
29-
30-
31-
32 EVP_DecodeInit(ctx);-
33 evp_encode_ctx_set_flags(ctx, 2);-
34-
35-
36 if (padsize != 0
padsize != 0Description
TRUEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-8
37 && EVP_DecodeUpdate(ctx, a, &outl, pad, padsize) < 0
EVP_DecodeUpda..., padsize) < 0Description
TRUEnever evaluated
FALSEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
) {		0-8
38 outl = -1;-
39 goto
never executed: goto err;
 err;
never executed: goto err;
0
40 }-
41 if (EVP_DecodeUpdate(ctx, a, &outl2, (const unsigned char *)src, size) < 0
EVP_DecodeUpda...src, size) < 0Description
TRUEnever evaluated
FALSEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
) {		0-8
42 outl = -1;-
43 goto
never executed: goto err;
 err;
never executed: goto err;
0
44 }-
45 outl += outl2;-
46 EVP_DecodeFinal(ctx, a + outl, &outl2);-
47 outl += outl2;-
48-
49-
50 if (padsize != 0
padsize != 0Description
TRUEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
) {		0-8
51 if ((
(int)padsize >= outlDescription
TRUEnever evaluated
FALSEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
int)padsize >= outl
(int)padsize >= outlDescription
TRUEnever evaluated
FALSEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
) {		0-8
52 outl = -1;-
53 goto
never executed: goto err;
 err;
never executed: goto err;
0
54 }-
55 memmove(a, a + padsize, outl - padsize);-
56 outl -= padsize;-
57 }
executed 8 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
8
58-
59 err:
code before this statement executed 8 times by 1 test: err:
Executed by:
  • libcrypto.so.1.1
8
60 EVP_ENCODE_CTX_free(ctx);-
61-
62 return
executed 8 times by 1 test: return outl;
Executed by:
  • libcrypto.so.1.1
 outl;
executed 8 times by 1 test: return outl;
Executed by:
  • libcrypto.so.1.1
8
63}-
64-
65-
66-
67-
68-
69static int t_tob64(char *dst, const unsigned char *src, int size)-
70{-
71 EVP_ENCODE_CTX *ctx = EVP_ENCODE_CTX_new();-
72 int outl = 0, outl2 = 0;-
73 unsigned char pad[2] = {0, 0};-
74 size_t leadz = 0;-
75-
76 if (ctx ==
ctx == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-4
77 ((void *)0)
ctx == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-4
78 )-
79 return
never executed: return 0;
 0;
never executed: return 0;
0
80-
81 EVP_EncodeInit(ctx);-
82 evp_encode_ctx_set_flags(ctx, 1-
83 | 2);-
84-
85-
86-
87-
88-
89-
90 leadz = 3 - (size % 3);-
91 if (leadz != 3
leadz != 3Description
TRUEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-4
92 && !EVP_EncodeUpdate(ctx, (unsigned char *)dst, &outl, pad,
!EVP_EncodeUpd...l, pad, leadz)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-4
93 leadz)
!EVP_EncodeUpd...l, pad, leadz)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
) {		0-4
94 EVP_ENCODE_CTX_free(ctx);-
95 return
never executed: return 0;
 0;
never executed: return 0;
0
96 }-
97-
98 if (!EVP_EncodeUpdate(ctx, (unsigned char *)dst + outl, &outl2, src,
!EVP_EncodeUpd...l2, src, size)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-4
99 size)
!EVP_EncodeUpd...l2, src, size)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
) {		0-4
100 EVP_ENCODE_CTX_free(ctx);-
101 return
never executed: return 0;
 0;
never executed: return 0;
0
102 }-
103 outl += outl2;-
104 EVP_EncodeFinal(ctx, (unsigned char *)dst + outl, &outl2);-
105 outl += outl2;-
106-
107-
108 if (leadz != 3
leadz != 3Description
TRUEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
) {		0-4
109 memmove(dst, dst + leadz, outl - leadz);-
110 dst[outl - leadz] = '\0';-
111 }
executed 4 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
4
112-
113 EVP_ENCODE_CTX_free(ctx);-
114 return
executed 4 times by 1 test: return 1;
Executed by:
  • libcrypto.so.1.1
 1;
executed 4 times by 1 test: return 1;
Executed by:
  • libcrypto.so.1.1
4
115}-
116-
117void SRP_user_pwd_free(SRP_user_pwd *user_pwd)-
118{-
119 if (user_pwd ==
user_pwd == ((void *)0)Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 12 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
6-12
120 ((void *)0)
user_pwd == ((void *)0)Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 12 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
6-12
121 )-
122 return;
executed 6 times by 1 test: return;
Executed by:
  • libcrypto.so.1.1
6
123 BN_free(user_pwd->s);-
124 BN_clear_free(user_pwd->v);-
125 CRYPTO_free(user_pwd->id, __FILE__, 182);-
126 CRYPTO_free(user_pwd->info, __FILE__, 183);-
127 CRYPTO_free(user_pwd, __FILE__, 184);-
128}
executed 12 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
12
129-
130static SRP_user_pwd *SRP_user_pwd_new(void)-
131{-
132 SRP_user_pwd *ret;-
133-
134 if ((
(ret = CRYPTO_...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 10 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
ret = CRYPTO_malloc(sizeof(*ret), __FILE__, 191)) ==
(ret = CRYPTO_...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 10 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-10
135 ((void *)0)
(ret = CRYPTO_...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 10 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-10
136 ) {-
137-
138 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
139 ((void *)0)
never executed: return ((void *)0) ;
0
140 ;
never executed: return ((void *)0) ;
0
141 }-
142 ret->N = -
143 ((void *)0)-
144 ;-
145 ret->g = -
146 ((void *)0)-
147 ;-
148 ret->s = -
149 ((void *)0)-
150 ;-
151 ret->v = -
152 ((void *)0)-
153 ;-
154 ret->id = -
155 ((void *)0)-
156 ;-
157 ret->info = -
158 ((void *)0)-
159 ;-
160 return
executed 10 times by 1 test: return ret;
Executed by:
  • libcrypto.so.1.1
 ret;
executed 10 times by 1 test: return ret;
Executed by:
  • libcrypto.so.1.1
10
161}-
162-
163static void SRP_user_pwd_set_gN(SRP_user_pwd *vinfo, const BIGNUM *g,-
164 const BIGNUM *N)-
165{-
166 vinfo->N = N;-
167 vinfo->g = g;-
168}
executed 10 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
10
169-
170static int SRP_user_pwd_set_ids(SRP_user_pwd *vinfo, const char *id,-
171 const char *info)-
172{-
173 if (id !=
id != ((void *)0)Description
TRUEevaluated 10 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-10
174 ((void *)0)
id != ((void *)0)Description
TRUEevaluated 10 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
 		0-10
175 && -
176 ((
((void *)0) ==..._FILE__, 214))Description
TRUEnever evaluated
FALSEevaluated 10 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
void *)0)
((void *)0) ==..._FILE__, 214))Description
TRUEnever evaluated
FALSEevaluated 10 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-10
177 == (vinfo->id = CRYPTO_strdup(id, __FILE__, 214))
((void *)0) ==..._FILE__, 214))Description
TRUEnever evaluated
FALSEevaluated 10 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
)		0-10
178 return
never executed: return 0;
 0;
never executed: return 0;
0
179 return
executed 10 times by 1 test: return (info == ((void *)0) || ((void *)0) != (vinfo->info = CRYPTO_strdup(info, __FILE__, 216)));
Executed by:
  • libcrypto.so.1.1
 (info ==
info == ((void *)0)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
executed 10 times by 1 test: return (info == ((void *)0) || ((void *)0) != (vinfo->info = CRYPTO_strdup(info, __FILE__, 216)));
Executed by:
  • libcrypto.so.1.1
2-10
180 ((void *)0)
info == ((void *)0)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
executed 10 times by 1 test: return (info == ((void *)0) || ((void *)0) != (vinfo->info = CRYPTO_strdup(info, __FILE__, 216)));
Executed by:
  • libcrypto.so.1.1
2-10
181 ||
executed 10 times by 1 test: return (info == ((void *)0) || ((void *)0) != (vinfo->info = CRYPTO_strdup(info, __FILE__, 216)));
Executed by:
  • libcrypto.so.1.1
10
182 ((
((void *)0) !=..._FILE__, 216))Description
TRUEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
void *)0)
((void *)0) !=..._FILE__, 216))Description
TRUEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
executed 10 times by 1 test: return (info == ((void *)0) || ((void *)0) != (vinfo->info = CRYPTO_strdup(info, __FILE__, 216)));
Executed by:
  • libcrypto.so.1.1
0-10
183 != (vinfo->info = CRYPTO_strdup(info, __FILE__, 216))
((void *)0) !=..._FILE__, 216))Description
TRUEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
);
executed 10 times by 1 test: return (info == ((void *)0) || ((void *)0) != (vinfo->info = CRYPTO_strdup(info, __FILE__, 216)));
Executed by:
  • libcrypto.so.1.1
0-10
184}-
185-
186static int SRP_user_pwd_set_sv(SRP_user_pwd *vinfo, const char *s,-
187 const char *v)-
188{-
189 unsigned char tmp[2500];-
190 int len;-
191-
192 vinfo->v = -
193 ((void *)0)-
194 ;-
195 vinfo->s = -
196 ((void *)0)-
197 ;-
198-
199 len = t_fromb64(tmp, sizeof(tmp), v);-
200 if (len < 0
len < 0Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
)		0-4
201 return
never executed: return 0;
 0;
never executed: return 0;
0
202 if (-
203 ((
((void *)0) ==...((void *)0) ))Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
void *)0)
((void *)0) ==...((void *)0) ))Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-4
204 == (vinfo->v = BN_bin2bn(tmp, len,
((void *)0) ==...((void *)0) ))Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-4
205 ((void *)0)
((void *)0) ==...((void *)0) ))Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-4
206 ))
((void *)0) ==...((void *)0) ))Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
)		0-4
207 return
never executed: return 0;
 0;
never executed: return 0;
0
208 len = t_fromb64(tmp, sizeof(tmp), s);-
209 if (len < 0
len < 0Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
)		0-4
210 goto
never executed: goto err;
 err;
never executed: goto err;
0
211 vinfo->s = BN_bin2bn(tmp, len, -
212 ((void *)0)-
213 );-
214 if (vinfo->s ==
vinfo->s == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-4
215 ((void *)0)
vinfo->s == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-4
216 )-
217 goto
never executed: goto err;
 err;
never executed: goto err;
0
218 return
executed 4 times by 1 test: return 1;
Executed by:
  • libcrypto.so.1.1
 1;
executed 4 times by 1 test: return 1;
Executed by:
  • libcrypto.so.1.1
4
219 err:-
220 BN_free(vinfo->v);-
221 vinfo->v = -
222 ((void *)0)-
223 ;-
224 return
never executed: return 0;
 0;
never executed: return 0;
0
225}-
226-
227static int SRP_user_pwd_set_sv_BN(SRP_user_pwd *vinfo, BIGNUM *s, BIGNUM *v)-
228{-
229 vinfo->v = v;-
230 vinfo->s = s;-
231 return
executed 6 times by 1 test: return (vinfo->s != ((void *)0) && vinfo->v != ((void *)0) );
Executed by:
  • libcrypto.so.1.1
 (vinfo->s !=
vinfo->s != ((void *)0)Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
executed 6 times by 1 test: return (vinfo->s != ((void *)0) && vinfo->v != ((void *)0) );
Executed by:
  • libcrypto.so.1.1
0-6
232 ((void *)0)
vinfo->s != ((void *)0)Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
executed 6 times by 1 test: return (vinfo->s != ((void *)0) && vinfo->v != ((void *)0) );
Executed by:
  • libcrypto.so.1.1
0-6
233 && vinfo->v !=
vinfo->v != ((void *)0)Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
executed 6 times by 1 test: return (vinfo->s != ((void *)0) && vinfo->v != ((void *)0) );
Executed by:
  • libcrypto.so.1.1
0-6
234 ((void *)0)
vinfo->v != ((void *)0)Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
executed 6 times by 1 test: return (vinfo->s != ((void *)0) && vinfo->v != ((void *)0) );
Executed by:
  • libcrypto.so.1.1
0-6
235 );
executed 6 times by 1 test: return (vinfo->s != ((void *)0) && vinfo->v != ((void *)0) );
Executed by:
  • libcrypto.so.1.1
6
236}-
237-
238static SRP_user_pwd *srp_user_pwd_dup(SRP_user_pwd *src)-
239{-
240 SRP_user_pwd *ret;-
241-
242 if (src ==
src == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-6
243 ((void *)0)
src == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-6
244 )-
245 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
246 ((void *)0)
never executed: return ((void *)0) ;
0
247 ;
never executed: return ((void *)0) ;
0
248 if ((
(ret = SRP_use...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
ret = SRP_user_pwd_new()) ==
(ret = SRP_use...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-6
249 ((void *)0)
(ret = SRP_use...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-6
250 )-
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 SRP_user_pwd_set_gN(ret, src->g, src->N);-
256 if (!SRP_user_pwd_set_ids(ret, src->id, src->info)
!SRP_user_pwd_...id, src->info)Description
TRUEnever evaluated
FALSEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-6
257 || !SRP_user_pwd_set_sv_BN(ret, BN_dup(src->s), BN_dup(src->v))
!SRP_user_pwd_...N_dup(src->v))Description
TRUEnever evaluated
FALSEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
) {		0-6
258 SRP_user_pwd_free(ret);-
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 return
executed 6 times by 1 test: return ret;
Executed by:
  • libcrypto.so.1.1
 ret;
executed 6 times by 1 test: return ret;
Executed by:
  • libcrypto.so.1.1
6
264}-
265-
266SRP_VBASE *SRP_VBASE_new(char *seed_key)-
267{-
268 SRP_VBASE *vb = CRYPTO_malloc(sizeof(*vb), __FILE__, 273);-
269-
270 if (vb ==
vb == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-6
271 ((void *)0)
vb == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-6
272 )-
273 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
274 ((void *)0)
never executed: return ((void *)0) ;
0
275 ;
never executed: return ((void *)0) ;
0
276 if ((
(vb->users_pwd...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
vb->users_pwd = sk_SRP_user_pwd_new_null()) ==
(vb->users_pwd...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-6
277 ((void *)0)
(vb->users_pwd...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-6
278 -
279 || (
(vb->gN_cache ...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
vb->gN_cache = sk_SRP_gN_cache_new_null()) ==
(vb->gN_cache ...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-6
280 ((void *)0)
(vb->gN_cache ...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-6
281 ) {-
282 CRYPTO_free(vb, __FILE__, 279);-
283 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
284 ((void *)0)
never executed: return ((void *)0) ;
0
285 ;
never executed: return ((void *)0) ;
0
286 }-
287 vb->default_g = -
288 ((void *)0)-
289 ;-
290 vb->default_N = -
291 ((void *)0)-
292 ;-
293 vb->seed_key = -
294 ((void *)0)-
295 ;-
296 if ((
(seed_key != ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
seed_key !=
(seed_key != ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-6
297 ((void *)0)
(seed_key != ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-6
298 )
(seed_key != ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
 && (
(vb->seed_key ...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
vb->seed_key = CRYPTO_strdup(seed_key, __FILE__, 285)) ==
(vb->seed_key ...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0-6
299 ((void *)0)
(vb->seed_key ...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
300 ) {-
301 sk_SRP_user_pwd_free(vb->users_pwd);-
302 sk_SRP_gN_cache_free(vb->gN_cache);-
303 CRYPTO_free(vb, __FILE__, 288);-
304 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
305 ((void *)0)
never executed: return ((void *)0) ;
0
306 ;
never executed: return ((void *)0) ;
0
307 }-
308 return
executed 6 times by 1 test: return vb;
Executed by:
  • libcrypto.so.1.1
 vb;
executed 6 times by 1 test: return vb;
Executed by:
  • libcrypto.so.1.1
6
309}-
310-
311void SRP_VBASE_free(SRP_VBASE *vb)-
312{-
313 if (!vb
!vbDescription
TRUEnever evaluated
FALSEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
)		0-6
314 return;
never executed: return;
0
315 sk_SRP_user_pwd_pop_free(vb->users_pwd, SRP_user_pwd_free);-
316 sk_SRP_gN_cache_free(vb->gN_cache);-
317 CRYPTO_free(vb->seed_key, __FILE__, 300);-
318 CRYPTO_free(vb, __FILE__, 301);-
319}
executed 6 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
6
320-
321static SRP_gN_cache *SRP_gN_new_init(const char *ch)-
322{-
323 unsigned char tmp[2500];-
324 int len;-
325 SRP_gN_cache *newgN = CRYPTO_malloc(sizeof(*newgN), __FILE__, 308);-
326-
327 if (newgN ==
newgN == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
328 ((void *)0)
newgN == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
329 )-
330 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
331 ((void *)0)
never executed: return ((void *)0) ;
0
332 ;
never executed: return ((void *)0) ;
0
333-
334 len = t_fromb64(tmp, sizeof(tmp), ch);-
335 if (len < 0
len < 0Description
TRUEnever evaluated
FALSEnever evaluated
)		0
336 goto
never executed: goto err;
 err;
never executed: goto err;
0
337-
338 if ((
(newgN->b64_bn...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
newgN->b64_bn = CRYPTO_strdup(ch, __FILE__, 317)) ==
(newgN->b64_bn...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
339 ((void *)0)
(newgN->b64_bn...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
340 )-
341 goto
never executed: goto err;
 err;
never executed: goto err;
0
342-
343 if ((
(newgN->bn = B...((void *)0) ))Description
TRUEnever evaluated
FALSEnever evaluated
newgN->bn = BN_bin2bn(tmp, len,
(newgN->bn = B...((void *)0) ))Description
TRUEnever evaluated
FALSEnever evaluated
0
344 ((void *)0)
(newgN->bn = B...((void *)0) ))Description
TRUEnever evaluated
FALSEnever evaluated
0
345 ))
(newgN->bn = B...((void *)0) ))Description
TRUEnever evaluated
FALSEnever evaluated
)		0
346 return
never executed: return newgN;
 newgN;
never executed: return newgN;
0
347-
348 CRYPTO_free(newgN->b64_bn, __FILE__, 323);-
349 err:
code before this statement never executed: err:
0
350 CRYPTO_free(newgN, __FILE__, 325);-
351 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
352 ((void *)0)
never executed: return ((void *)0) ;
0
353 ;
never executed: return ((void *)0) ;
0
354}-
355-
356static void SRP_gN_free(SRP_gN_cache *gN_cache)-
357{-
358 if (gN_cache ==
gN_cache == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
359 ((void *)0)
gN_cache == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
360 )-
361 return;
never executed: return;
0
362 CRYPTO_free(gN_cache->b64_bn, __FILE__, 333);-
363 BN_free(gN_cache->bn);-
364 CRYPTO_free(gN_cache, __FILE__, 335);-
365}
never executed: end of block
0
366-
367static SRP_gN *SRP_get_gN_by_id(const char *id, struct stack_st_SRP_gN *gN_tab)-
368{-
369 int i;-
370-
371 SRP_gN *gN;-
372 if (gN_tab !=
gN_tab != ((void *)0)Description
TRUEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
2-4
373 ((void *)0)
gN_tab != ((void *)0)Description
TRUEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
2-4
374 )-
375 for (i = 0; i < sk_SRP_gN_num(gN_tab)
i < sk_SRP_gN_num(gN_tab)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
; i++) {		0-4
376 gN = sk_SRP_gN_value(gN_tab, i);-
377 if (gN
gNDescription
TRUEnever evaluated
FALSEnever evaluated
 && (id ==
id == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
378 ((void *)0)
id == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
 		0
379 || -
380 __extension__ ({ size_t __s1_len, __s2_len; (__builtin_constant_p (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
381 gN->id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
382 ) && __builtin_constant_p (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
383 id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
384 ) && (__s1_len = __builtin_strlen (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
385 gN->id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
386 ), __s2_len = __builtin_strlen (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
387 id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
388 ), (!((size_t)(const void *)((
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
389 gN->id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
390 ) + 1) - (size_t)(const void *)(
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
391 gN->id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
392 ) == 1) || __s1_len >= 4) && (!((size_t)(const void *)((
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
393 id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
394 ) + 1) - (size_t)(const void *)(
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
395 id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
396 ) == 1) || __s2_len >= 4)) ? __builtin_strcmp (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
397 gN->id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
398 ,
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
399 id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
400 ) : (__builtin_constant_p (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
401 gN->id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
402 ) && ((size_t)(const void *)((
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
403 gN->id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
404 ) + 1) - (size_t)(const void *)(
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
405 gN->id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
406 ) == 1) && (__s1_len = __builtin_strlen (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
407 gN->id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
408 ), __s1_len < 4) ? (__builtin_constant_p (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
409 id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
410 ) && ((size_t)(const void *)((
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
411 id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
412 ) + 1) - (size_t)(const void *)(
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
413 id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
414 ) == 1) ? __builtin_strcmp (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
415 gN->id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
416 ,
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
417 id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
418 ) : (__extension__ ({ const unsigned char *__s2 = (const unsigned char *) (const char *) (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
419 id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
420 ); int __result = (((const unsigned char *) (const char *) (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
421 gN->id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
422 ))[0] - __s2[0]); if (__s1_len > 0
__s1_len > 0Description
TRUEnever evaluated
FALSEnever evaluated
 && __result == 0
__result == 0Description
TRUEnever evaluated
FALSEnever evaluated
) { __result = (((const unsigned char *) (const char *) (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
423 gN->id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
424 ))[1] - __s2[1]); if (__s1_len > 1
__s1_len > 1Description
TRUEnever evaluated
FALSEnever evaluated
 && __result == 0
__result == 0Description
TRUEnever evaluated
FALSEnever evaluated
) { __result = (((const unsigned char *) (const char *) (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
425 gN->id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
426 ))[2] - __s2[2]); if (__s1_len > 2
__s1_len > 2Description
TRUEnever evaluated
FALSEnever evaluated
 && __result == 0
__result == 0Description
TRUEnever evaluated
FALSEnever evaluated
) __result = (((const unsigned char *) (const char *) (
never executed: __result = (((const unsigned char *) (const char *) ( gN->id ))[3] - __s2[3]);
0
427 gN->id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
never executed: __result = (((const unsigned char *) (const char *) ( gN->id ))[3] - __s2[3]);
0
428 ))[3] - __s2[3]); } } __result; }))) : (__builtin_constant_p (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
429 id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
430 ) && ((size_t)(const void *)((
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
431 id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
432 ) + 1) - (size_t)(const void *)(
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
433 id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
434 ) == 1) && (__s2_len = __builtin_strlen (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
435 id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
436 ), __s2_len < 4) ? (__builtin_constant_p (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
437 gN->id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
438 ) && ((size_t)(const void *)((
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
439 gN->id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
440 ) + 1) - (size_t)(const void *)(
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
441 gN->id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
442 ) == 1) ? __builtin_strcmp (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
443 gN->id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
444 ,
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
445 id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
446 ) : -(__extension__ ({ const unsigned char *__s2 = (const unsigned char *) (const char *) (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
447 gN->id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
448 ); int __result = (((const unsigned char *) (const char *) (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
449 id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
450 ))[0] - __s2[0]); if (__s2_len > 0
__s2_len > 0Description
TRUEnever evaluated
FALSEnever evaluated
 && __result == 0
__result == 0Description
TRUEnever evaluated
FALSEnever evaluated
) { __result = (((const unsigned char *) (const char *) (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
451 id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
452 ))[1] - __s2[1]); if (__s2_len > 1
__s2_len > 1Description
TRUEnever evaluated
FALSEnever evaluated
 && __result == 0
__result == 0Description
TRUEnever evaluated
FALSEnever evaluated
) { __result = (((const unsigned char *) (const char *) (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
453 id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
454 ))[2] - __s2[2]); if (__s2_len > 2
__s2_len > 2Description
TRUEnever evaluated
FALSEnever evaluated
 && __result == 0
__result == 0Description
TRUEnever evaluated
FALSEnever evaluated
) __result = (((const unsigned char *) (const char *) (
never executed: __result = (((const unsigned char *) (const char *) ( id ))[3] - __s2[3]);
0
455 id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
never executed: __result = (((const unsigned char *) (const char *) ( id ))[3] - __s2[3]);
0
456 ))[3] - __s2[3]); } } __result; }))) : __builtin_strcmp (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
457 gN->id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
458 ,
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
459 id
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
460 )))); })
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
461 == 0
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
))		0
462 return
never executed: return gN;
 gN;
never executed: return gN;
0
463 }
never executed: end of block
0
464-
465 return
executed 6 times by 1 test: return SRP_get_default_gN(id);
Executed by:
  • libcrypto.so.1.1
 SRP_get_default_gN(id);
executed 6 times by 1 test: return SRP_get_default_gN(id);
Executed by:
  • libcrypto.so.1.1
6
466}-
467-
468static BIGNUM *SRP_gN_place_bn(struct stack_st_SRP_gN_cache *gN_cache, char *ch)-
469{-
470 int i;-
471 if (gN_cache ==
gN_cache == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
472 ((void *)0)
gN_cache == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
473 )-
474 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
475 ((void *)0)
never executed: return ((void *)0) ;
0
476 ;
never executed: return ((void *)0) ;
0
477-
478-
479 for (i = 0; i < sk_SRP_gN_cache_num(gN_cache)
i < sk_SRP_gN_..._num(gN_cache)Description
TRUEnever evaluated
FALSEnever evaluated
; i++) {		0
480 SRP_gN_cache *cache = sk_SRP_gN_cache_value(gN_cache, i);-
481 if (-
482 __extension__ ({ size_t __s1_len, __s2_len; (__builtin_constant_p (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
483 cache->b64_bn
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
484 ) && __builtin_constant_p (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
485 ch
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
486 ) && (__s1_len = __builtin_strlen (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
487 cache->b64_bn
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
488 ), __s2_len = __builtin_strlen (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
489 ch
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
490 ), (!((size_t)(const void *)((
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
491 cache->b64_bn
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
492 ) + 1) - (size_t)(const void *)(
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
493 cache->b64_bn
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
494 ) == 1) || __s1_len >= 4) && (!((size_t)(const void *)((
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
495 ch
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
496 ) + 1) - (size_t)(const void *)(
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
497 ch
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
498 ) == 1) || __s2_len >= 4)) ? __builtin_strcmp (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
499 cache->b64_bn
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
500 ,
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
501 ch
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
502 ) : (__builtin_constant_p (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
503 cache->b64_bn
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
504 ) && ((size_t)(const void *)((
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
505 cache->b64_bn
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
506 ) + 1) - (size_t)(const void *)(
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
507 cache->b64_bn
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
508 ) == 1) && (__s1_len = __builtin_strlen (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
509 cache->b64_bn
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
510 ), __s1_len < 4) ? (__builtin_constant_p (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
511 ch
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
512 ) && ((size_t)(const void *)((
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
513 ch
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
514 ) + 1) - (size_t)(const void *)(
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
515 ch
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
516 ) == 1) ? __builtin_strcmp (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
517 cache->b64_bn
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
518 ,
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
519 ch
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
520 ) : (__extension__ ({ const unsigned char *__s2 = (const unsigned char *) (const char *) (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
521 ch
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
522 ); int __result = (((const unsigned char *) (const char *) (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
523 cache->b64_bn
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
524 ))[0] - __s2[0]); if (__s1_len > 0
__s1_len > 0Description
TRUEnever evaluated
FALSEnever evaluated
 && __result == 0
__result == 0Description
TRUEnever evaluated
FALSEnever evaluated
) { __result = (((const unsigned char *) (const char *) (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
525 cache->b64_bn
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
526 ))[1] - __s2[1]); if (__s1_len > 1
__s1_len > 1Description
TRUEnever evaluated
FALSEnever evaluated
 && __result == 0
__result == 0Description
TRUEnever evaluated
FALSEnever evaluated
) { __result = (((const unsigned char *) (const char *) (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
527 cache->b64_bn
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
528 ))[2] - __s2[2]); if (__s1_len > 2
__s1_len > 2Description
TRUEnever evaluated
FALSEnever evaluated
 && __result == 0
__result == 0Description
TRUEnever evaluated
FALSEnever evaluated
) __result = (((const unsigned char *) (const char *) (
never executed: __result = (((const unsigned char *) (const char *) ( cache->b64_bn ))[3] - __s2[3]);
0
529 cache->b64_bn
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
never executed: __result = (((const unsigned char *) (const char *) ( cache->b64_bn ))[3] - __s2[3]);
0
530 ))[3] - __s2[3]); } } __result; }))) : (__builtin_constant_p (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
531 ch
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
532 ) && ((size_t)(const void *)((
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
533 ch
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
534 ) + 1) - (size_t)(const void *)(
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
535 ch
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
536 ) == 1) && (__s2_len = __builtin_strlen (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
537 ch
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
538 ), __s2_len < 4) ? (__builtin_constant_p (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
539 cache->b64_bn
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
540 ) && ((size_t)(const void *)((
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
541 cache->b64_bn
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
542 ) + 1) - (size_t)(const void *)(
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
543 cache->b64_bn
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
544 ) == 1) ? __builtin_strcmp (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
545 cache->b64_bn
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
546 ,
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
547 ch
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
548 ) : -(__extension__ ({ const unsigned char *__s2 = (const unsigned char *) (const char *) (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
549 cache->b64_bn
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
550 ); int __result = (((const unsigned char *) (const char *) (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
551 ch
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
552 ))[0] - __s2[0]); if (__s2_len > 0
__s2_len > 0Description
TRUEnever evaluated
FALSEnever evaluated
 && __result == 0
__result == 0Description
TRUEnever evaluated
FALSEnever evaluated
) { __result = (((const unsigned char *) (const char *) (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
553 ch
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
554 ))[1] - __s2[1]); if (__s2_len > 1
__s2_len > 1Description
TRUEnever evaluated
FALSEnever evaluated
 && __result == 0
__result == 0Description
TRUEnever evaluated
FALSEnever evaluated
) { __result = (((const unsigned char *) (const char *) (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
555 ch
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
556 ))[2] - __s2[2]); if (__s2_len > 2
__s2_len > 2Description
TRUEnever evaluated
FALSEnever evaluated
 && __result == 0
__result == 0Description
TRUEnever evaluated
FALSEnever evaluated
) __result = (((const unsigned char *) (const char *) (
never executed: __result = (((const unsigned char *) (const char *) ( ch ))[3] - __s2[3]);
0
557 ch
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
never executed: __result = (((const unsigned char *) (const char *) ( ch ))[3] - __s2[3]);
0
558 ))[3] - __s2[3]); } } __result; }))) : __builtin_strcmp (
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
559 cache->b64_bn
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
560 ,
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
561 ch
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
562 )))); })
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
0
563 == 0
__extension__ ... )))); }) == 0Description
TRUEnever evaluated
FALSEnever evaluated
)		0
564 return
never executed: return cache->bn;
 cache->bn;
never executed: return cache->bn;
0
565 }
never executed: end of block
0
566 {-
567 SRP_gN_cache *newgN = SRP_gN_new_init(ch);-
568 if (newgN
newgNDescription
TRUEnever evaluated
FALSEnever evaluated
) {		0
569 if (sk_SRP_gN_cache_insert(gN_cache, newgN, 0) > 0
sk_SRP_gN_cach... newgN, 0) > 0Description
TRUEnever evaluated
FALSEnever evaluated
)		0
570 return
never executed: return newgN->bn;
 newgN->bn;
never executed: return newgN->bn;
0
571 SRP_gN_free(newgN);-
572 }
never executed: end of block
0
573 }-
574 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
575 ((void *)0)
never executed: return ((void *)0) ;
0
576 ;
never executed: return ((void *)0) ;
0
577}-
578-
579-
580-
581-
582-
583-
584-
585int SRP_VBASE_init(SRP_VBASE *vb, char *verifier_file)-
586{-
587 int error_code;-
588 struct stack_st_SRP_gN *SRP_gN_tab = sk_SRP_gN_new_null();-
589 char *last_index = -
590 ((void *)0)-
591 ;-
592 int i;-
593 char **pp;-
594-
595 SRP_gN *gN = -
596 ((void *)0)-
597 ;-
598 SRP_user_pwd *user_pwd = -
599 ((void *)0)-
600 ;-
601-
602 TXT_DB *tmpdb = -
603 ((void *)0)-
604 ;-
605 BIO *in = BIO_new(BIO_s_file());-
606-
607 error_code = 3;-
608-
609 if (in ==
in == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-4
610 ((void *)0)
in == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
 		0-4
611 || (
(int)BIO_ctrl(...er_file)) <= 0Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
int)BIO_ctrl(in,108, 0x01|0x02,(char *)(verifier_file)) <= 0
(int)BIO_ctrl(...er_file)) <= 0Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
)		0-4
612 goto
never executed: goto err;
 err;
never executed: goto err;
0
613-
614 error_code = 1;-
615-
616 if ((
(tmpdb = TXT_D...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
tmpdb = TXT_DB_read(in, 6)) ==
(tmpdb = TXT_D...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-4
617 ((void *)0)
(tmpdb = TXT_D...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-4
618 )-
619 goto
never executed: goto err;
 err;
never executed: goto err;
0
620-
621 error_code = 4;-
622-
623 if (vb->seed_key
vb->seed_keyDescription
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
) {		0-4
624 last_index = SRP_get_default_gN(-
625 ((void *)0)-
626 )->id;-
627 }
never executed: end of block
0
628 for (i = 0; i < sk_OPENSSL_PSTRING_num(tmpdb->data)
i < sk_OPENSSL...m(tmpdb->data)Description
TRUEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
; i++) {		4
629 pp = sk_OPENSSL_PSTRING_value(tmpdb->data, i);-
630 if (pp[0][0] == 'I'
pp[0][0] == 'I'Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
) {		0-4
631-
632-
633-
634-
635 if ((
(gN = CRYPTO_m...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
gN = CRYPTO_malloc(sizeof(*gN), __FILE__, 418)) ==
(gN = CRYPTO_m...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
636 ((void *)0)
(gN = CRYPTO_m...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
637 )-
638 goto
never executed: goto err;
 err;
never executed: goto err;
0
639-
640 if ((
(gN->id = CRYP...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
gN->id = CRYPTO_strdup(pp[3], __FILE__, 421)) ==
(gN->id = CRYP...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
641 ((void *)0)
(gN->id = CRYP...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
642 -
643 || (
(gN->N = SRP_g...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
gN->N = SRP_gN_place_bn(vb->gN_cache, pp[1]))
(gN->N = SRP_g...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
644 ==
(gN->N = SRP_g...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
645 ((void *)0)
(gN->N = SRP_g...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
646 -
647 || (
(gN->g = SRP_g...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
gN->g = SRP_gN_place_bn(vb->gN_cache, pp[2]))
(gN->g = SRP_g...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
648 ==
(gN->g = SRP_g...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
649 ((void *)0)
(gN->g = SRP_g...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
650 -
651 || sk_SRP_gN_insert(SRP_gN_tab, gN, 0) == 0
sk_SRP_gN_inse...b, gN, 0) == 0Description
TRUEnever evaluated
FALSEnever evaluated
)		0
652 goto
never executed: goto err;
 err;
never executed: goto err;
0
653-
654 gN = -
655 ((void *)0)-
656 ;-
657-
658 if (vb->seed_key !=
vb->seed_key != ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
659 ((void *)0)
vb->seed_key != ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
660 ) {-
661 last_index = pp[3];-
662 }
never executed: end of block
0
663 }
never executed: end of block
 else if (pp[0][0] == 'V'
pp[0][0] == 'V'Description
TRUEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
) {		0-4
664-
665 const SRP_gN *lgN;-
666-
667 if ((
(lgN = SRP_get...!= ((void *)0)Description
TRUEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
lgN = SRP_get_gN_by_id(pp[4], SRP_gN_tab)) !=
(lgN = SRP_get...!= ((void *)0)Description
TRUEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-4
668 ((void *)0)
(lgN = SRP_get...!= ((void *)0)Description
TRUEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-4
669 ) {-
670 error_code = 4;-
671 if ((
(user_pwd = SR...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
user_pwd = SRP_user_pwd_new()) ==
(user_pwd = SR...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-4
672 ((void *)0)
(user_pwd = SR...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-4
673 )-
674 goto
never executed: goto err;
 err;
never executed: goto err;
0
675-
676 SRP_user_pwd_set_gN(user_pwd, lgN->g, lgN->N);-
677 if (!SRP_user_pwd_set_ids
!SRP_user_pwd_... pp[3], pp[5])Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-4
678 (user_pwd, pp[3], pp[5])
!SRP_user_pwd_... pp[3], pp[5])Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
)		0-4
679 goto
never executed: goto err;
 err;
never executed: goto err;
0
680-
681 error_code = 2;-
682 if (!SRP_user_pwd_set_sv
!SRP_user_pwd_... pp[2], pp[1])Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-4
683 (user_pwd, pp[2], pp[1])
!SRP_user_pwd_... pp[2], pp[1])Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
)		0-4
684 goto
never executed: goto err;
 err;
never executed: goto err;
0
685-
686 if (sk_SRP_user_pwd_insert(vb->users_pwd, user_pwd, 0) == 0
sk_SRP_user_pw...r_pwd, 0) == 0Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
)		0-4
687 goto
never executed: goto err;
 err;
never executed: goto err;
0
688 user_pwd = -
689 ((void *)0)-
690 ;-
691 }
executed 4 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
4
692 }
executed 4 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
4
693 }
executed 4 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
4
694-
695 if (last_index !=
last_index != ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-4
696 ((void *)0)
last_index != ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-4
697 ) {-
698-
699-
700 if (((
((gN = SRP_get... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
gN = SRP_get_gN_by_id(last_index, SRP_gN_tab)) ==
((gN = SRP_get... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
701 ((void *)0)
((gN = SRP_get... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
702 )
((gN = SRP_get... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
) {		0
703 error_code = 2;-
704 goto
never executed: goto err;
 err;
never executed: goto err;
0
705 }-
706 vb->default_g = gN->g;-
707 vb->default_N = gN->N;-
708 gN = -
709 ((void *)0)-
710 ;-
711 }
never executed: end of block
0
712 error_code = 0;-
713-
714 err:
code before this statement executed 4 times by 1 test: err:
Executed by:
  • libcrypto.so.1.1
4
715-
716-
717-
718-
719-
720 if (gN !=
gN != ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-4
721 ((void *)0)
gN != ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 4 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-4
722 ) {-
723 CRYPTO_free(gN->id, __FILE__, 480);-
724 CRYPTO_free(gN, __FILE__, 481);-
725 }
never executed: end of block
0
726-
727 SRP_user_pwd_free(user_pwd);-
728-
729 TXT_DB_free(tmpdb);-
730 BIO_free_all(in);-
731-
732 sk_SRP_gN_free(SRP_gN_tab);-
733-
734 return
executed 4 times by 1 test: return error_code;
Executed by:
  • libcrypto.so.1.1
 error_code;
executed 4 times by 1 test: return error_code;
Executed by:
  • libcrypto.so.1.1
4
735-
736}-
737-
738static SRP_user_pwd *find_user(SRP_VBASE *vb, char *username)-
739{-
740 int i;-
741 SRP_user_pwd *user;-
742-
743 if (vb ==
vb == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-6
744 ((void *)0)
vb == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-6
745 )-
746 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
747 ((void *)0)
never executed: return ((void *)0) ;
0
748 ;
never executed: return ((void *)0) ;
0
749-
750 for (i = 0; i < sk_SRP_user_pwd_num(vb->users_pwd)
i < sk_SRP_use...vb->users_pwd)Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
; i++) {		0-6
751 user = sk_SRP_user_pwd_value(vb->users_pwd, i);-
752 if (-
753 __extension__ ({ size_t __s1_len, __s2_len; (__builtin_constant_p (
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
754 user->id
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
755 ) && __builtin_constant_p (
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
756 username
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
757 ) && (__s1_len = __builtin_strlen (
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
758 user->id
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
759 ), __s2_len = __builtin_strlen (
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
760 username
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
761 ), (!((size_t)(const void *)((
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
762 user->id
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
763 ) + 1) - (size_t)(const void *)(
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
764 user->id
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
765 ) == 1) || __s1_len >= 4) && (!((size_t)(const void *)((
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
766 username
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
767 ) + 1) - (size_t)(const void *)(
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
768 username
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
769 ) == 1) || __s2_len >= 4)) ? __builtin_strcmp (
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
770 user->id
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
771 ,
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
772 username
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
773 ) : (__builtin_constant_p (
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
774 user->id
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
775 ) && ((size_t)(const void *)((
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
776 user->id
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
777 ) + 1) - (size_t)(const void *)(
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
778 user->id
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
779 ) == 1) && (__s1_len = __builtin_strlen (
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
780 user->id
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
781 ), __s1_len < 4) ? (__builtin_constant_p (
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
782 username
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
783 ) && ((size_t)(const void *)((
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
784 username
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
785 ) + 1) - (size_t)(const void *)(
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
786 username
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
787 ) == 1) ? __builtin_strcmp (
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
788 user->id
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
789 ,
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
790 username
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
791 ) : (__extension__ ({ const unsigned char *__s2 = (const unsigned char *) (const char *) (
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
792 username
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
793 ); int __result = (((const unsigned char *) (const char *) (
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
794 user->id
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
795 ))[0] - __s2[0]); if (__s1_len > 0
__s1_len > 0Description
TRUEnever evaluated
FALSEnever evaluated
 && __result == 0
__result == 0Description
TRUEnever evaluated
FALSEnever evaluated
) { __result = (((const unsigned char *) (const char *) (
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
796 user->id
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
797 ))[1] - __s2[1]); if (__s1_len > 1
__s1_len > 1Description
TRUEnever evaluated
FALSEnever evaluated
 && __result == 0
__result == 0Description
TRUEnever evaluated
FALSEnever evaluated
) { __result = (((const unsigned char *) (const char *) (
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
798 user->id
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
799 ))[2] - __s2[2]); if (__s1_len > 2
__s1_len > 2Description
TRUEnever evaluated
FALSEnever evaluated
 && __result == 0
__result == 0Description
TRUEnever evaluated
FALSEnever evaluated
) __result = (((const unsigned char *) (const char *) (
never executed: __result = (((const unsigned char *) (const char *) ( user->id ))[3] - __s2[3]);
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
800 user->id
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
never executed: __result = (((const unsigned char *) (const char *) ( user->id ))[3] - __s2[3]);
0-6
801 ))[3] - __s2[3]);
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
never executed: __result = (((const unsigned char *) (const char *) ( user->id ))[3] - __s2[3]);
 }
never executed: end of block
 }
never executed: end of block
 __result; }))) : (__builtin_constant_p (
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
802 username
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
803 ) && ((size_t)(const void *)((
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
804 username
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
805 ) + 1) - (size_t)(const void *)(
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
806 username
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
807 ) == 1) && (__s2_len = __builtin_strlen (
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
808 username
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
809 ), __s2_len < 4) ? (__builtin_constant_p (
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
810 user->id
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
811 ) && ((size_t)(const void *)((
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
812 user->id
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
813 ) + 1) - (size_t)(const void *)(
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
814 user->id
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
815 ) == 1) ? __builtin_strcmp (
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
816 user->id
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
817 ,
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
818 username
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
819 ) : -(__extension__ ({ const unsigned char *__s2 = (const unsigned char *) (const char *) (
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
820 user->id
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
821 ); int __result = (((const unsigned char *) (const char *) (
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
822 username
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
823 ))[0] - __s2[0]); if (__s2_len > 0
__s2_len > 0Description
TRUEnever evaluated
FALSEnever evaluated
 && __result == 0
__result == 0Description
TRUEnever evaluated
FALSEnever evaluated
) { __result = (((const unsigned char *) (const char *) (
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
824 username
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
825 ))[1] - __s2[1]); if (__s2_len > 1
__s2_len > 1Description
TRUEnever evaluated
FALSEnever evaluated
 && __result == 0
__result == 0Description
TRUEnever evaluated
FALSEnever evaluated
) { __result = (((const unsigned char *) (const char *) (
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
826 username
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
827 ))[2] - __s2[2]); if (__s2_len > 2
__s2_len > 2Description
TRUEnever evaluated
FALSEnever evaluated
 && __result == 0
__result == 0Description
TRUEnever evaluated
FALSEnever evaluated
) __result = (((const unsigned char *) (const char *) (
never executed: __result = (((const unsigned char *) (const char *) ( username ))[3] - __s2[3]);
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
828 username
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
never executed: __result = (((const unsigned char *) (const char *) ( username ))[3] - __s2[3]);
0-6
829 ))[3] - __s2[3]);
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
never executed: __result = (((const unsigned char *) (const char *) ( username ))[3] - __s2[3]);
 }
never executed: end of block
 }
never executed: end of block
 __result; }))) : __builtin_strcmp (
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
830 user->id
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
831 ,
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
832 username
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
833 )))); })
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
834 == 0
__extension__ ... )))); }) == 0Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
)		0-6
835 return
executed 6 times by 1 test: return user;
Executed by:
  • libcrypto.so.1.1
 user;
executed 6 times by 1 test: return user;
Executed by:
  • libcrypto.so.1.1
6
836 }
never executed: end of block
0
837-
838 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
839 ((void *)0)
never executed: return ((void *)0) ;
0
840 ;
never executed: return ((void *)0) ;
0
841}-
842SRP_user_pwd *SRP_VBASE_get_by_user(SRP_VBASE *vb, char *username)-
843{-
844 return
never executed: return find_user(vb, username);
 find_user(vb, username);
never executed: return find_user(vb, username);
0
845}-
846-
847-
848-
849-
850-
851-
852SRP_user_pwd *SRP_VBASE_get1_by_user(SRP_VBASE *vb, char *username)-
853{-
854 SRP_user_pwd *user;-
855 unsigned char digv[20];-
856 unsigned char digs[20];-
857 EVP_MD_CTX *ctxt = -
858 ((void *)0)-
859 ;-
860-
861 if (vb ==
vb == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-6
862 ((void *)0)
vb == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-6
863 )-
864 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
865 ((void *)0)
never executed: return ((void *)0) ;
0
866 ;
never executed: return ((void *)0) ;
0
867-
868 if ((
(user = find_u...!= ((void *)0)Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
user = find_user(vb, username)) !=
(user = find_u...!= ((void *)0)Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
869 ((void *)0)
(user = find_u...!= ((void *)0)Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-6
870 )-
871 return
executed 6 times by 1 test: return srp_user_pwd_dup(user);
Executed by:
  • libcrypto.so.1.1
 srp_user_pwd_dup(user);
executed 6 times by 1 test: return srp_user_pwd_dup(user);
Executed by:
  • libcrypto.so.1.1
6
872-
873 if ((
(vb->seed_key == ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
vb->seed_key ==
(vb->seed_key == ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
874 ((void *)0)
(vb->seed_key == ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
875 )
(vb->seed_key == ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
 ||		0
876 (
(vb->default_g... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
vb->default_g ==
(vb->default_g... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
877 ((void *)0)
(vb->default_g... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
878 )
(vb->default_g... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
 || (
(vb->default_N... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
vb->default_N ==
(vb->default_N... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
879 ((void *)0)
(vb->default_N... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
880 )
(vb->default_N... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
)		0
881 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
882 ((void *)0)
never executed: return ((void *)0) ;
0
883 ;
never executed: return ((void *)0) ;
0
884-
885-
886-
887 if ((
(user = SRP_us...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
user = SRP_user_pwd_new()) ==
(user = SRP_us...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
888 ((void *)0)
(user = SRP_us...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
889 )-
890 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
891 ((void *)0)
never executed: return ((void *)0) ;
0
892 ;
never executed: return ((void *)0) ;
0
893-
894 SRP_user_pwd_set_gN(user, vb->default_g, vb->default_N);-
895-
896 if (!SRP_user_pwd_set_ids(user, username,
!SRP_user_pwd_... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
897 ((void *)0)
!SRP_user_pwd_... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
898 )
!SRP_user_pwd_... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
)		0
899 goto
never executed: goto err;
 err;
never executed: goto err;
0
900-
901 if (RAND_priv_bytes(digv, 20) <= 0
RAND_priv_bytes(digv, 20) <= 0Description
TRUEnever evaluated
FALSEnever evaluated
)		0
902 goto
never executed: goto err;
 err;
never executed: goto err;
0
903 ctxt = EVP_MD_CTX_new();-
904 if (ctxt ==
ctxt == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
905 ((void *)0)
ctxt == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
906 -
907 || !EVP_DigestInit_ex(ctxt, EVP_sha1(),
!EVP_DigestIni... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
908 ((void *)0)
!EVP_DigestIni... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
909 )
!EVP_DigestIni... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
910 || !EVP_DigestUpdate(ctxt, vb->seed_key, strlen(vb->seed_key))
!EVP_DigestUpd...vb->seed_key))Description
TRUEnever evaluated
FALSEnever evaluated
0
911 || !EVP_DigestUpdate(ctxt, username, strlen(username))
!EVP_DigestUpd...len(username))Description
TRUEnever evaluated
FALSEnever evaluated
0
912 || !EVP_DigestFinal_ex(ctxt, digs,
!EVP_DigestFin... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
913 ((void *)0)
!EVP_DigestFin... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
914 )
!EVP_DigestFin... ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
)		0
915 goto
never executed: goto err;
 err;
never executed: goto err;
0
916 EVP_MD_CTX_free(ctxt);-
917 ctxt = -
918 ((void *)0)-
919 ;-
920 if (SRP_user_pwd_set_sv_BN(user,
SRP_user_pwd_s...((void *)0) ))Description
TRUEnever evaluated
FALSEnever evaluated
0
921 BN_bin2bn(digs, 20,
SRP_user_pwd_s...((void *)0) ))Description
TRUEnever evaluated
FALSEnever evaluated
0
922 ((void *)0)
SRP_user_pwd_s...((void *)0) ))Description
TRUEnever evaluated
FALSEnever evaluated
0
923 ),
SRP_user_pwd_s...((void *)0) ))Description
TRUEnever evaluated
FALSEnever evaluated
0
924 BN_bin2bn(digv, 20,
SRP_user_pwd_s...((void *)0) ))Description
TRUEnever evaluated
FALSEnever evaluated
0
925 ((void *)0)
SRP_user_pwd_s...((void *)0) ))Description
TRUEnever evaluated
FALSEnever evaluated
0
926 ))
SRP_user_pwd_s...((void *)0) ))Description
TRUEnever evaluated
FALSEnever evaluated
)		0
927 return
never executed: return user;
 user;
never executed: return user;
0
928-
929 err:
code before this statement never executed: err:
0
930 EVP_MD_CTX_free(ctxt);-
931 SRP_user_pwd_free(user);-
932 return
never executed: return ((void *)0) ;
never executed: return ((void *)0) ;
0
933 ((void *)0)
never executed: return ((void *)0) ;
0
934 ;
never executed: return ((void *)0) ;
0
935}-
936-
937-
938-
939-
940char *SRP_create_verifier(const char *user, const char *pass, char **salt,-
941 char **verifier, const char *N, const char *g)-
942{-
943 int len;-
944 char *result = -
945 ((void *)0)-
946 , *vf = -
947 ((void *)0)-
948 ;-
949 const BIGNUM *N_bn = -
950 ((void *)0)-
951 , *g_bn = -
952 ((void *)0)-
953 ;-
954 BIGNUM *N_bn_alloc = -
955 ((void *)0)-
956 , *g_bn_alloc = -
957 ((void *)0)-
958 , *s = -
959 ((void *)0)-
960 , *v = -
961 ((void *)0)-
962 ;-
963 unsigned char tmp[2500];-
964 unsigned char tmp2[2500];-
965 char *defgNid = -
966 ((void *)0)-
967 ;-
968 int vfsize = 0;-
969-
970 if ((
(user == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
user ==
(user == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-2
971 ((void *)0)
(user == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-2
972 )
(user == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
 ||		0-2
973 (
(pass == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
pass ==
(pass == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-2
974 ((void *)0)
(pass == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-2
975 )
(pass == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
 || (
(salt == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
salt ==
(salt == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-2
976 ((void *)0)
(salt == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-2
977 )
(salt == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
 || (
(verifier == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
verifier ==
(verifier == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-2
978 ((void *)0)
(verifier == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-2
979 )
(verifier == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
)		0-2
980 goto
never executed: goto err;
 err;
never executed: goto err;
0
981-
982 if (N
NDescription
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
) {		0-2
983 if ((
(len = t_fromb...tmp), N)) <= 0Description
TRUEnever evaluated
FALSEnever evaluated
len = t_fromb64(tmp, sizeof(tmp), N)) <= 0
(len = t_fromb...tmp), N)) <= 0Description
TRUEnever evaluated
FALSEnever evaluated
)		0
984 goto
never executed: goto err;
 err;
never executed: goto err;
0
985 N_bn_alloc = BN_bin2bn(tmp, len, -
986 ((void *)0)-
987 );-
988 N_bn = N_bn_alloc;-
989 if ((
(len = t_fromb...tmp) ,g)) <= 0Description
TRUEnever evaluated
FALSEnever evaluated
len = t_fromb64(tmp, sizeof(tmp) ,g)) <= 0
(len = t_fromb...tmp) ,g)) <= 0Description
TRUEnever evaluated
FALSEnever evaluated
)		0
990 goto
never executed: goto err;
 err;
never executed: goto err;
0
991 g_bn_alloc = BN_bin2bn(tmp, len, -
992 ((void *)0)-
993 );-
994 g_bn = g_bn_alloc;-
995 defgNid = "*";-
996 }
never executed: end of block
 else {		0
997 SRP_gN *gN = SRP_get_gN_by_id(g, -
998 ((void *)0)-
999 );-
1000 if (gN ==
gN == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-2
1001 ((void *)0)
gN == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-2
1002 )-
1003 goto
never executed: goto err;
 err;
never executed: goto err;
0
1004 N_bn = gN->N;-
1005 g_bn = gN->g;-
1006 defgNid = gN->id;-
1007 }
executed 2 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
2
1008-
1009 if (*
*salt == ((void *)0)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
salt ==
*salt == ((void *)0)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-2
1010 ((void *)0)
*salt == ((void *)0)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-2
1011 ) {-
1012 if (RAND_bytes(tmp2, 20) <= 0
RAND_bytes(tmp2, 20) <= 0Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
)		0-2
1013 goto
never executed: goto err;
 err;
never executed: goto err;
0
1014-
1015 s = BN_bin2bn(tmp2, 20, -
1016 ((void *)0)-
1017 );-
1018 }
executed 2 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
 else {		2
1019 if ((
(len = t_fromb..., *salt)) <= 0Description
TRUEnever evaluated
FALSEnever evaluated
len = t_fromb64(tmp2, sizeof(tmp2), *salt)) <= 0
(len = t_fromb..., *salt)) <= 0Description
TRUEnever evaluated
FALSEnever evaluated
)		0
1020 goto
never executed: goto err;
 err;
never executed: goto err;
0
1021 s = BN_bin2bn(tmp2, len, -
1022 ((void *)0)-
1023 );-
1024 }
never executed: end of block
0
1025-
1026 if (!SRP_create_verifier_BN(user, pass, &s, &v, N_bn, g_bn)
!SRP_create_ve...v, N_bn, g_bn)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
)		0-2
1027 goto
never executed: goto err;
 err;
never executed: goto err;
0
1028-
1029 BN_bn2bin(v, tmp);-
1030 vfsize = ((BN_num_bits(v)+7)/8) * 2;-
1031 if (((
((vf = CRYPTO_... ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
vf = CRYPTO_malloc(vfsize, __FILE__, 632)) ==
((vf = CRYPTO_... ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-2
1032 ((void *)0)
((vf = CRYPTO_... ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-2
1033 )
((vf = CRYPTO_... ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
)		0-2
1034 goto
never executed: goto err;
 err;
never executed: goto err;
0
1035 t_tob64(vf, tmp, ((BN_num_bits(v)+7)/8));-
1036-
1037 if (*
*salt == ((void *)0)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
salt ==
*salt == ((void *)0)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-2
1038 ((void *)0)
*salt == ((void *)0)Description
TRUEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-2
1039 ) {-
1040 char *tmp_salt;-
1041-
1042 if ((
(tmp_salt = CR...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
tmp_salt = CRYPTO_malloc(20 * 2, __FILE__, 639)) ==
(tmp_salt = CR...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-2
1043 ((void *)0)
(tmp_salt = CR...== ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 2 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-2
1044 ) {-
1045 goto
never executed: goto err;
 err;
never executed: goto err;
0
1046 }-
1047 t_tob64(tmp_salt, tmp2, 20);-
1048 *salt = tmp_salt;-
1049 }
executed 2 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
2
1050-
1051 *verifier = vf;-
1052 vf = -
1053 ((void *)0)-
1054 ;-
1055 result = defgNid;-
1056-
1057 err:
code before this statement executed 2 times by 1 test: err:
Executed by:
  • libcrypto.so.1.1
2
1058 BN_free(N_bn_alloc);-
1059 BN_free(g_bn_alloc);-
1060 CRYPTO_clear_free(vf, vfsize, __FILE__, 653);-
1061 BN_clear_free(s);-
1062 BN_clear_free(v);-
1063 return
executed 2 times by 1 test: return result;
Executed by:
  • libcrypto.so.1.1
 result;
executed 2 times by 1 test: return result;
Executed by:
  • libcrypto.so.1.1
2
1064}-
1065int SRP_create_verifier_BN(const char *user, const char *pass, BIGNUM **salt,-
1066 BIGNUM **verifier, const BIGNUM *N,-
1067 const BIGNUM *g)-
1068{-
1069 int result = 0;-
1070 BIGNUM *x = -
1071 ((void *)0)-
1072 ;-
1073 BN_CTX *bn_ctx = BN_CTX_new();-
1074 unsigned char tmp2[2500];-
1075 BIGNUM *salttmp = -
1076 ((void *)0)-
1077 ;-
1078-
1079 if ((
(user == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
user ==
(user == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-11
1080 ((void *)0)
(user == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-11
1081 )
(user == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
 ||		0-11
1082 (
(pass == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
pass ==
(pass == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-11
1083 ((void *)0)
(pass == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-11
1084 )
(pass == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
 ||		0-11
1085 (
(salt == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
salt ==
(salt == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-11
1086 ((void *)0)
(salt == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-11
1087 )
(salt == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
 ||		0-11
1088 (
(verifier == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
verifier ==
(verifier == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-11
1089 ((void *)0)
(verifier == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-11
1090 )
(verifier == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
 || (
(N == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
N ==
(N == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-11
1091 ((void *)0)
(N == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-11
1092 )
(N == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
 || (
(g == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
g ==
(g == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-11
1093 ((void *)0)
(g == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-11
1094 )
(g == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
 || (
(bn_ctx == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
bn_ctx ==
(bn_ctx == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-11
1095 ((void *)0)
(bn_ctx == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-11
1096 )
(bn_ctx == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
)		0-11
1097 goto
never executed: goto err;
 err;
never executed: goto err;
0
1098-
1099 if (*
*salt == ((void *)0)Description
TRUEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 3 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
salt ==
*salt == ((void *)0)Description
TRUEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 3 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
3-8
1100 ((void *)0)
*salt == ((void *)0)Description
TRUEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 3 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
3-8
1101 ) {-
1102 if (RAND_bytes(tmp2, 20) <= 0
RAND_bytes(tmp2, 20) <= 0Description
TRUEnever evaluated
FALSEevaluated 8 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
)		0-8
1103 goto
never executed: goto err;
 err;
never executed: goto err;
0
1104-
1105 salttmp = BN_bin2bn(tmp2, 20, -
1106 ((void *)0)-
1107 );-
1108 }
executed 8 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
 else {		8
1109 salttmp = *salt;-
1110 }
executed 3 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
3
1111-
1112 x = SRP_Calc_x(salttmp, user, pass);-
1113-
1114 *verifier = BN_new();-
1115 if (*
*verifier == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
verifier ==
*verifier == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-11
1116 ((void *)0)
*verifier == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-11
1117 )-
1118 goto
never executed: goto err;
 err;
never executed: goto err;
0
1119-
1120 if (!BN_mod_exp(*verifier, g, x, N, bn_ctx)
!BN_mod_exp(*v... x, N, bn_ctx)Description
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
) {		0-11
1121 BN_clear_free(*verifier);-
1122 goto
never executed: goto err;
 err;
never executed: goto err;
0
1123 }-
1124-
1125 result = 1;-
1126 *salt = salttmp;-
1127-
1128 err:
code before this statement executed 11 times by 1 test: err:
Executed by:
  • libcrypto.so.1.1
11
1129 if (salt !=
salt != ((void *)0)Description
TRUEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-11
1130 ((void *)0)
salt != ((void *)0)Description
TRUEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
 		0-11
1131 && *
*salt != salttmpDescription
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
salt != salttmp
*salt != salttmpDescription
TRUEnever evaluated
FALSEevaluated 11 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
)		0-11
1132 BN_clear_free(salttmp);
never executed: BN_clear_free(salttmp);
0
1133 BN_clear_free(x);-
1134 BN_CTX_free(bn_ctx);-
1135 return
executed 11 times by 1 test: return result;
Executed by:
  • libcrypto.so.1.1
 result;
executed 11 times by 1 test: return result;
Executed by:
  • libcrypto.so.1.1
11
1136}-
Switch to Source codePreprocessed file
Generated by Squish Coco 4.2.2