OpenCoverage

a_bytes.c

Absolute File Name:/home/opencoverage/opencoverage/guest-scripts/libressl/src/crypto/asn1/a_bytes.c
Source codeSwitch to Preprocessed file
LineSourceCount
1/* $OpenBSD: a_bytes.c,v 1.19 2017/01/29 17:49:22 beck Exp $ */-
2/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)-
3 * All rights reserved.-
4 *-
5 * This package is an SSL implementation written-
6 * by Eric Young (eay@cryptsoft.com).-
7 * The implementation was written so as to conform with Netscapes SSL.-
8 *-
9 * This library is free for commercial and non-commercial use as long as-
10 * the following conditions are aheared to. The following conditions-
11 * apply to all code found in this distribution, be it the RC4, RSA,-
12 * lhash, DES, etc., code; not just the SSL code. The SSL documentation-
13 * included with this distribution is covered by the same copyright terms-
14 * except that the holder is Tim Hudson (tjh@cryptsoft.com).-
15 *-
16 * Copyright remains Eric Young's, and as such any Copyright notices in-
17 * the code are not to be removed.-
18 * If this package is used in a product, Eric Young should be given attribution-
19 * as the author of the parts of the library used.-
20 * This can be in the form of a textual message at program startup or-
21 * in documentation (online or textual) provided with the package.-
22 *-
23 * Redistribution and use in source and binary forms, with or without-
24 * modification, are permitted provided that the following conditions-
25 * are met:-
26 * 1. Redistributions of source code must retain the copyright-
27 * notice, this list of conditions and the following disclaimer.-
28 * 2. Redistributions in binary form must reproduce the above copyright-
29 * notice, this list of conditions and the following disclaimer in the-
30 * documentation and/or other materials provided with the distribution.-
31 * 3. All advertising materials mentioning features or use of this software-
32 * must display the following acknowledgement:-
33 * "This product includes cryptographic software written by-
34 * Eric Young (eay@cryptsoft.com)"-
35 * The word 'cryptographic' can be left out if the rouines from the library-
36 * being used are not cryptographic related :-).-
37 * 4. If you include any Windows specific code (or a derivative thereof) from-
38 * the apps directory (application code) you must include an acknowledgement:-
39 * "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"-
40 *-
41 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND-
42 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE-
43 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE-
44 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE-
45 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL-
46 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS-
47 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)-
48 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT-
49 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY-
50 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF-
51 * SUCH DAMAGE.-
52 *-
53 * The licence and distribution terms for any publically available version or-
54 * derivative of this code cannot be changed. i.e. this code cannot simply be-
55 * copied and put under another distribution licence-
56 * [including the GNU Public Licence.]-
57 */-
58-
59#include <stdio.h>-
60#include <string.h>-
61-
62#include <openssl/asn1.h>-
63#include <openssl/buffer.h>-
64#include <openssl/err.h>-
65-
66static int asn1_collate_primitive(ASN1_STRING *a, ASN1_const_CTX *c);-
67/* type is a 'bitmap' of acceptable string types.-
68 */-
69ASN1_STRING *-
70d2i_ASN1_type_bytes(ASN1_STRING **a, const unsigned char **pp,-
71 long length, int type)-
72{-
73 ASN1_STRING *ret = NULL;-
74 const unsigned char *p;-
75 unsigned char *s;-
76 long len;-
77 int inf, tag, xclass;-
78 int i = 0;-
79-
80 p = *pp;-
81 inf = ASN1_get_object(&p, &len, &tag, &xclass, length);-
82 if (inf & 0x80)
inf & 0x80Description
TRUEnever evaluated
FALSEnever evaluated
0
83 goto err;
never executed: goto err;
0
84-
85 if (tag >= 32) {
tag >= 32Description
TRUEnever evaluated
FALSEnever evaluated
0
86 i = ASN1_R_TAG_VALUE_TOO_HIGH;-
87 goto err;
never executed: goto err;
0
88 }-
89 if (!(ASN1_tag2bit(tag) & type)) {
!(ASN1_tag2bit(tag) & type)Description
TRUEnever evaluated
FALSEnever evaluated
0
90 i = ASN1_R_WRONG_TYPE;-
91 goto err;
never executed: goto err;
0
92 }-
93-
94 /* If a bit-string, exit early */-
95 if (tag == V_ASN1_BIT_STRING)
tag == 3Description
TRUEnever evaluated
FALSEnever evaluated
0
96 return (d2i_ASN1_BIT_STRING(a, pp, length));
never executed: return (d2i_ASN1_BIT_STRING(a, pp, length));
0
97-
98 if ((a == NULL) || ((*a) == NULL)) {
(a == ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
((*a) == ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
99 if ((ret = ASN1_STRING_new()) == NULL)
(ret = ASN1_ST...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
100 return (NULL);
never executed: return ( ((void *)0) );
0
101 } else
never executed: end of block
0
102 ret = (*a);
never executed: ret = (*a);
0
103-
104 if (len != 0) {
len != 0Description
TRUEnever evaluated
FALSEnever evaluated
0
105 s = malloc(len + 1);-
106 if (s == NULL) {
s == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
107 i = ERR_R_MALLOC_FAILURE;-
108 goto err;
never executed: goto err;
0
109 }-
110 memcpy(s, p, len);-
111 s[len]='\0';-
112 p += len;-
113 } else
never executed: end of block
0
114 s = NULL;
never executed: s = ((void *)0) ;
0
115-
116 free(ret->data);-
117 ret->length = (int)len;-
118 ret->data = s;-
119 ret->type = tag;-
120 if (a != NULL)
a != ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
121 (*a) = ret;
never executed: (*a) = ret;
0
122 *pp = p;-
123 return (ret);
never executed: return (ret);
0
124-
125err:-
126 ASN1error(i);-
127 if (a == NULL || *a != ret)
a == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
*a != retDescription
TRUEnever evaluated
FALSEnever evaluated
0
128 ASN1_STRING_free(ret);
never executed: ASN1_STRING_free(ret);
0
129 return (NULL);
never executed: return ( ((void *)0) );
0
130}-
131-
132int-
133i2d_ASN1_bytes(ASN1_STRING *a, unsigned char **pp, int tag, int xclass)-
134{-
135 int ret, r, constructed;-
136 unsigned char *p;-
137-
138 if (a == NULL)
a == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
139 return (0);
never executed: return (0);
0
140-
141 if (tag == V_ASN1_BIT_STRING)
tag == 3Description
TRUEnever evaluated
FALSEnever evaluated
0
142 return (i2d_ASN1_BIT_STRING(a, pp));
never executed: return (i2d_ASN1_BIT_STRING(a, pp));
0
143-
144 ret = a->length;-
145 r = ASN1_object_size(0, ret, tag);-
146 if (pp == NULL)
pp == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
147 return (r);
never executed: return (r);
0
148 p = *pp;-
149-
150 if ((tag == V_ASN1_SEQUENCE) || (tag == V_ASN1_SET))
(tag == 16)Description
TRUEnever evaluated
FALSEnever evaluated
(tag == 17)Description
TRUEnever evaluated
FALSEnever evaluated
0
151 constructed = 1;
never executed: constructed = 1;
0
152 else-
153 constructed = 0;
never executed: constructed = 0;
0
154 ASN1_put_object(&p, constructed, ret, tag, xclass);-
155 memcpy(p, a->data, a->length);-
156 p += a->length;-
157 *pp = p;-
158 return (r);
never executed: return (r);
0
159}-
160-
161ASN1_STRING *-
162d2i_ASN1_bytes(ASN1_STRING **a, const unsigned char **pp,-
163 long length, int Ptag, int Pclass)-
164{-
165 ASN1_STRING *ret = NULL;-
166 const unsigned char *p;-
167 unsigned char *s;-
168 long len;-
169 int inf, tag, xclass;-
170 int i = 0;-
171-
172 if ((a == NULL) || ((*a) == NULL)) {
(a == ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
((*a) == ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
173 if ((ret = ASN1_STRING_new()) == NULL)
(ret = ASN1_ST...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
174 return (NULL);
never executed: return ( ((void *)0) );
0
175 } else
never executed: end of block
0
176 ret = (*a);
never executed: ret = (*a);
0
177-
178 p= *pp;-
179 inf = ASN1_get_object(&p, &len, &tag, &xclass, length);-
180 if (inf & 0x80) {
inf & 0x80Description
TRUEnever evaluated
FALSEnever evaluated
0
181 i = ASN1_R_BAD_OBJECT_HEADER;-
182 goto err;
never executed: goto err;
0
183 }-
184-
185 if (tag != Ptag) {
tag != PtagDescription
TRUEnever evaluated
FALSEnever evaluated
0
186 i = ASN1_R_WRONG_TAG;-
187 goto err;
never executed: goto err;
0
188 }-
189-
190 if (inf & V_ASN1_CONSTRUCTED) {
inf & 0x20Description
TRUEnever evaluated
FALSEnever evaluated
0
191 ASN1_const_CTX c;-
192-
193 c.pp = pp;-
194 c.p = p;-
195 c.inf = inf;-
196 c.slen = len;-
197 c.tag = Ptag;-
198 c.xclass = Pclass;-
199 c.max = (length == 0) ? 0 : (p + length);
(length == 0)Description
TRUEnever evaluated
FALSEnever evaluated
0
200 if (!asn1_collate_primitive(ret, &c))
!asn1_collate_...itive(ret, &c)Description
TRUEnever evaluated
FALSEnever evaluated
0
201 goto err;
never executed: goto err;
0
202 else {-
203 p = c.p;-
204 }
never executed: end of block
0
205 } else {-
206 if (len != 0) {
len != 0Description
TRUEnever evaluated
FALSEnever evaluated
0
207 if ((ret->length < len) || (ret->data == NULL)) {
(ret->length < len)Description
TRUEnever evaluated
FALSEnever evaluated
(ret->data == ((void *)0) )Description
TRUEnever evaluated
FALSEnever evaluated
0
208 free(ret->data);-
209 ret->data = NULL;-
210 s = malloc(len + 1);-
211 if (s == NULL) {
s == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
212 i = ERR_R_MALLOC_FAILURE;-
213 goto err;
never executed: goto err;
0
214 }-
215 } else
never executed: end of block
0
216 s = ret->data;
never executed: s = ret->data;
0
217 memcpy(s, p, len);-
218 s[len] = '\0';-
219 p += len;-
220 } else {
never executed: end of block
0
221 s = NULL;-
222 free(ret->data);-
223 }
never executed: end of block
0
224-
225 ret->length = (int)len;-
226 ret->data = s;-
227 ret->type = Ptag;-
228 }
never executed: end of block
0
229-
230 if (a != NULL)
a != ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
231 (*a) = ret;
never executed: (*a) = ret;
0
232 *pp = p;-
233 return (ret);
never executed: return (ret);
0
234-
235err:-
236 if (a == NULL || *a != ret)
a == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
*a != retDescription
TRUEnever evaluated
FALSEnever evaluated
0
237 ASN1_STRING_free(ret);
never executed: ASN1_STRING_free(ret);
0
238 ASN1error(i);-
239 return (NULL);
never executed: return ( ((void *)0) );
0
240}-
241-
242-
243/* We are about to parse 0..n d2i_ASN1_bytes objects, we are to collapse-
244 * them into the one structure that is then returned */-
245/* There have been a few bug fixes for this function from-
246 * Paul Keogh <paul.keogh@sse.ie>, many thanks to him */-
247static int-
248asn1_collate_primitive(ASN1_STRING *a, ASN1_const_CTX *c)-
249{-
250 ASN1_STRING *os = NULL;-
251 BUF_MEM b;-
252 int num;-
253-
254 b.length = 0;-
255 b.max = 0;-
256 b.data = NULL;-
257-
258 if (a == NULL) {
a == ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
259 c->error = ERR_R_PASSED_NULL_PARAMETER;-
260 goto err;
never executed: goto err;
0
261 }-
262-
263 num = 0;-
264 for (;;) {-
265 if (c->inf & 1) {
c->inf & 1Description
TRUEnever evaluated
FALSEnever evaluated
0
266 c->eos = ASN1_const_check_infinite_end(&c->p,-
267 (long)(c->max - c->p));-
268 if (c->eos)
c->eosDescription
TRUEnever evaluated
FALSEnever evaluated
0
269 break;
never executed: break;
0
270 } else {
never executed: end of block
0
271 if (c->slen <= 0)
c->slen <= 0Description
TRUEnever evaluated
FALSEnever evaluated
0
272 break;
never executed: break;
0
273 }
never executed: end of block
0
274-
275 c->q = c->p;-
276 if (d2i_ASN1_bytes(&os, &c->p, c->max - c->p, c->tag,
d2i_ASN1_bytes...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
277 c->xclass) == NULL) {
d2i_ASN1_bytes...== ((void *)0)Description
TRUEnever evaluated
FALSEnever evaluated
0
278 c->error = ERR_R_ASN1_LIB;-
279 goto err;
never executed: goto err;
0
280 }-
281-
282 if (!BUF_MEM_grow_clean(&b, num + os->length)) {
!BUF_MEM_grow_... + os->length)Description
TRUEnever evaluated
FALSEnever evaluated
0
283 c->error = ERR_R_BUF_LIB;-
284 goto err;
never executed: goto err;
0
285 }-
286 memcpy(&(b.data[num]), os->data, os->length);-
287 if (!(c->inf & 1))
!(c->inf & 1)Description
TRUEnever evaluated
FALSEnever evaluated
0
288 c->slen -= (c->p - c->q);
never executed: c->slen -= (c->p - c->q);
0
289 num += os->length;-
290 }
never executed: end of block
0
291-
292 if (!asn1_const_Finish(c))
!asn1_const_Finish(c)Description
TRUEnever evaluated
FALSEnever evaluated
0
293 goto err;
never executed: goto err;
0
294-
295 a->length = num;-
296 free(a->data);-
297 a->data = (unsigned char *)b.data;-
298 ASN1_STRING_free(os);-
299 return (1);
never executed: return (1);
0
300-
301err:-
302 ASN1error(c->error);-
303 ASN1_STRING_free(os);-
304 free(b.data);-
305 return (0);
never executed: return (0);
0
306}-
Source codeSwitch to Preprocessed file
Generated by Squish Coco 4.2.2