OpenCoverage

a_int.c

Absolute File Name:/home/opencoverage/opencoverage/guest-scripts/openssl/src/crypto/asn1/a_int.c
Source codeSwitch to Preprocessed file
LineSourceCount
1/*-
2 * Copyright 1995-2017 The OpenSSL Project Authors. All Rights Reserved.-
3 *-
4 * Licensed under the OpenSSL license (the "License"). You may not use-
5 * this file except in compliance with the License. You can obtain a copy-
6 * in the file LICENSE in the source distribution or at-
7 * https://www.openssl.org/source/license.html-
8 */-
9-
10#include <stdio.h>-
11#include "internal/cryptlib.h"-
12#include "internal/numbers.h"-
13#include <limits.h>-
14#include <openssl/asn1.h>-
15#include <openssl/bn.h>-
16#include "asn1_locl.h"-
17-
18ASN1_INTEGER *ASN1_INTEGER_dup(const ASN1_INTEGER *x)-
19{-
20 return ASN1_STRING_dup(x);
executed 41 times by 1 test: return ASN1_STRING_dup(x);
Executed by:
  • libcrypto.so.1.1
41
21}-
22-
23int ASN1_INTEGER_cmp(const ASN1_INTEGER *x, const ASN1_INTEGER *y)-
24{-
25 int neg, ret;-
26 /* Compare signs */-
27 neg = x->type & V_ASN1_NEG;-
28 if (neg != (y->type & V_ASN1_NEG)) {
neg != (y->type & 0x100)Description
TRUEevaluated 6 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 319 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
6-319
29 if (neg)
negDescription
TRUEevaluated 3 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 3 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
3
30 return -1;
executed 3 times by 1 test: return -1;
Executed by:
  • libcrypto.so.1.1
3
31 else-
32 return 1;
executed 3 times by 1 test: return 1;
Executed by:
  • libcrypto.so.1.1
3
33 }-
34-
35 ret = ASN1_STRING_cmp(x, y);-
36-
37 if (neg)
negDescription
TRUEevaluated 3 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 316 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
3-316
38 return -ret;
executed 3 times by 1 test: return -ret;
Executed by:
  • libcrypto.so.1.1
3
39 else-
40 return ret;
executed 316 times by 1 test: return ret;
Executed by:
  • libcrypto.so.1.1
316
41}-
42-
43/*--
44 * This converts a big endian buffer and sign into its content encoding.-
45 * This is used for INTEGER and ENUMERATED types.-
46 * The internal representation is an ASN1_STRING whose data is a big endian-
47 * representation of the value, ignoring the sign. The sign is determined by-
48 * the type: if type & V_ASN1_NEG is true it is negative, otherwise positive.-
49 *-
50 * Positive integers are no problem: they are almost the same as the DER-
51 * encoding, except if the first byte is >= 0x80 we need to add a zero pad.-
52 *-
53 * Negative integers are a bit trickier...-
54 * The DER representation of negative integers is in 2s complement form.-
55 * The internal form is converted by complementing each octet and finally-
56 * adding one to the result. This can be done less messily with a little trick.-
57 * If the internal form has trailing zeroes then they will become FF by the-
58 * complement and 0 by the add one (due to carry) so just copy as many trailing-
59 * zeros to the destination as there are in the source. The carry will add one-
60 * to the last none zero octet: so complement this octet and add one and finally-
61 * complement any left over until you get to the start of the string.-
62 *-
63 * Padding is a little trickier too. If the first bytes is > 0x80 then we pad-
64 * with 0xff. However if the first byte is 0x80 and one of the following bytes-
65 * is non-zero we pad with 0xff. The reason for this distinction is that 0x80-
66 * followed by optional zeros isn't padded.-
67 */-
68-
69/*-
70 * If |pad| is zero, the operation is effectively reduced to memcpy,-
71 * and if |pad| is 0xff, then it performs two's complement, ~dst + 1.-
72 * Note that in latter case sequence of zeros yields itself, and so-
73 * does 0x80 followed by any number of zeros. These properties are-
74 * used elsewhere below...-
75 */-
76static void twos_complement(unsigned char *dst, const unsigned char *src,-
77 size_t len, unsigned char pad)-
78{-
79 unsigned int carry = pad & 1;-
80-
81 /* Begin at the end of the encoding */-
82 dst += len;-
83 src += len;-
84 /* two's complement value: ~value + 1 */-
85 while (len-- != 0) {
len-- != 0Description
TRUEevaluated 1668979 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 242080 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
242080-1668979
86 *(--dst) = (unsigned char)(carry += *(--src) ^ pad);-
87 carry >>= 8;-
88 }
executed 1668979 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
1668979
89}
executed 242080 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
242080
90-
91static size_t i2c_ibuf(const unsigned char *b, size_t blen, int neg,-
92 unsigned char **pp)-
93{-
94 unsigned int pad = 0;-
95 size_t ret, i;-
96 unsigned char *p, pb = 0;-
97-
98 if (b != NULL && blen) {
b != ((void *)0)Description
TRUEevaluated 256127 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
blenDescription
TRUEevaluated 256126 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 1 time by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-256127
99 ret = blen;-
100 i = b[0];-
101 if (!neg && (i > 127)) {
!negDescription
TRUEevaluated 198059 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 58067 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
(i > 127)Description
TRUEevaluated 15700 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 182359 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
15700-198059
102 pad = 1;-
103 pb = 0;-
104 } else if (neg) {
executed 15700 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
negDescription
TRUEevaluated 58067 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 182359 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
15700-182359
105 pb = 0xFF;-
106 if (i > 128) {
i > 128Description
TRUEevaluated 8692 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 49375 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
8692-49375
107 pad = 1;-
108 } else if (i == 128) {
executed 8692 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
i == 128Description
TRUEevaluated 32483 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 16892 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
8692-32483
109 /*-
110 * Special case [of minimal negative for given length]:-
111 * if any other bytes non zero we pad, otherwise we don't.-
112 */-
113 for (pad = 0, i = 1; i < blen; i++)
i < blenDescription
TRUEevaluated 1032271 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 32483 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
32483-1032271
114 pad |= b[i];
executed 1032271 times by 1 test: pad |= b[i];
Executed by:
  • libcrypto.so.1.1
1032271
115 pb = pad != 0 ? 0xffU : 0;
pad != 0Description
TRUEevaluated 21648 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 10835 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
10835-21648
116 pad = pb & 1;-
117 }
executed 32483 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
32483
118 }
executed 58067 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
58067
119 ret += pad;-
120 } else {
executed 256126 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
256126
121 ret = 1;-
122 blen = 0; /* reduce '(b == NULL || blen == 0)' to '(blen == 0)' */-
123 }
executed 1 time by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
1
124-
125 if (pp == NULL || (p = *pp) == NULL)
pp == ((void *)0)Description
TRUEevaluated 109033 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 147094 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
(p = *pp) == ((void *)0)Description
TRUEevaluated 104442 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 42652 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
42652-147094
126 return ret;
executed 213475 times by 1 test: return ret;
Executed by:
  • libcrypto.so.1.1
213475
127-
128 /*-
129 * This magically handles all corner cases, such as '(b == NULL ||-
130 * blen == 0)', non-negative value, "negative" zero, 0x80 followed-
131 * by any number of zeros...-
132 */-
133 *p = pb;-
134 p += pad; /* yes, p[0] can be written twice, but it's little-
135 * price to pay for eliminated branches */-
136 twos_complement(p, b, blen, pb);-
137-
138 *pp += ret;-
139 return ret;
executed 42652 times by 1 test: return ret;
Executed by:
  • libcrypto.so.1.1
42652
140}-
141-
142/*-
143 * convert content octets into a big endian buffer. Returns the length-
144 * of buffer or 0 on error: for malformed INTEGER. If output buffer is-
145 * NULL just return length.-
146 */-
147-
148static size_t c2i_ibuf(unsigned char *b, int *pneg,-
149 const unsigned char *p, size_t plen)-
150{-
151 int neg, pad;-
152 /* Zero content length is illegal */-
153 if (plen == 0) {
plen == 0Description
TRUEevaluated 4801 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 619073 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
4801-619073
154 ASN1err(ASN1_F_C2I_IBUF, ASN1_R_ILLEGAL_ZERO_CONTENT);-
155 return 0;
executed 4801 times by 1 test: return 0;
Executed by:
  • libcrypto.so.1.1
4801
156 }-
157 neg = p[0] & 0x80;-
158 if (pneg)
pnegDescription
TRUEevaluated 308110 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 310963 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
308110-310963
159 *pneg = neg;
executed 308110 times by 1 test: *pneg = neg;
Executed by:
  • libcrypto.so.1.1
308110
160 /* Handle common case where length is 1 octet separately */-
161 if (plen == 1) {
plen == 1Description
TRUEevaluated 217364 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 401709 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
217364-401709
162 if (b != NULL) {
b != ((void *)0)Description
TRUEevaluated 108682 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 108682 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
108682
163 if (neg)
negDescription
TRUEevaluated 21152 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 87530 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
21152-87530
164 b[0] = (p[0] ^ 0xFF) + 1;
executed 21152 times by 1 test: b[0] = (p[0] ^ 0xFF) + 1;
Executed by:
  • libcrypto.so.1.1
21152
165 else-
166 b[0] = p[0];
executed 87530 times by 1 test: b[0] = p[0];
Executed by:
  • libcrypto.so.1.1
87530
167 }-
168 return 1;
executed 217364 times by 1 test: return 1;
Executed by:
  • libcrypto.so.1.1
217364
169 }-
170-
171 pad = 0;-
172 if (p[0] == 0) {
p[0] == 0Description
TRUEevaluated 34506 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 367203 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
34506-367203
173 pad = 1;-
174 } else if (p[0] == 0xFF) {
executed 34506 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
p[0] == 0xFFDescription
TRUEevaluated 17549 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 349654 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
17549-349654
175 size_t i;-
176-
177 /*-
178 * Special case [of "one less minimal negative" for given length]:-
179 * if any other bytes non zero it was padded, otherwise not.-
180 */-
181 for (pad = 0, i = 1; i < plen; i++)
i < plenDescription
TRUEevaluated 379365 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 17549 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
17549-379365
182 pad |= p[i];
executed 379365 times by 1 test: pad |= p[i];
Executed by:
  • libcrypto.so.1.1
379365
183 pad = pad != 0 ? 1 : 0;
pad != 0Description
TRUEevaluated 14365 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 3184 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
3184-14365
184 }
executed 17549 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
17549
185 /* reject illegal padding: first two octets MSB can't match */-
186 if (pad && (neg == (p[1] & 0x80))) {
padDescription
TRUEevaluated 48871 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 352838 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
(neg == (p[1] & 0x80))Description
TRUEevaluated 2513 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 46358 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
2513-352838
187 ASN1err(ASN1_F_C2I_IBUF, ASN1_R_ILLEGAL_PADDING);-
188 return 0;
executed 2513 times by 1 test: return 0;
Executed by:
  • libcrypto.so.1.1
2513
189 }-
190-
191 /* skip over pad */-
192 p += pad;-
193 plen -= pad;-
194-
195 if (b != NULL)
b != ((void *)0)Description
TRUEevaluated 199428 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 199768 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
199428-199768
196 twos_complement(b, p, plen, neg ? 0xffU : 0);
executed 199428 times by 1 test: twos_complement(b, p, plen, neg ? 0xffU : 0);
Executed by:
  • libcrypto.so.1.1
199428
197-
198 return plen;
executed 399196 times by 1 test: return plen;
Executed by:
  • libcrypto.so.1.1
399196
199}-
200-
201int i2c_ASN1_INTEGER(ASN1_INTEGER *a, unsigned char **pp)-
202{-
203 return i2c_ibuf(a->data, a->length, a->type & V_ASN1_NEG, pp);
executed 127207 times by 1 test: return i2c_ibuf(a->data, a->length, a->type & 0x100, pp);
Executed by:
  • libcrypto.so.1.1
127207
204}-
205-
206/* Convert big endian buffer into uint64_t, return 0 on error */-
207static int asn1_get_uint64(uint64_t *pr, const unsigned char *b, size_t blen)-
208{-
209 size_t i;-
210 uint64_t r;-
211-
212 if (blen > sizeof(*pr)) {
blen > sizeof(*pr)Description
TRUEevaluated 30 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 62789 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
30-62789
213 ASN1err(ASN1_F_ASN1_GET_UINT64, ASN1_R_TOO_LARGE);-
214 return 0;
executed 30 times by 1 test: return 0;
Executed by:
  • libcrypto.so.1.1
30
215 }-
216 if (b == NULL)
b == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 62789 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-62789
217 return 0;
never executed: return 0;
0
218 for (r = 0, i = 0; i < blen; i++) {
i < blenDescription
TRUEevaluated 108187 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 62789 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
62789-108187
219 r <<= 8;-
220 r |= b[i];-
221 }
executed 108187 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
108187
222 *pr = r;-
223 return 1;
executed 62789 times by 1 test: return 1;
Executed by:
  • libcrypto.so.1.1
62789
224}-
225-
226/*-
227 * Write uint64_t to big endian buffer and return offset to first-
228 * written octet. In other words it returns offset in range from 0-
229 * to 7, with 0 denoting 8 written octets and 7 - one.-
230 */-
231static size_t asn1_put_uint64(unsigned char b[sizeof(uint64_t)], uint64_t r)-
232{-
233 size_t off = sizeof(uint64_t);-
234-
235 do {-
236 b[--off] = (unsigned char)r;-
237 } while (r >>= 8);
executed 255170 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
r >>= 8Description
TRUEevaluated 125419 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 129751 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
125419-255170
238-
239 return off;
executed 129751 times by 1 test: return off;
Executed by:
  • libcrypto.so.1.1
129751
240}-
241-
242/*-
243 * Absolute value of INT64_MIN: we can't just use -INT64_MIN as gcc produces-
244 * overflow warnings.-
245 */-
246#define ABS_INT64_MIN ((uint64_t)INT64_MAX + (-(INT64_MIN + INT64_MAX)))-
247-
248/* signed version of asn1_get_uint64 */-
249static int asn1_get_int64(int64_t *pr, const unsigned char *b, size_t blen,-
250 int neg)-
251{-
252 uint64_t r;-
253 if (asn1_get_uint64(&r, b, blen) == 0)
asn1_get_uint6... b, blen) == 0Description
TRUEevaluated 30 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 20421 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
30-20421
254 return 0;
executed 30 times by 1 test: return 0;
Executed by:
  • libcrypto.so.1.1
