2 * Copyright (c) 2003, 2004 Lev Walkin <vlm@lionet.info>. All rights reserved.
3 * Redistribution and modifications are permitted subject to BSD license.
5 #include <asn_internal.h>
6 #include <OBJECT_IDENTIFIER.h>
7 #include <limits.h> /* for CHAR_BIT */
11 * OBJECT IDENTIFIER basic type description.
13 static ber_tlv_tag_t asn_DEF_OBJECT_IDENTIFIER_tags[] = {
14 (ASN_TAG_CLASS_UNIVERSAL | (6 << 2))
16 asn_TYPE_descriptor_t asn_DEF_OBJECT_IDENTIFIER = {
19 ASN__PRIMITIVE_TYPE_free,
20 OBJECT_IDENTIFIER_print,
21 OBJECT_IDENTIFIER_constraint,
24 OBJECT_IDENTIFIER_decode_xer,
25 OBJECT_IDENTIFIER_encode_xer,
27 0, /* Use generic outmost tag fetcher */
28 asn_DEF_OBJECT_IDENTIFIER_tags,
29 sizeof(asn_DEF_OBJECT_IDENTIFIER_tags)
30 / sizeof(asn_DEF_OBJECT_IDENTIFIER_tags[0]),
31 asn_DEF_OBJECT_IDENTIFIER_tags, /* Same as above */
32 sizeof(asn_DEF_OBJECT_IDENTIFIER_tags)
33 / sizeof(asn_DEF_OBJECT_IDENTIFIER_tags[0]),
34 0, /* No PER visible constraints */
35 0, 0, /* No members */
41 OBJECT_IDENTIFIER_constraint(asn_TYPE_descriptor_t *td, const void *sptr,
42 asn_app_constraint_failed_f *ctfailcb, void *app_key) {
43 const OBJECT_IDENTIFIER_t *st = (const OBJECT_IDENTIFIER_t *)sptr;
47 _ASN_CTFAIL(app_key, td,
48 "%s: at least one numerical value "
50 td->name, __FILE__, __LINE__);
54 _ASN_CTFAIL(app_key, td,
55 "%s: value not given (%s:%d)",
56 td->name, __FILE__, __LINE__);
65 OBJECT_IDENTIFIER_get_single_arc(uint8_t *arcbuf, unsigned int arclen, signed int add, void *rvbufp, unsigned int rvsize) {
66 unsigned LE __attribute__ ((unused)) = 1; /* Little endian (x86) */
67 uint8_t *arcend = arcbuf + arclen; /* End of arc */
68 unsigned int cache = 0; /* No more than 14 significant bits */
69 unsigned char *rvbuf = (unsigned char *)rvbufp;
70 unsigned char *rvstart = rvbuf; /* Original start of the value buffer */
71 int inc; /* Return value growth direction */
73 rvsize *= CHAR_BIT; /* bytes to bits */
74 arclen *= 7; /* bytes to bits */
77 * The arc has the number of bits
78 * cannot be represented using supplied return value type.
81 if(arclen > (rvsize + CHAR_BIT)) {
82 errno = ERANGE; /* Overflow */
86 * Even if the number of bits in the arc representation
87 * is higher than the width of supplied * return value
88 * type, there is still possible to fit it when there
89 * are few unused high bits in the arc value
92 * Moreover, there is a possibility that the
93 * number could actually fit the arc space, given
94 * that add is negative, but we don't handle
95 * such "temporary lack of precision" situation here.
96 * May be considered as a bug.
98 uint8_t mask = (0xff << (7-(arclen - rvsize))) & 0x7f;
99 if((*arcbuf & mask)) {
100 errno = ERANGE; /* Overflow */
103 /* Fool the routine computing unused bits */
105 cache = *arcbuf & 0x7f;
110 /* Faster path for common size */
111 if(rvsize == (CHAR_BIT * sizeof(unsigned long))) {
113 /* Gather all bits into the accumulator */
114 for(accum = cache; arcbuf < arcend; arcbuf++)
115 accum = (accum << 7) | (*arcbuf & ~0x80);
116 if(accum < (unsigned)-add) {
117 errno = ERANGE; /* Overflow */
120 *(unsigned long *)rvbuf = accum + add; /* alignment OK! */
124 #ifndef WORDS_BIGENDIAN
125 if(*(unsigned char *)&LE) { /* Little endian (x86) */
126 /* "Convert" to big endian */
127 rvbuf += rvsize / CHAR_BIT - 1;
129 inc = -1; /* Descending */
131 #endif /* !WORDS_BIGENDIAN */
132 inc = +1; /* Big endian is known [at compile time] */
135 int bits; /* typically no more than 3-4 bits */
137 /* Clear the high unused bits */
138 for(bits = rvsize - arclen;
140 rvbuf += inc, bits -= CHAR_BIT)
143 /* Fill the body of a value */
144 for(; arcbuf < arcend; arcbuf++) {
145 cache = (cache << 7) | (*arcbuf & 0x7f);
147 if(bits >= CHAR_BIT) {
149 *rvbuf = (cache >> bits);
160 for(rvbuf -= inc; rvbuf != rvstart; rvbuf -= inc) {
161 int v = add + *rvbuf;
162 if(v & (-1 << CHAR_BIT)) {
163 *rvbuf = (unsigned char)(v + (1 << CHAR_BIT));
170 if(rvbuf == rvstart) {
171 /* No space to carry over */
172 errno = ERANGE; /* Overflow */
181 OBJECT_IDENTIFIER__dump_arc(uint8_t *arcbuf, int arclen, int add,
182 asn_app_consume_bytes_f *cb, void *app_key) {
183 char scratch[64]; /* Conservative estimate */
184 unsigned long accum; /* Bits accumulator */
186 if(OBJECT_IDENTIFIER_get_single_arc(arcbuf, arclen, add,
187 &accum, sizeof(accum)))
192 char *p = scratch + sizeof(scratch); /* Position in the scratch buffer */
194 for(; accum; accum /= 10)
195 *(--p) = (char)(accum % 10) + 0x30; /* Put a digit */
197 len = sizeof(scratch) - (p - scratch);
198 if(cb(p, len, app_key) < 0)
203 if(cb(scratch, 1, app_key) < 0)
210 OBJECT_IDENTIFIER_print_arc(uint8_t *arcbuf, int arclen, int add,
211 asn_app_consume_bytes_f *cb, void *app_key) {
213 if(OBJECT_IDENTIFIER__dump_arc(arcbuf, arclen, add, cb, app_key) < 0)
220 OBJECT_IDENTIFIER__dump_body(const OBJECT_IDENTIFIER_t *st, asn_app_consume_bytes_f *cb, void *app_key) {
221 ssize_t wrote_len = 0;
226 for(i = 0, startn = 0; i < st->size; i++) {
227 uint8_t b = st->buf[i];
228 if((b & 0x80)) /* Continuation expected */
233 * First two arcs are encoded through the backdoor.
237 if(cb("2", 1, app_key) < 0) return -1;
240 if(cb("0", 1, app_key) < 0) return -1;
243 if(cb("1", 1, app_key) < 0) return -1;
246 if(cb("2", 1, app_key) < 0) return -1;
251 if(cb(".", 1, app_key) < 0) /* Separate arcs */
254 add = OBJECT_IDENTIFIER__dump_arc(&st->buf[startn],
255 i - startn + 1, add, cb, app_key);
256 if(add < 0) return -1;
257 wrote_len += 1 + add;
265 static enum xer_pbd_rval
266 OBJECT_IDENTIFIER__xer_body_decode(asn_TYPE_descriptor_t *td, void *sptr, const void *chunk_buf, size_t chunk_size) {
267 OBJECT_IDENTIFIER_t *st = (OBJECT_IDENTIFIER_t *)sptr;
268 const char *chunk_end = (const char *)chunk_buf + chunk_size;
277 arcs_count = OBJECT_IDENTIFIER_parse_arcs(
278 (const char *)chunk_buf, chunk_size, arcs,
279 sizeof(s_arcs)/sizeof(s_arcs[0]), &endptr);
280 if(arcs_count <= 0) {
281 /* Expecting more than zero arcs */
282 return XPBD_BROKEN_ENCODING;
284 if(endptr < chunk_end) {
285 /* We have a tail of unrecognized data. Check its safety. */
286 if(!xer_is_whitespace(endptr, chunk_end - endptr))
287 return XPBD_BROKEN_ENCODING;
290 if((size_t)arcs_count > sizeof(s_arcs)/sizeof(s_arcs[0])) {
291 arcs = (long *)MALLOC(arcs_count * sizeof(long));
292 if(!arcs) return XPBD_SYSTEM_FAILURE;
293 ret = OBJECT_IDENTIFIER_parse_arcs(
294 (const char *)chunk_buf, chunk_size,
295 arcs, arcs_count, &endptr);
296 if(ret != arcs_count)
297 return XPBD_SYSTEM_FAILURE; /* assert?.. */
301 * Convert arcs into BER representation.
303 ret = OBJECT_IDENTIFIER_set_arcs(st, arcs, sizeof(*arcs), arcs_count);
304 if(arcs != s_arcs) FREEMEM(arcs);
306 return ret ? XPBD_SYSTEM_FAILURE : XPBD_BODY_CONSUMED;
310 OBJECT_IDENTIFIER_decode_xer(asn_codec_ctx_t *opt_codec_ctx,
311 asn_TYPE_descriptor_t *td, void **sptr, const char *opt_mname,
312 const void *buf_ptr, size_t size) {
314 return xer_decode_primitive(opt_codec_ctx, td,
315 sptr, sizeof(OBJECT_IDENTIFIER_t), opt_mname,
316 buf_ptr, size, OBJECT_IDENTIFIER__xer_body_decode);
320 OBJECT_IDENTIFIER_encode_xer(asn_TYPE_descriptor_t *td, void *sptr,
321 int ilevel, enum xer_encoder_flags_e flags,
322 asn_app_consume_bytes_f *cb, void *app_key) {
323 const OBJECT_IDENTIFIER_t *st = (const OBJECT_IDENTIFIER_t *)sptr;
332 er.encoded = OBJECT_IDENTIFIER__dump_body(st, cb, app_key);
333 if(er.encoded < 0) _ASN_ENCODE_FAILED;
339 OBJECT_IDENTIFIER_print(asn_TYPE_descriptor_t *td, const void *sptr,
340 int ilevel, asn_app_consume_bytes_f *cb, void *app_key) {
341 const OBJECT_IDENTIFIER_t *st = (const OBJECT_IDENTIFIER_t *)sptr;
343 (void)td; /* Unused argument */
344 (void)ilevel; /* Unused argument */
347 return (cb("<absent>", 8, app_key) < 0) ? -1 : 0;
350 if(cb("{ ", 2, app_key) < 0)
353 if(OBJECT_IDENTIFIER__dump_body(st, cb, app_key) < 0)
356 return (cb(" }", 2, app_key) < 0) ? -1 : 0;
360 OBJECT_IDENTIFIER_get_arcs(OBJECT_IDENTIFIER_t *oid, void *arcs,
361 unsigned int arc_type_size, unsigned int arc_slots) {
362 void *arcs_end = (char *)arcs + (arc_type_size * arc_slots);
368 if(!oid || !oid->buf || (arc_slots && arc_type_size <= 1)) {
373 for(i = 0; i < oid->size; i++) {
374 uint8_t b = oid->buf[i];
375 if((b & 0x80)) /* Continuation expected */
380 * First two arcs are encoded through the backdoor.
382 unsigned LE = 1; /* Little endian */
385 if(!arc_slots) { num_arcs++; continue; }
388 else if(b <= 39) first_arc = 0;
389 else if(b < 79) first_arc = 1;
392 add = -40 * first_arc;
393 memset(arcs, 0, arc_type_size);
394 *(unsigned char *)((char *)arcs
395 + ((*(char *)&LE)?0:(arc_type_size - 1)))
397 arcs = ((char *)arcs) + arc_type_size;
400 /* Decode, if has space */
401 if(arcs < arcs_end) {
402 if(OBJECT_IDENTIFIER_get_single_arc(&oid->buf[startn],
404 arcs, arc_type_size))
407 arcs = ((char *)arcs) + arc_type_size;
418 * Save the single value as an object identifier arc.
421 OBJECT_IDENTIFIER_set_single_arc(uint8_t *arcbuf, const void *arcval, unsigned int arcval_size, int prepared_order) {
423 * The following conditions must hold:
425 * assert(arcval_size > 0);
426 * assert(arcval_size <= 16);
429 #ifdef WORDS_BIGENDIAN
430 const unsigned isLittleEndian = 0;
433 unsigned isLittleEndian = *(char *)&LE;
435 const uint8_t *tend, *tp;
437 uint8_t *bp = arcbuf;
441 if(isLittleEndian && !prepared_order) {
442 const uint8_t *a = (const unsigned char *)arcval + arcval_size - 1;
443 const uint8_t *aend = (const uint8_t *)arcval;
444 uint8_t *msb = buffer + arcval_size - 1;
446 for(tb = buffer; a >= aend; tb++, a--)
447 if((*tb = *a) && (tb < msb))
449 tend = &buffer[arcval_size];
450 tp = msb; /* Most significant non-zero byte */
452 /* Look for most significant non-zero byte */
453 tend = (const unsigned char *)arcval + arcval_size;
454 for(tp = (const uint8_t *)arcval; tp < tend - 1; tp++)
459 * Split the value in 7-bits chunks.
461 bits = ((tend - tp) * CHAR_BIT) % 7;
463 cache = *tp >> (CHAR_BIT - bits);
465 *bp++ = cache | 0x80;
467 bits = CHAR_BIT - bits;
474 for(; tp < tend; tp++) {
475 cache = (cache << CHAR_BIT) + *tp;
479 *bp++ = 0x80 | (cache >> bits);
482 if(bits) *bp++ = cache;
483 bp[-1] &= 0x7f; /* Clear the last bit */
489 OBJECT_IDENTIFIER_set_arcs(OBJECT_IDENTIFIER_t *oid, const void *arcs, unsigned int arc_type_size, unsigned int arc_slots) {
492 unsigned LE = 1; /* Little endian (x86) */
493 unsigned isLittleEndian = *((char *)&LE);
499 if(!oid || !arcs || arc_type_size < 1
500 || arc_type_size > 16
506 switch(arc_type_size) {
508 arc0 = ((const unsigned char *)arcs)[0];
509 arc1 = ((const unsigned char *)arcs)[1];
512 arc0 = ((const unsigned short *)arcs)[0];
513 arc1 = ((const unsigned short *)arcs)[1];
516 arc0 = ((const unsigned int *)arcs)[0];
517 arc1 = ((const unsigned int *)arcs)[1];
521 if(isLittleEndian) { /* Little endian (x86) */
522 const unsigned char *ps, *pe;
523 /* If more significant bytes are present,
524 * make them > 255 quick */
525 for(ps = (const unsigned char *)arcs + 1, pe = ps+arc_type_size;
527 arc0 |= *ps, arc1 |= *(ps + arc_type_size);
528 arc0 <<= CHAR_BIT, arc1 <<= CHAR_BIT;
529 arc0 = *((const unsigned char *)arcs + 0);
530 arc1 = *((const unsigned char *)arcs + arc_type_size);
532 const unsigned char *ps, *pe;
533 /* If more significant bytes are present,
534 * make them > 255 quick */
535 for(ps = (const unsigned char *)arcs, pe = ps+arc_type_size - 1; ps < pe; ps++)
536 arc0 |= *ps, arc1 |= *(ps + arc_type_size);
537 arc0 = *((const unsigned char *)arcs + arc_type_size - 1);
538 arc1 = *((const unsigned char *)arcs +(arc_type_size<< 1)-1);
543 * The previous chapter left us with the first and the second arcs.
544 * The values are not precise (that is, they are valid only if
545 * they're less than 255), but OK for the purposes of making
546 * the sanity test below.
550 /* 8.19.4: At most 39 subsequent values (including 0) */
554 } else if(arc0 > 2) {
555 /* 8.19.4: Only three values are allocated from the root node */
560 * After above tests it is known that the value of arc0 is completely
561 * trustworthy (0..2). However, the arc1's value is still meaningless.
565 * Roughly estimate the maximum size necessary to encode these arcs.
566 * This estimation implicitly takes in account the following facts,
567 * that cancel each other:
568 * * the first two arcs are encoded in a single value.
569 * * the first value may require more space (+1 byte)
570 * * the value of the first arc which is in range (0..2)
572 size = ((arc_type_size * CHAR_BIT + 6) / 7) * arc_slots;
573 bp = buf = (uint8_t *)MALLOC(size + 1);
580 * Encode the first two arcs.
581 * These require special treatment.
585 uint8_t first_value[1 + 16]; /* of two arcs */
586 uint8_t *fv = first_value;
589 * Simulate first_value = arc0 * 40 + arc1;
591 /* Copy the second (1'st) arcs[1] into the first_value */
593 arcs = ((const char *)arcs) + arc_type_size;
595 const uint8_t *aend = (const unsigned char *)arcs - 1;
596 const uint8_t *a1 = (const unsigned char *)arcs + arc_type_size - 1;
597 for(; a1 > aend; fv++, a1--) *fv = *a1;
599 const uint8_t *a1 = (const uint8_t *)arcs;
600 const uint8_t *aend = a1 + arc_type_size;
601 for(; a1 < aend; fv++, a1++) *fv = *a1;
603 /* Increase the first_value by arc0 */
604 arc0 *= 40; /* (0..80) */
605 for(tp = first_value + arc_type_size; tp >= first_value; tp--) {
606 unsigned int v = *tp;
609 if(v >= (1 << CHAR_BIT)) arc0 = v >> CHAR_BIT;
613 assert(tp >= first_value);
615 bp += OBJECT_IDENTIFIER_set_single_arc(bp, first_value,
616 fv - first_value, 1);
620 * Save the rest of arcs.
622 for(arcs = ((const char *)arcs) + arc_type_size, i = 2;
624 i++, arcs = ((const char *)arcs) + arc_type_size) {
625 bp += OBJECT_IDENTIFIER_set_single_arc(bp,
626 arcs, arc_type_size, 0);
629 assert((unsigned)(bp - buf) <= size);
634 oid->size = bp - buf;
644 OBJECT_IDENTIFIER_parse_arcs(const char *oid_text, ssize_t oid_txt_length,
645 long *arcs, unsigned int arcs_slots, const char **opt_oid_text_end) {
646 unsigned int arcs_count = 0;
651 ST_WAITDIGITS, /* Next character is expected to be a digit */
653 } state = ST_SKIPSPACE;
655 if(!oid_text || oid_txt_length < -1 || (arcs_slots && !arcs)) {
656 if(opt_oid_text_end) *opt_oid_text_end = oid_text;
661 if(oid_txt_length == -1)
662 oid_txt_length = strlen(oid_text);
664 for(oid_end = oid_text + oid_txt_length; oid_text<oid_end; oid_text++) {
666 case 0x09: case 0x0a: case 0x0d: case 0x20: /* whitespace */
667 if(state == ST_SKIPSPACE) {
673 if(state != ST_DIGITS
674 || (oid_text + 1) == oid_end) {
675 state = ST_WAITDIGITS;
678 if(arcs_count < arcs_slots)
679 arcs[arcs_count] = value;
681 state = ST_WAITDIGITS;
683 case 0x30: case 0x31: case 0x32: case 0x33: case 0x34:
684 case 0x35: case 0x36: case 0x37: case 0x38: case 0x39:
685 if(state != ST_DIGITS) {
690 long new_value = value * 10;
691 if(new_value / 10 != value
692 || (value = new_value + (*oid_text - 0x30)) < 0) {
694 state = ST_WAITDIGITS;
700 /* Unexpected symbols */
701 state = ST_WAITDIGITS;
708 if(opt_oid_text_end) *opt_oid_text_end = oid_text;
710 /* Finalize last arc */
716 if(arcs_count < arcs_slots)
717 arcs[arcs_count] = value;