a_int.c 11.6 KB
Newer Older
1
/* crypto/asn1/a_int.c */
2
/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60
 * All rights reserved.
 *
 * This package is an SSL implementation written
 * by Eric Young (eay@cryptsoft.com).
 * The implementation was written so as to conform with Netscapes SSL.
 * 
 * This library is free for commercial and non-commercial use as long as
 * the following conditions are aheared to.  The following conditions
 * apply to all code found in this distribution, be it the RC4, RSA,
 * lhash, DES, etc., code; not just the SSL code.  The SSL documentation
 * included with this distribution is covered by the same copyright terms
 * except that the holder is Tim Hudson (tjh@cryptsoft.com).
 * 
 * Copyright remains Eric Young's, and as such any Copyright notices in
 * the code are not to be removed.
 * If this package is used in a product, Eric Young should be given attribution
 * as the author of the parts of the library used.
 * This can be in the form of a textual message at program startup or
 * in documentation (online or textual) provided with the package.
 * 
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 * 3. All advertising materials mentioning features or use of this software
 *    must display the following acknowledgement:
 *    "This product includes cryptographic software written by
 *     Eric Young (eay@cryptsoft.com)"
 *    The word 'cryptographic' can be left out if the rouines from the library
 *    being used are not cryptographic related :-).
 * 4. If you include any Windows specific code (or a derivative thereof) from 
 *    the apps directory (application code) you must include an acknowledgement:
 *    "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
 * 
 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
 * SUCH DAMAGE.
 * 
 * The licence and distribution terms for any publically available version or
 * derivative of this code cannot be changed.  i.e. this code cannot simply be
 * copied and put under another distribution licence
 * [including the GNU Public Licence.]
 */

#include <stdio.h>
#include "cryptlib.h"
61
#include <openssl/asn1.h>
62
#include <openssl/bn.h>
63

64 65 66 67
ASN1_INTEGER *ASN1_INTEGER_dup(ASN1_INTEGER *x)
{ return M_ASN1_INTEGER_dup(x);}

int ASN1_INTEGER_cmp(ASN1_INTEGER *x, ASN1_INTEGER *y)
68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87
	{ 
	int neg, ret;
	/* Compare signs */
	neg = x->type & V_ASN1_NEG;
	if (neg != (y->type & V_ASN1_NEG))
		{
		if (neg)
			return -1;
		else
			return 1;
		}

	ret = ASN1_STRING_cmp(x, y);

	if (neg)
		return -ret;
	else
		return ret;
	}
	
88

89
/* 
D
 
Dr. Stephen Henson 已提交
90
 * This converts an ASN1 INTEGER into its content encoding.
91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113
 * The internal representation is an ASN1_STRING whose data is a big endian
 * representation of the value, ignoring the sign. The sign is determined by
 * the type: V_ASN1_INTEGER for positive and V_ASN1_NEG_INTEGER for negative. 
 *
 * Positive integers are no problem: they are almost the same as the DER
 * encoding, except if the first byte is >= 0x80 we need to add a zero pad.
 *
 * Negative integers are a bit trickier...
 * The DER representation of negative integers is in 2s complement form.
 * The internal form is converted by complementing each octet and finally 
 * adding one to the result. This can be done less messily with a little trick.
 * If the internal form has trailing zeroes then they will become FF by the
 * complement and 0 by the add one (due to carry) so just copy as many trailing 
 * zeros to the destination as there are in the source. The carry will add one
 * to the last none zero octet: so complement this octet and add one and finally
 * complement any left over until you get to the start of the string.
 *
 * Padding is a little trickier too. If the first bytes is > 0x80 then we pad
 * with 0xff. However if the first byte is 0x80 and one of the following bytes
 * is non-zero we pad with 0xff. The reason for this distinction is that 0x80
 * followed by optional zeros isn't padded.
 */

D
 