30
255 if (neg) {
negDescription
TRUEevaluated 2587 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 17834 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
2587-17834
256 if (r <= INT64_MAX) {
r <= (9223372036854775807L)Description
TRUEevaluated 1385 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 1202 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
1202-1385
257 /* Most significant bit is guaranteed to be clear, negation-
258 * is guaranteed to be meaningful in platform-neutral sense. */-
259 *pr = -(int64_t)r;-
260 } else if (r == ABS_INT64_MIN) {
executed 1385 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
r == ((uint64_...54775807L) )))Description
TRUEevaluated 587 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 615 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
587-1385
261 /* This never happens if INT64_MAX == ABS_INT64_MIN, e.g.-
262 * on ones'-complement system. */-
263 *pr = (int64_t)(0 - r);-
264 } else {
executed 587 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
587
265 ASN1err(ASN1_F_ASN1_GET_INT64, ASN1_R_TOO_SMALL);-
266 return 0;
executed 615 times by 1 test: return 0;
Executed by:
  • libcrypto.so.1.1
615
267 }-
268 } else {-
269 if (r <= INT64_MAX) {
r <= (9223372036854775807L)Description
TRUEevaluated 17121 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 713 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
713-17121
270 *pr = (int64_t)r;-
271 } else {
executed 17121 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
17121
272 ASN1err(ASN1_F_ASN1_GET_INT64, ASN1_R_TOO_LARGE);-
273 return 0;
executed 713 times by 1 test: return 0;
Executed by:
  • libcrypto.so.1.1
713
274 }-
275 }-
276 return 1;
executed 19093 times by 1 test: return 1;
Executed by:
  • libcrypto.so.1.1
19093
277}-
278-
279/* Convert ASN1 INTEGER content octets to ASN1_INTEGER structure */-
280ASN1_INTEGER *c2i_ASN1_INTEGER(ASN1_INTEGER **a, const unsigned char **pp,-
281 long len)-
282{-
283 ASN1_INTEGER *ret = NULL;-
284 size_t r;-
285 int neg;-
286-
287 r = c2i_ibuf(NULL, NULL, *pp, len);-
288-
289 if (r == 0)
r == 0Description
TRUEevaluated 7184 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 265742 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
7184-265742
290 return NULL;
executed 7184 times by 1 test: return ((void *)0) ;
Executed by:
  • libcrypto.so.1.1
7184
291-
292 if ((a == NULL) || ((*a) == NULL)) {
(a == ((void *)0) )Description
TRUEnever evaluated
FALSEevaluated 265742 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
((*a) == ((void *)0) )Description
TRUEevaluated 172652 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 93090 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-265742
293 ret = ASN1_INTEGER_new();-
294 if (ret == NULL)
ret == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 172652 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-172652
295 return NULL;
never executed: return ((void *)0) ;
0
296 ret->type = V_ASN1_INTEGER;-
297 } else
executed 172652 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
172652
298 ret = *a;
executed 93090 times by 1 test: ret = *a;
Executed by:
  • libcrypto.so.1.1
93090
299-
300 if (ASN1_STRING_set(ret, NULL, r) == 0)
ASN1_STRING_se...*)0) , r) == 0Description
TRUEnever evaluated
FALSEevaluated 265742 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-265742
301 goto err;
never executed: goto err;
0
302-
303 c2i_ibuf(ret->data, &neg, *pp, len);-
304-
305 if (neg)
negDescription
TRUEevaluated 49814 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 215928 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
49814-215928
306 ret->type |= V_ASN1_NEG;
executed 49814 times by 1 test: ret->type |= 0x100;
Executed by:
  • libcrypto.so.1.1