Dr. Stephen Henson 已提交
114
int i2c_ASN1_INTEGER(ASN1_INTEGER *a, unsigned char **pp)
115
	{
D
 
Dr. Stephen Henson 已提交
116
	int pad=0,ret,i,neg;
117
	unsigned char *p,*n,pb=0;
118 119

	if ((a == NULL) || (a->data == NULL)) return(0);
D
 
Dr. Stephen Henson 已提交
120
	neg=a->type & V_ASN1_NEG;
121 122 123 124 125 126
	if (a->length == 0)
		ret=1;
	else
		{
		ret=a->length;
		i=a->data[0];
D
 
Dr. Stephen Henson 已提交
127
		if (!neg && (i > 127)) {
128 129
			pad=1;
			pb=0;
D
 
Dr. Stephen Henson 已提交
130
		} else if(neg) {
131 132 133 134 135 136 137 138 139 140 141 142 143
			if(i>128) {
				pad=1;
				pb=0xFF;
			} else if(i == 128) {
			/*
			 * Special case: if any other bytes non zero we pad:
			 * otherwise we don't.
			 */
				for(i = 1; i < a->length; i++) if(a->data[i]) {
						pad=1;
						pb=0xFF;
						break;
				}
144
			}
145
		}
146 147
		ret+=pad;
		}
D
 
Dr. Stephen Henson 已提交
148
	if (pp == NULL) return(ret);
149 150 151
	p= *pp;

	if (pad) *(p++)=pb;
152
	if (a->length == 0) *(p++)=0;
D
 
Dr. Stephen Henson 已提交
153
	else if (!neg) memcpy(p,a->data,(unsigned int)a->length);
154 155 156 157 158 159 160 161 162 163
	else {
		/* Begin at the end of the encoding */
		n=a->data + a->length - 1;
		p += a->length - 1;
		i = a->length;
		/* Copy zeros to destination as long as source is zero */
		while(!*n) {
			*(p--) = 0;
			n--;
			i--;
164
		}
165 166 167 168 169 170
		/* Complement and increment next octet */
		*(p--) = ((*(n--)) ^ 0xff) + 1;
		i--;
		/* Complement any octets left */
		for(;i > 0; i--) *(p--) = *(n--) ^ 0xff;
	}
171

D
 
Dr. Stephen Henson 已提交
172 173
	*pp+=ret;
	return(ret);
174 175
	}

D
 
Dr. Stephen Henson 已提交
176 177
/* Convert just ASN1 INTEGER content octets to ASN1_INTEGER structure */

178
ASN1_INTEGER *c2i_ASN1_INTEGER(ASN1_INTEGER **a, const unsigned char **pp,
D
 
Dr. Stephen Henson 已提交
179 180 181
	     long len)
	{
	ASN1_INTEGER *ret=NULL;
182 183
	const unsigned char *p, *pend;
	unsigned char *to,*s;
D
 
Dr. Stephen Henson 已提交
184 185 186 187 188 189 190 191 192 193 194 195
	int i;

	if ((a == NULL) || ((*a) == NULL))
		{
		if ((ret=M_ASN1_INTEGER_new()) == NULL) return(NULL);
		ret->type=V_ASN1_INTEGER;
		}
	else
		ret=(*a);

	p= *pp;
	pend = p + len;
196

197
	/* We must OPENSSL_malloc stuff, even for 0 bytes otherwise it
198
	 * signifies a missing NULL parameter. */
199
	s=(unsigned char *)OPENSSL_malloc((int)len+1);
200 201 202 203 204 205
	if (s == NULL)
		{
		i=ERR_R_MALLOC_FAILURE;
		goto err;
		}
	to=s;
206 207 208 209 210 211
	if(!len) {
		/* Strictly speaking this is an illegal INTEGER but we
		 * tolerate it.
		 */
		ret->type=V_ASN1_INTEGER;
	} else if (*p & 0x80) /* a negative number */
212 213
		{
		ret->type=V_ASN1_NEG_INTEGER;
214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244
		if ((*p == 0xff) && (len != 1)) {
			p++;
			len--;
		}
		i = len;
		p += i - 1;
		to += i - 1;
		while((!*p) && i) {
			*(to--) = 0;
			i--;
			p--;
		}
		/* Special case: if all zeros then the number will be of
		 * the form FF followed by n zero bytes: this corresponds to
		 * 1 followed by n zero bytes. We've already written n zeros
		 * so we just append an extra one and set the first byte to
		 * a 1. This is treated separately because it is the only case
		 * where the number of bytes is larger than len.
		 */
		if(!i) {
			*s = 1;
			s[len] = 0;
			len++;
		} else {
			*(to--) = (*(p--) ^ 0xff) + 1;
			i--;
			for(;i > 0; i--) *(to--) = *(p--) ^ 0xff;
		}
	} else {
		ret->type=V_ASN1_INTEGER;
		if ((*p == 0) && (len != 1))
245 246 247 248
			{
			p++;
			len--;
			}
249 250 251
		memcpy(s,p,(int)len);
	}

252
	if (ret->data != NULL) OPENSSL_free(ret->data);
253 254 255
	ret->data=s;
	ret->length=(int)len;
	if (a != NULL) (*a)=ret;
256
	*pp=pend;
257 258
	return(ret);
err:
259
	ASN1err(ASN1_F_C2I_ASN1_INTEGER,i);
260
	if ((ret != NULL) && ((a == NULL) || (*a != ret)))
261
		M_ASN1_INTEGER_free(ret);
262 263 264
	return(NULL);
	}

D
 
Dr. Stephen Henson 已提交
265

266 267 268 269 270
/* This is a version of d2i_ASN1_INTEGER that ignores the sign bit of
 * ASN1 integers: some broken software can encode a positive INTEGER
 * with its MSB set as negative (it doesn't add a padding zero).
 */

271
ASN1_INTEGER *d2i_ASN1_UINTEGER(ASN1_INTEGER **a, const unsigned char **pp,
272 273 274
	     long length)
	{
	ASN1_INTEGER *ret=NULL;
275 276
	const unsigned char *p;
	unsigned char *to,*s;
277 278 279 280 281 282
	long len;
	int inf,tag,xclass;
	int i;

	if ((a == NULL) || ((*a) == NULL))
		{
283
		if ((ret=M_ASN1_INTEGER_new()) == NULL) return(NULL);
284
		ret->type=V_ASN1_INTEGER;
285 286
		}
	else
287 288 289 290 291 292 293 294 295 296 297
		ret=(*a);

	p= *pp;
	inf=ASN1_get_object(&p,&len,&tag,&xclass,length);
	if (inf & 0x80)
		{
		i=ASN1_R_BAD_OBJECT_HEADER;
		goto err;
		}

	if (tag != V_ASN1_INTEGER)
298
		{
299 300 301 302
		i=ASN1_R_EXPECTING_AN_INTEGER;
		goto err;
		}

303
	/* We must OPENSSL_malloc stuff, even for 0 bytes otherwise it
304
	 * signifies a missing NULL parameter. */
305
	s=(unsigned char *)OPENSSL_malloc((int)len+1);
306 307 308 309 310 311
	if (s == NULL)
		{
		i=ERR_R_MALLOC_FAILURE;
		goto err;
		}
	to=s;
312 313
	ret->type=V_ASN1_INTEGER;
	if(len) {
314 315 316 317 318 319 320
		if ((*p == 0) && (len != 1))
			{
			p++;
			len--;
			}
		memcpy(s,p,(int)len);
		p+=len;
321
	}
322

323
	if (ret->data != NULL) OPENSSL_free(ret->data);
324 325 326 327 328 329
	ret->data=s;
	ret->length=(int)len;
	if (a != NULL) (*a)=ret;
	*pp=p;
	return(ret);
err:
330
	ASN1err(ASN1_F_D2I_ASN1_UINTEGER,i);
331
	if ((ret != NULL) && ((a == NULL) || (*a != ret)))
332
		M_ASN1_INTEGER_free(ret);
333 334 335
	return(NULL);
	}