49814
307-
308 *pp += len;-
309 if (a != NULL)
a != ((void *)0)Description
TRUEevaluated 265742 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-265742
310 (*a) = ret;
executed 265742 times by 1 test: (*a) = ret;
Executed by:
  • libcrypto.so.1.1
265742
311 return ret;
executed 265742 times by 1 test: return ret;
Executed by:
  • libcrypto.so.1.1
265742
312 err:-
313 ASN1err(ASN1_F_C2I_ASN1_INTEGER, ERR_R_MALLOC_FAILURE);-
314 if ((a == NULL) || (*a != ret))
(a == ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
(*a != ret)Description
TRUEnever evaluated
FALSEnever evaluated
0
315 ASN1_INTEGER_free(ret);
never executed: ASN1_INTEGER_free(ret);
0
316 return NULL;
never executed: return ((void *)0) ;
0
317}-
318-
319static int asn1_string_get_int64(int64_t *pr, const ASN1_STRING *a, int itype)-
320{-
321 if (a == NULL) {
a == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 20451 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-20451
322 ASN1err(ASN1_F_ASN1_STRING_GET_INT64, ERR_R_PASSED_NULL_PARAMETER);-
323 return 0;
never executed: return 0;
0
324 }-
325 if ((a->type & ~V_ASN1_NEG) != itype) {
(a->type & ~0x100) != itypeDescription
TRUEnever evaluated
FALSEevaluated 20451 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-20451
326 ASN1err(ASN1_F_ASN1_STRING_GET_INT64, ASN1_R_WRONG_INTEGER_TYPE);-
327 return 0;
never executed: return 0;
0
328 }-
329 return asn1_get_int64(pr, a->data, a->length, a->type & V_ASN1_NEG);
executed 20451 times by 1 test: return asn1_get_int64(pr, a->data, a->length, a->type & 0x100);
Executed by:
  • libcrypto.so.1.1
20451
330}-
331-
332static int asn1_string_set_int64(ASN1_STRING *a, int64_t r, int itype)-
333{-
334 unsigned char tbuf[sizeof(r)];-
335 size_t off;-
336-
337 a->type = itype;-
338 if (r < 0) {
r < 0Description
TRUEnever evaluated
FALSEevaluated 829 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-829
339 /* Most obvious '-r' triggers undefined behaviour for most-
340 * common INT64_MIN. Even though below '0 - (uint64_t)r' can-
341 * appear two's-complement centric, it does produce correct/-
342 * expected result even on one's-complement. This is because-
343 * cast to unsigned has to change bit pattern... */-
344 off = asn1_put_uint64(tbuf, 0 - (uint64_t)r);-
345 a->type |= V_ASN1_NEG;-
346 } else {
never executed: end of block
0
347 off = asn1_put_uint64(tbuf, r);-
348 a->type &= ~V_ASN1_NEG;-
349 }
executed 829 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
829
350 return ASN1_STRING_set(a, tbuf + off, sizeof(tbuf) - off);
executed 829 times by 1 test: return ASN1_STRING_set(a, tbuf + off, sizeof(tbuf) - off);
Executed by:
  • libcrypto.so.1.1
829
351}-
352-
353static int asn1_string_get_uint64(uint64_t *pr, const ASN1_STRING *a,-
354 int itype)-
355{-
356 if (a == NULL) {
a == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
357 ASN1err(ASN1_F_ASN1_STRING_GET_UINT64, ERR_R_PASSED_NULL_PARAMETER);-
358 return 0;
never executed: return 0;
0
359 }-
360 if ((a->type & ~V_ASN1_NEG) != itype) {
(a->type & ~0x100) != itypeDescription
TRUEnever evaluated
FALSEnever evaluated
0
361 ASN1err(ASN1_F_ASN1_STRING_GET_UINT64, ASN1_R_WRONG_INTEGER_TYPE);-
362 return 0;
never executed: return 0;
0
363 }-
364 if (a->type & V_ASN1_NEG) {
a->type & 0x100Description
TRUEnever evaluated
FALSEnever evaluated
0
365 ASN1err(ASN1_F_ASN1_STRING_GET_UINT64, ASN1_R_ILLEGAL_NEGATIVE_VALUE);-
366 return 0;
never executed: return 0;
0
367 }-
368 return asn1_get_uint64(pr, a->data, a->length);
never executed: return asn1_get_uint64(pr, a->data, a->length);
0
369}-
370-
371static int asn1_string_set_uint64(ASN1_STRING *a, uint64_t r, int itype)-
372{-
373 unsigned char tbuf[sizeof(r)];-
374 size_t off;-
375-
376 a->type = itype;-
377 off = asn1_put_uint64(tbuf, r);-
378 return ASN1_STRING_set(a, tbuf + off, sizeof(tbuf) - off);
executed 2 times by 1 test: return ASN1_STRING_set(a, tbuf + off, sizeof(tbuf) - off);
Executed by:
  • libcrypto.so.1.1
2
379}-
380-
381/*-
382 * This is a version of d2i_ASN1_INTEGER that ignores the sign bit of ASN1-
383 * integers: some broken software can encode a positive INTEGER with its MSB-
384 * set as negative (it doesn't add a padding zero).-
385 */-
386-
387ASN1_INTEGER *d2i_ASN1_UINTEGER(ASN1_INTEGER **a, const unsigned char **pp,-
388 long length)-
389{-
390 ASN1_INTEGER *ret = NULL;-
391 const unsigned char *p;-
392 unsigned char *s;-
393 long len;-
394 int inf, tag, xclass;-
395 int i;-
396-
397 if ((a == NULL) || ((*a) == NULL)) {
(a == ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
((*a) == ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
398 if ((ret = ASN1_INTEGER_new()) == NULL)
(ret = ASN1_IN...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
399 return NULL;
never executed: return ((void *)0) ;
0
400 ret->type = V_ASN1_INTEGER;-
401 } else
never executed: end of block
0
402 ret = (*a);
never executed: ret = (*a);
0
403-
404 p = *pp;-
405 inf = ASN1_get_object(&p, &len, &tag, &xclass, length);-
406 if (inf & 0x80) {
inf & 0x80Description
TRUEnever evaluated
FALSEnever evaluated
0
407 i = ASN1_R_BAD_OBJECT_HEADER;-
408 goto err;
never executed: goto err;
0
409 }-
410-
411 if (tag != V_ASN1_INTEGER) {
tag != 2Description
TRUEnever evaluated
FALSEnever evaluated
0
412 i = ASN1_R_EXPECTING_AN_INTEGER;-
413 goto err;
never executed: goto err;
0
414 }-
415-
416 /*-
417 * We must OPENSSL_malloc stuff, even for 0 bytes otherwise it signifies-
418 * a missing NULL parameter.-
419 */-
420 s = OPENSSL_malloc((int)len + 1);-
421 if (s == NULL) {
s == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
422 i = ERR_R_MALLOC_FAILURE;-
423 goto err;
never executed: goto err;
0
424 }-
425 ret->type = V_ASN1_INTEGER;-
426 if (len) {
lenDescription
TRUEnever evaluated
FALSEnever evaluated
0
427 if ((*p == 0) && (len != 1)) {
(*p == 0)Description
TRUEnever evaluated
FALSEnever evaluated
(len != 1)Description
TRUEnever evaluated
FALSEnever evaluated
0
428 p++;-
429 len--;-
430 }
never executed: end of block
0
431 memcpy(s, p, (int)len);-
432 p += len;-
433 }
never executed: end of block
0
434-
435 OPENSSL_free(ret->data);-
436 ret->data = s;-
437 ret->length = (int)len;-
438 if (a != NULL)
a != ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
439 (*a) = ret;
never executed: (*a) = ret;
0
440 *pp = p;-
441 return ret;
never executed: return ret;
0
442 err:-
443 ASN1err(ASN1_F_D2I_ASN1_UINTEGER, i);-
444 if ((a == NULL) || (*a != ret))
(a == ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
(*a != ret)Description
TRUEnever evaluated
FALSEnever evaluated
0
445 ASN1_INTEGER_free(ret);
never executed: ASN1_INTEGER_free(ret);
0
446 return NULL;
never executed: return ((void *)0) ;
0
447}-
448-
449static ASN1_STRING *bn_to_asn1_string(const BIGNUM *bn, ASN1_STRING *ai,-
450 int atype)-
451{-
452 ASN1_INTEGER *ret;-
453 int len;-
454-
455 if (ai == NULL) {
ai == ((void *)0)Description
TRUEevaluated 131 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 60 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
60-131
456 ret = ASN1_STRING_type_new(atype);-
457 } else {
executed 131 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
131
458 ret = ai;-
459 ret->type = atype;-
460 }
executed 60 times by 1 test: end of block
Executed by:
  • libcrypto.so.1.1
60
461-
462 if (ret == NULL) {
ret == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 191 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-191
463 ASN1err(ASN1_F_BN_TO_ASN1_STRING, ERR_R_NESTED_ASN1_ERROR);-
464 goto err;
never executed: goto err;
0
465 }-
466-
467 if (BN_is_negative(bn) && !BN_is_zero(bn))
BN_is_negative(bn)Description
TRUEevaluated 12 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 179 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
!BN_is_zero(bn)Description
TRUEevaluated 12 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEnever evaluated
0-179
468 ret->type |= V_ASN1_NEG_INTEGER;
executed 12 times by 1 test: ret->type |= (2 | 0x100);
Executed by:
  • libcrypto.so.1.1
12
469-
470 len = BN_num_bytes(bn);-
471-
472 if (len == 0)
len == 0Description
TRUEevaluated 31 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 160 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
31-160
473 len = 1;
executed 31 times by 1 test: len = 1;
Executed by:
  • libcrypto.so.1.1
31
474-
475 if (ASN1_STRING_set(ret, NULL, len) == 0) {
ASN1_STRING_se...0) , len) == 0Description
TRUEnever evaluated
FALSEevaluated 191 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-191
476 ASN1err(ASN1_F_BN_TO_ASN1_STRING, ERR_R_MALLOC_FAILURE);-
477 goto err;
never executed: goto err;
0
478 }-
479-
480 /* Correct zero case */-
481 if (BN_is_zero(bn))
BN_is_zero(bn)Description
TRUEevaluated 31 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 160 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
31-160
482 ret->data[0] = 0;
executed 31 times by 1 test: ret->data[0] = 0;
Executed by:
  • libcrypto.so.1.1
31
483 else-
484 len = BN_bn2bin(bn, ret->data);
executed 160 times by 1 test: len = BN_bn2bin(bn, ret->data);
Executed by:
  • libcrypto.so.1.1
160
485 ret->length = len;-
486 return ret;
executed 191 times by 1 test: return ret;
Executed by:
  • libcrypto.so.1.1
191
487 err:-
488 if (ret != ai)
ret != aiDescription
TRUEnever evaluated
FALSEnever evaluated
0
489 ASN1_INTEGER_free(ret);
never executed: ASN1_INTEGER_free(ret);
0
490 return NULL;
never executed: return ((void *)0) ;
0
491}-
492-
493static BIGNUM *asn1_string_to_bn(const ASN1_INTEGER *ai, BIGNUM *bn,-
494 int itype)-
495{-
496 BIGNUM *ret;-
497-
498 if ((ai->type & ~V_ASN1_NEG) != itype) {
(ai->type & ~0x100) != itypeDescription
TRUEevaluated 38 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 15168 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
38-15168
499 ASN1err(ASN1_F_ASN1_STRING_TO_BN, ASN1_R_WRONG_INTEGER_TYPE);-
500 return NULL;
executed 38 times by 1 test: return ((void *)0) ;
Executed by:
  • libcrypto.so.1.1
38
501 }-
502-
503 ret = BN_bin2bn(ai->data, ai->length, bn);-
504 if (ret == NULL) {
ret == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 15168 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-15168
505 ASN1err(ASN1_F_ASN1_STRING_TO_BN, ASN1_R_BN_LIB);-
506 return NULL;
never executed: return ((void *)0) ;
0
507 }-
508 if (ai->type & V_ASN1_NEG)
ai->type & 0x100Description
TRUEevaluated 2868 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 12300 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
2868-12300
509 BN_set_negative(ret, 1);
executed 2868 times by 1 test: BN_set_negative(ret, 1);
Executed by:
  • libcrypto.so.1.1
2868
510 return ret;
executed 15168 times by 1 test: return ret;
Executed by:
  • libcrypto.so.1.1
15168
511}-
512-
513int ASN1_INTEGER_get_int64(int64_t *pr, const ASN1_INTEGER *a)-
514{-
515 return asn1_string_get_int64(pr, a, V_ASN1_INTEGER);
executed 15773 times by 1 test: return asn1_string_get_int64(pr, a, 2);
Executed by:
  • libcrypto.so.1.1
15773
516}-
517-
518int ASN1_INTEGER_set_int64(ASN1_INTEGER *a, int64_t r)-
519{-
520 return asn1_string_set_int64(a, r, V_ASN1_INTEGER);
executed 829 times by 1 test: return asn1_string_set_int64(a, r, 2);
Executed by:
  • libcrypto.so.1.1
829
521}-
522-
523int ASN1_INTEGER_get_uint64(uint64_t *pr, const ASN1_INTEGER *a)-
524{-
525 return asn1_string_get_uint64(pr, a, V_ASN1_INTEGER);
never executed: return asn1_string_get_uint64(pr, a, 2);
0
526}-
527-
528int ASN1_INTEGER_set_uint64(ASN1_INTEGER *a, uint64_t r)-
529{-
530 return asn1_string_set_uint64(a, r, V_ASN1_INTEGER);
executed 2 times by 1 test: return asn1_string_set_uint64(a, r, 2);
Executed by:
  • libcrypto.so.1.1
2
531}-
532-
533int ASN1_INTEGER_set(ASN1_INTEGER *a, long v)-
534{-
535 return ASN1_INTEGER_set_int64(a, v);
executed 829 times by 1 test: return ASN1_INTEGER_set_int64(a, v);
Executed by:
  • libcrypto.so.1.1
829
536}-
537-
538long ASN1_INTEGER_get(const ASN1_INTEGER *a)-
539{-
540 int i;-
541 int64_t r;-
542 if (a == NULL)
a == ((void *)0)Description
TRUEevaluated 2770 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 15773 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
2770-15773
543 return 0;
executed 2770 times by 1 test: return 0;
Executed by:
  • libcrypto.so.1.1
2770
544 i = ASN1_INTEGER_get_int64(&r, a);-
545 if (i == 0)
i == 0Description
TRUEevaluated 131 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 15642 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
131-15642
546 return -1;
executed 131 times by 1 test: return -1;
Executed by:
  • libcrypto.so.1.1
131
547 if (r > LONG_MAX || r < LONG_MIN)
r > 0x7fffffffffffffffLDescription
TRUEnever evaluated
FALSEevaluated 15642 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
r < (-0x7fffff...fffffffL - 1L)Description
TRUEnever evaluated
FALSEevaluated 15642 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-15642
548 return -1;
never executed: return -1;
0
549 return (long)r;
executed 15642 times by 1 test: return (long)r;
Executed by:
  • libcrypto.so.1.1
15642
550}-
551-
552ASN1_INTEGER *BN_to_ASN1_INTEGER(const BIGNUM *bn, ASN1_INTEGER *ai)-
553{-
554 return bn_to_asn1_string(bn, ai, V_ASN1_INTEGER);
executed 191 times by 1 test: return bn_to_asn1_string(bn, ai, 2);
Executed by:
  • libcrypto.so.1.1
191
555}-
556-
557BIGNUM *ASN1_INTEGER_to_BN(const ASN1_INTEGER *ai, BIGNUM *bn)-
558{-
559 return asn1_string_to_bn(ai, bn, V_ASN1_INTEGER);
executed 13334 times by 1 test: return asn1_string_to_bn(ai, bn, 2);
Executed by:
  • libcrypto.so.1.1
13334
560}-
561-
562int ASN1_ENUMERATED_get_int64(int64_t *pr, const ASN1_ENUMERATED *a)-
563{-
564 return asn1_string_get_int64(pr, a, V_ASN1_ENUMERATED);
executed 4678 times by 1 test: return asn1_string_get_int64(pr, a, 10);
Executed by:
  • libcrypto.so.1.1
4678
565}-
566-
567int ASN1_ENUMERATED_set_int64(ASN1_ENUMERATED *a, int64_t r)-
568{-
569 return asn1_string_set_int64(a, r, V_ASN1_ENUMERATED);
never executed: return asn1_string_set_int64(a, r, 10);
0
570}-
571-
572int ASN1_ENUMERATED_set(ASN1_ENUMERATED *a, long v)-
573{-
574 return ASN1_ENUMERATED_set_int64(a, v);
never executed: return ASN1_ENUMERATED_set_int64(a, v);
0
575}-
576-
577long ASN1_ENUMERATED_get(const ASN1_ENUMERATED *a)-
578{-
579 int i;-
580 int64_t r;-
581 if (a == NULL)
a == ((void *)0)Description
TRUEnever evaluated
FALSEevaluated 5798 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-5798
582 return 0;
never executed: return 0;
0
583 if ((a->type & ~V_ASN1_NEG) != V_ASN1_ENUMERATED)
(a->type & ~0x100) != 10Description
TRUEnever evaluated
FALSEevaluated 5798 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-5798
584 return -1;
never executed: return -1;
0
585 if (a->length > (int)sizeof(long))
a->length > (int)sizeof(long)Description
TRUEevaluated 1120 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 4678 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
1120-4678
586 return 0xffffffffL;
executed 1120 times by 1 test: return 0xffffffffL;
Executed by:
  • libcrypto.so.1.1
1120
587 i = ASN1_ENUMERATED_get_int64(&r, a);-
588 if (i == 0)
i == 0Description
TRUEevaluated 1227 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 3451 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
1227-3451
589 return -1;
executed 1227 times by 1 test: return -1;
Executed by:
  • libcrypto.so.1.1
1227
590 if (r > LONG_MAX || r < LONG_MIN)
r > 0x7fffffffffffffffLDescription
TRUEnever evaluated
FALSEevaluated 3451 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
r < (-0x7fffff...fffffffL - 1L)Description
TRUEnever evaluated
FALSEevaluated 3451 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
0-3451
591 return -1;
never executed: return -1;
0
592 return (long)r;
executed 3451 times by 1 test: return (long)r;
Executed by:
  • libcrypto.so.1.1
3451
593}-
594-
595ASN1_ENUMERATED *BN_to_ASN1_ENUMERATED(const BIGNUM *bn, ASN1_ENUMERATED *ai)-
596{-
597 return bn_to_asn1_string(bn, ai, V_ASN1_ENUMERATED);
never executed: return bn_to_asn1_string(bn, ai, 10);
0
598}-
599-
600BIGNUM *ASN1_ENUMERATED_to_BN(const ASN1_ENUMERATED *ai, BIGNUM *bn)-
601{-
602 return asn1_string_to_bn(ai, bn, V_ASN1_ENUMERATED);
executed 1872 times by 1 test: return asn1_string_to_bn(ai, bn, 10);
Executed by:
  • libcrypto.so.1.1
1872
603}-
604-
605/* Internal functions used by x_int64.c */-
606int c2i_uint64_int(uint64_t *ret, int *neg, const unsigned char **pp, long len)-
607{-
608 unsigned char buf[sizeof(uint64_t)];-
609 size_t buflen;-
610-
611 buflen = c2i_ibuf(NULL, NULL, *pp, len);-
612 if (buflen == 0)
buflen == 0Description
TRUEevaluated 130 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 42708 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
130-42708
613 return 0;
executed 130 times by 1 test: return 0;
Executed by:
  • libcrypto.so.1.1
130
614 if (buflen > sizeof(uint64_t)) {
buflen > sizeof(uint64_t)Description
TRUEevaluated 340 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
FALSEevaluated 42368 times by 1 test
Evaluated by:
  • libcrypto.so.1.1
340-42368
615 ASN1err(ASN1_F_C2I_UINT64_INT, ASN1_R_TOO_LARGE);-
616 return 0;
executed 340 times by 1 test: return 0;
Executed by:
  • libcrypto.so.1.1
340
617 }-
618 (void)c2i_ibuf(buf, neg, *pp, len);-
619 return asn1_get_uint64(ret, buf, buflen);
executed 42368 times by 1 test: return asn1_get_uint64(ret, buf, buflen);
Executed by:
  • libcrypto.so.1.1
42368
620}-
621-
622int i2c_uint64_int(unsigned char *p, uint64_t r, int neg)-
623{-
624 unsigned char buf[sizeof(uint64_t)];-
625 size_t off;-
626-
627 off = asn1_put_uint64(buf, r);-
628 return i2c_ibuf(buf + off, sizeof(buf) - off, neg, &p);
executed 128920 times by 1 test: return i2c_ibuf(buf + off, sizeof(buf) - off, neg, &p);
Executed by:
  • libcrypto.so.1.1
128920
629}-
630-
Source codeSwitch to Preprocessed file
Generated by Squish Coco 4.2.2