U
Ulf Möller 已提交
336
int ASN1_INTEGER_set(ASN1_INTEGER *a, long v)
337
	{
338 339
	int j,k;
	unsigned int i;
340 341 342 343
	unsigned char buf[sizeof(long)+1];
	long d;

	a->type=V_ASN1_INTEGER;
344
	if (a->length < (int)(sizeof(long)+1))
345 346
		{
		if (a->data != NULL)
347 348
			OPENSSL_free(a->data);
		if ((a->data=(unsigned char *)OPENSSL_malloc(sizeof(long)+1)) != NULL)
349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375
			memset((char *)a->data,0,sizeof(long)+1);
		}
	if (a->data == NULL)
		{
		ASN1err(ASN1_F_ASN1_INTEGER_SET,ERR_R_MALLOC_FAILURE);
		return(0);
		}
	d=v;
	if (d < 0)
		{
		d= -d;
		a->type=V_ASN1_NEG_INTEGER;
		}

	for (i=0; i<sizeof(long); i++)
		{
		if (d == 0) break;
		buf[i]=(int)d&0xff;
		d>>=8;
		}
	j=0;
	for (k=i-1; k >=0; k--)
		a->data[j++]=buf[k];
	a->length=j;
	return(1);
	}

U
Ulf Möller 已提交
376
long ASN1_INTEGER_get(ASN1_INTEGER *a)
377 378 379 380 381 382 383 384 385
	{
	int neg=0,i;
	long r=0;

	if (a == NULL) return(0L);
	i=a->type;
	if (i == V_ASN1_NEG_INTEGER)
		neg=1;
	else if (i != V_ASN1_INTEGER)
386
		return -1;
387
	
388
	if (a->length > (int)sizeof(long))
389
		{
390 391
		/* hmm... a bit ugly */
		return(0xffffffffL);
392 393
		}
	if (a->data == NULL)
394
		return 0;
395 396 397 398 399 400 401 402 403 404

	for (i=0; i<a->length; i++)
		{
		r<<=8;
		r|=(unsigned char)a->data[i];
		}
	if (neg) r= -r;
	return(r);
	}

U
Ulf Möller 已提交
405
ASN1_INTEGER *BN_to_ASN1_INTEGER(BIGNUM *bn, ASN1_INTEGER *ai)
406 407 408 409 410
	{
	ASN1_INTEGER *ret;
	int len,j;

	if (ai == NULL)
411
		ret=M_ASN1_INTEGER_new();
412 413 414 415
	else
		ret=ai;
	if (ret == NULL)
		{
416
		ASN1err(ASN1_F_BN_TO_ASN1_INTEGER,ERR_R_NESTED_ASN1_ERROR);
417 418
		goto err;
		}
419
	if (BN_is_negative(bn))
420
		ret->type = V_ASN1_NEG_INTEGER;
421
	else ret->type=V_ASN1_INTEGER;
422 423
	j=BN_num_bits(bn);
	len=((j == 0)?0:((j/8)+1));
424 425
	if (ret->length < len+4)
		{
B
Ben Laurie 已提交
426
		unsigned char *new_data=OPENSSL_realloc(ret->data, len+4);
427 428 429 430 431 432 433
		if (!new_data)
			{
			ASN1err(ASN1_F_BN_TO_ASN1_INTEGER,ERR_R_MALLOC_FAILURE);
			goto err;
			}
		ret->data=new_data;
		}
434
	ret->length=BN_bn2bin(bn,ret->data);
435 436 437 438 439 440
	/* Correct zero case */
	if(!ret->length)
		{
		ret->data[0] = 0;
		ret->length = 1;
		}
441 442
	return(ret);
err:
443
	if (ret != ai) M_ASN1_INTEGER_free(ret);
444 445 446
	return(NULL);
	}

U
Ulf Möller 已提交
447
BIGNUM *ASN1_INTEGER_to_BN(ASN1_INTEGER *ai, BIGNUM *bn)
448 449 450 451 452
	{
	BIGNUM *ret;

	if ((ret=BN_bin2bn(ai->data,ai->length,bn)) == NULL)
		ASN1err(ASN1_F_ASN1_INTEGER_TO_BN,ASN1_R_BN_LIB);
453
	else if(ai->type == V_ASN1_NEG_INTEGER)
454
		BN_set_negative(ret, 1);
455 456
	return(ret);
	}
B
Ben Laurie 已提交
457 458 459

IMPLEMENT_STACK_OF(ASN1_INTEGER)
IMPLEMENT_ASN1_SET_OF(ASN1_INTEGER)