blob: 3f2454c3267f56a10b10002687be9356fe423eb6 [file] [log] [blame]
Lev Walkinf15320b2004-06-03 03:38:44 +00001/*-
2 * Copyright (c) 2003, 2004 Lev Walkin <vlm@lionet.info>. All rights reserved.
3 * Redistribution and modifications are permitted subject to BSD license.
4 */
Lev Walkina9cc46e2004-09-22 16:06:28 +00005#include <asn_internal.h>
Lev Walkinf15320b2004-06-03 03:38:44 +00006#include <OBJECT_IDENTIFIER.h>
Lev Walkin29a044b2004-06-14 07:24:36 +00007#include <limits.h> /* for CHAR_BIT */
Lev Walkinf15320b2004-06-03 03:38:44 +00008#include <assert.h>
9#include <errno.h>
10
11/*
12 * OBJECT IDENTIFIER basic type description.
13 */
Lev Walkin5e033762004-09-29 13:26:15 +000014static ber_tlv_tag_t asn_DEF_OBJECT_IDENTIFIER_tags[] = {
Lev Walkinf15320b2004-06-03 03:38:44 +000015 (ASN_TAG_CLASS_UNIVERSAL | (6 << 2))
16};
Lev Walkin5e033762004-09-29 13:26:15 +000017asn_TYPE_descriptor_t asn_DEF_OBJECT_IDENTIFIER = {
Lev Walkinf15320b2004-06-03 03:38:44 +000018 "OBJECT IDENTIFIER",
Lev Walkindc06f6b2004-10-20 15:50:55 +000019 "OBJECT_IDENTIFIER",
Lev Walkin8e8078a2004-09-26 13:10:40 +000020 ASN__PRIMITIVE_TYPE_free,
Lev Walkina9cc46e2004-09-22 16:06:28 +000021 OBJECT_IDENTIFIER_print,
Lev Walkinf15320b2004-06-03 03:38:44 +000022 OBJECT_IDENTIFIER_constraint,
Lev Walkin8e8078a2004-09-26 13:10:40 +000023 ber_decode_primitive,
24 der_encode_primitive,
Lev Walkin92302252004-10-23 10:16:51 +000025 OBJECT_IDENTIFIER_decode_xer,
Lev Walkina9cc46e2004-09-22 16:06:28 +000026 OBJECT_IDENTIFIER_encode_xer,
Lev Walkinf15320b2004-06-03 03:38:44 +000027 0, /* Use generic outmost tag fetcher */
Lev Walkin5e033762004-09-29 13:26:15 +000028 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]),
Lev Walkin449f8322004-08-20 13:23:42 +000034 0, 0, /* No members */
Lev Walkind9bd7752004-06-05 08:17:50 +000035 0 /* No specifics */
Lev Walkinf15320b2004-06-03 03:38:44 +000036};
37
38
Lev Walkinf15320b2004-06-03 03:38:44 +000039int
Lev Walkin5e033762004-09-29 13:26:15 +000040OBJECT_IDENTIFIER_constraint(asn_TYPE_descriptor_t *td, const void *sptr,
Lev Walkinf15320b2004-06-03 03:38:44 +000041 asn_app_consume_bytes_f *app_errlog, void *app_key) {
Lev Walkinc2346572004-08-11 09:07:36 +000042 const OBJECT_IDENTIFIER_t *st = (const OBJECT_IDENTIFIER_t *)sptr;
Lev Walkinf15320b2004-06-03 03:38:44 +000043
44 if(st && st->buf) {
45 if(st->size < 1) {
Lev Walkinba4e5182004-08-11 09:44:13 +000046 _ASN_ERRLOG(app_errlog, app_key,
Lev Walkin16835b62004-08-22 13:47:59 +000047 "%s: at least one numerical value "
48 "expected (%s:%d)",
49 td->name, __FILE__, __LINE__);
Lev Walkinf15320b2004-06-03 03:38:44 +000050 return -1;
51 }
52 } else {
Lev Walkinba4e5182004-08-11 09:44:13 +000053 _ASN_ERRLOG(app_errlog, app_key,
Lev Walkin16835b62004-08-22 13:47:59 +000054 "%s: value not given (%s:%d)",
55 td->name, __FILE__, __LINE__);
Lev Walkinf15320b2004-06-03 03:38:44 +000056 return -1;
57 }
58
59 return 0;
60}
61
Lev Walkinc4c61962004-06-14 08:17:27 +000062
Lev Walkinf15320b2004-06-03 03:38:44 +000063int
Lev Walkin8e8078a2004-09-26 13:10:40 +000064OBJECT_IDENTIFIER_get_single_arc(uint8_t *arcbuf, unsigned int arclen, signed int add, void *rvbufp, unsigned int rvsize) {
Lev Walkin188ed2c2004-09-13 08:31:01 +000065 unsigned LE __attribute__ ((unused)) = 1; /* Little endian (x86) */
Lev Walkin29a044b2004-06-14 07:24:36 +000066 uint8_t *arcend = arcbuf + arclen; /* End of arc */
Lev Walkin29a044b2004-06-14 07:24:36 +000067 unsigned int cache = 0; /* No more than 14 significant bits */
Lev Walkin8e8078a2004-09-26 13:10:40 +000068 unsigned char *rvbuf = (unsigned char *)rvbufp;
69 unsigned char *rvstart = rvbuf; /* Original start of the value buffer */
Lev Walkin29a044b2004-06-14 07:24:36 +000070 int inc; /* Return value growth direction */
Lev Walkinf15320b2004-06-03 03:38:44 +000071
Lev Walkin29a044b2004-06-14 07:24:36 +000072 rvsize *= CHAR_BIT; /* bytes to bits */
73 arclen *= 7; /* bytes to bits */
74
75 /*
76 * The arc has the number of bits
77 * cannot be represented using supplied return value type.
78 */
79 if(arclen > rvsize) {
80 if(arclen > (rvsize + CHAR_BIT)) {
81 errno = ERANGE; /* Overflow */
82 return -1;
83 } else {
84 /*
85 * Even if the number of bits in the arc representation
86 * is higher than the width of supplied * return value
87 * type, there is still possible to fit it when there
88 * are few unused high bits in the arc value
89 * representaion.
Lev Walkin0787ff02004-06-17 23:43:39 +000090 *
91 * Moreover, there is a possibility that the
92 * number could actually fit the arc space, given
93 * that add is negative, but we don't handle
94 * such "temporary lack of precision" situation here.
95 * May be considered as a bug.
Lev Walkin29a044b2004-06-14 07:24:36 +000096 */
97 uint8_t mask = (0xff << (7-(arclen - rvsize))) & 0x7f;
98 if((*arcbuf & mask)) {
Lev Walkinf15320b2004-06-03 03:38:44 +000099 errno = ERANGE; /* Overflow */
100 return -1;
101 }
Lev Walkin29a044b2004-06-14 07:24:36 +0000102 /* Fool the routine computing unused bits */
103 arclen -= 7;
104 cache = *arcbuf & 0x7f;
105 arcbuf++;
106 }
107 }
108
Lev Walkinc4c61962004-06-14 08:17:27 +0000109 /* Faster path for common size */
110 if(rvsize == (CHAR_BIT * sizeof(unsigned long))) {
111 unsigned long accum;
112 /* Gather all bits into the accumulator */
113 for(accum = cache; arcbuf < arcend; arcbuf++)
114 accum = (accum << 7) | (*arcbuf & ~0x80);
115 if(accum < (unsigned)-add) {
116 errno = ERANGE; /* Overflow */
117 return -1;
118 }
Lev Walkin8e8078a2004-09-26 13:10:40 +0000119 *(unsigned long *)rvbuf = accum + add; /* alignment OK! */
Lev Walkinc4c61962004-06-14 08:17:27 +0000120 return 0;
121 }
122
Lev Walkin29a044b2004-06-14 07:24:36 +0000123#ifndef WORDS_BIGENDIAN
124 if(*(unsigned char *)&LE) { /* Little endian (x86) */
125 /* "Convert" to big endian */
Lev Walkin8e8078a2004-09-26 13:10:40 +0000126 rvbuf += rvsize / CHAR_BIT - 1;
127 rvstart--;
Lev Walkin29a044b2004-06-14 07:24:36 +0000128 inc = -1; /* Descending */
Lev Walkinc4c61962004-06-14 08:17:27 +0000129 } else
Lev Walkin29a044b2004-06-14 07:24:36 +0000130#endif /* !WORDS_BIGENDIAN */
Lev Walkinc4c61962004-06-14 08:17:27 +0000131 inc = +1; /* Big endian is known [at compile time] */
Lev Walkin29a044b2004-06-14 07:24:36 +0000132
Lev Walkinc4c61962004-06-14 08:17:27 +0000133 {
Lev Walkin0787ff02004-06-17 23:43:39 +0000134 int bits; /* typically no more than 3-4 bits */
Lev Walkinc4c61962004-06-14 08:17:27 +0000135
Lev Walkin29a044b2004-06-14 07:24:36 +0000136 /* Clear the high unused bits */
137 for(bits = rvsize - arclen;
138 bits > CHAR_BIT;
Lev Walkin8e8078a2004-09-26 13:10:40 +0000139 rvbuf += inc, bits -= CHAR_BIT)
140 *rvbuf = 0;
Lev Walkinc4c61962004-06-14 08:17:27 +0000141
Lev Walkin29a044b2004-06-14 07:24:36 +0000142 /* Fill the body of a value */
143 for(; arcbuf < arcend; arcbuf++) {
144 cache = (cache << 7) | (*arcbuf & 0x7f);
145 bits += 7;
146 if(bits >= CHAR_BIT) {
147 bits -= CHAR_BIT;
Lev Walkin8e8078a2004-09-26 13:10:40 +0000148 *rvbuf = (cache >> bits);
149 rvbuf += inc;
Lev Walkin29a044b2004-06-14 07:24:36 +0000150 }
151 }
152 if(bits) {
Lev Walkin8e8078a2004-09-26 13:10:40 +0000153 *rvbuf = cache;
154 rvbuf += inc;
Lev Walkin29a044b2004-06-14 07:24:36 +0000155 }
156 }
157
158 if(add) {
Lev Walkin8e8078a2004-09-26 13:10:40 +0000159 for(rvbuf -= inc; rvbuf != rvstart; rvbuf -= inc) {
160 int v = add + *rvbuf;
Lev Walkin29a044b2004-06-14 07:24:36 +0000161 if(v & (-1 << CHAR_BIT)) {
Lev Walkin8e8078a2004-09-26 13:10:40 +0000162 *rvbuf = (unsigned char)(v + (1 << CHAR_BIT));
Lev Walkin29a044b2004-06-14 07:24:36 +0000163 add = -1;
164 } else {
Lev Walkin8e8078a2004-09-26 13:10:40 +0000165 *rvbuf = v;
Lev Walkin29a044b2004-06-14 07:24:36 +0000166 break;
167 }
168 }
169 if(rvbuf == rvstart) {
170 /* No space to carry over */
Lev Walkinf15320b2004-06-03 03:38:44 +0000171 errno = ERANGE; /* Overflow */
172 return -1;
173 }
174 }
175
Lev Walkinf15320b2004-06-03 03:38:44 +0000176 return 0;
177}
178
Lev Walkina9cc46e2004-09-22 16:06:28 +0000179ssize_t
180OBJECT_IDENTIFIER__dump_arc(uint8_t *arcbuf, int arclen, int add,
Lev Walkinf15320b2004-06-03 03:38:44 +0000181 asn_app_consume_bytes_f *cb, void *app_key) {
182 char scratch[64]; /* Conservative estimate */
183 unsigned long accum; /* Bits accumulator */
184 char *p; /* Position in the scratch buffer */
185
Lev Walkin29a044b2004-06-14 07:24:36 +0000186 if(OBJECT_IDENTIFIER_get_single_arc(arcbuf, arclen, add,
187 &accum, sizeof(accum)))
Lev Walkinf15320b2004-06-03 03:38:44 +0000188 return -1;
189
Lev Walkin3251b8e2004-08-23 09:23:02 +0000190 if(accum) {
Lev Walkina9cc46e2004-09-22 16:06:28 +0000191 ssize_t len;
192
Lev Walkin3251b8e2004-08-23 09:23:02 +0000193 /* Fill the scratch buffer in reverse. */
194 p = scratch + sizeof(scratch);
195 for(; accum; accum /= 10)
Lev Walkina9cc46e2004-09-22 16:06:28 +0000196 *(--p) = (char)(accum % 10) + 0x30; /* Put a digit */
Lev Walkinf15320b2004-06-03 03:38:44 +0000197
Lev Walkina9cc46e2004-09-22 16:06:28 +0000198 len = sizeof(scratch) - (p - scratch);
199 if(cb(p, len, app_key) < 0)
200 return -1;
201 return len;
Lev Walkin3251b8e2004-08-23 09:23:02 +0000202 } else {
203 *scratch = 0x30;
Lev Walkina9cc46e2004-09-22 16:06:28 +0000204 if(cb(scratch, 1, app_key) < 0)
205 return -1;
206 return 1;
Lev Walkin3251b8e2004-08-23 09:23:02 +0000207 }
Lev Walkinf15320b2004-06-03 03:38:44 +0000208}
209
210int
Lev Walkina9cc46e2004-09-22 16:06:28 +0000211OBJECT_IDENTIFIER_print_arc(uint8_t *arcbuf, int arclen, int add,
212 asn_app_consume_bytes_f *cb, void *app_key) {
213
214 if(OBJECT_IDENTIFIER__dump_arc(arcbuf, arclen, add, cb, app_key) < 0)
215 return -1;
216
217 return 0;
218}
219
220static ssize_t
221OBJECT_IDENTIFIER__dump_body(const OBJECT_IDENTIFIER_t *st, asn_app_consume_bytes_f *cb, void *app_key) {
222 ssize_t wrote_len = 0;
Lev Walkinf15320b2004-06-03 03:38:44 +0000223 int startn;
224 int add = 0;
225 int i;
226
Lev Walkinf15320b2004-06-03 03:38:44 +0000227 for(i = 0, startn = 0; i < st->size; i++) {
228 uint8_t b = st->buf[i];
229 if((b & 0x80)) /* Continuation expected */
230 continue;
231
232 if(startn == 0) {
233 /*
234 * First two arcs are encoded through the backdoor.
235 */
236 if(i) {
237 add = -80;
Lev Walkina9cc46e2004-09-22 16:06:28 +0000238 if(cb("2", 1, app_key) < 0) return -1;
Lev Walkinf15320b2004-06-03 03:38:44 +0000239 } else if(b <= 39) {
240 add = 0;
Lev Walkina9cc46e2004-09-22 16:06:28 +0000241 if(cb("0", 1, app_key) < 0) return -1;
Lev Walkinf15320b2004-06-03 03:38:44 +0000242 } else if(b < 79) {
243 add = -40;
Lev Walkina9cc46e2004-09-22 16:06:28 +0000244 if(cb("1", 1, app_key) < 0) return -1;
Lev Walkinf15320b2004-06-03 03:38:44 +0000245 } else {
246 add = -80;
Lev Walkina9cc46e2004-09-22 16:06:28 +0000247 if(cb("2", 1, app_key) < 0) return -1;
Lev Walkinf15320b2004-06-03 03:38:44 +0000248 }
Lev Walkina9cc46e2004-09-22 16:06:28 +0000249 wrote_len += 1;
Lev Walkinf15320b2004-06-03 03:38:44 +0000250 }
251
Lev Walkina9cc46e2004-09-22 16:06:28 +0000252 if(cb(".", 1, app_key) < 0) /* Separate arcs */
Lev Walkinf15320b2004-06-03 03:38:44 +0000253 return -1;
254
Lev Walkina9cc46e2004-09-22 16:06:28 +0000255 add = OBJECT_IDENTIFIER__dump_arc(&st->buf[startn],
256 i - startn + 1, add, cb, app_key);
257 if(add < 0) return -1;
258 wrote_len += 1 + add;
Lev Walkinf15320b2004-06-03 03:38:44 +0000259 startn = i + 1;
260 add = 0;
261 }
262
Lev Walkina9cc46e2004-09-22 16:06:28 +0000263 return wrote_len;
264}
265
Lev Walkin92302252004-10-23 10:16:51 +0000266static ssize_t
267OBJECT_IDENTIFIER__xer_body_decode(void *sptr, void *chunk_buf, size_t chunk_size) {
268 OBJECT_IDENTIFIER_t *st = (OBJECT_IDENTIFIER_t *)sptr;
269 char *endptr;
270 long s_arcs[10];
271 long *arcs = s_arcs;
272 int arcs_count;
273 int ret;
274
275 arcs_count = OBJECT_IDENTIFIER_parse_arcs(
276 (const char *)chunk_buf, chunk_size, arcs, 10, &endptr);
277 if(arcs_count <= 0)
278 return -1; /* Expecting more than zero arcs */
279 if(arcs_count > 10) {
280 arcs = (long *)MALLOC(arcs_count * sizeof(long));
281 if(!arcs) return -1;
282 ret = OBJECT_IDENTIFIER_parse_arcs(
283 (const char *)chunk_buf, chunk_size,
284 arcs, arcs_count, &endptr);
285 if(ret != arcs_count)
286 return -1; /* assert?.. */
287 }
288
289 /*
290 * Convert arcs into BER representation.
291 */
292 ret = OBJECT_IDENTIFIER_set_arcs(st, arcs, sizeof(*arcs), arcs_count);
293 if(ret) return -1;
294 if(arcs != s_arcs) FREEMEM(arcs);
295
296 return endptr - (char *)chunk_buf;
297}
298
299asn_dec_rval_t
300OBJECT_IDENTIFIER_decode_xer(asn_codec_ctx_t *opt_codec_ctx,
301 asn_TYPE_descriptor_t *td, void **sptr, const char *opt_mname,
302 void *buf_ptr, size_t size) {
303
304 return xer_decode_primitive(opt_codec_ctx, td,
305 sptr, sizeof(OBJECT_IDENTIFIER_t), opt_mname,
306 buf_ptr, size, OBJECT_IDENTIFIER__xer_body_decode);
307}
308
Lev Walkina9cc46e2004-09-22 16:06:28 +0000309asn_enc_rval_t
Lev Walkin5e033762004-09-29 13:26:15 +0000310OBJECT_IDENTIFIER_encode_xer(asn_TYPE_descriptor_t *td, void *sptr,
Lev Walkina9cc46e2004-09-22 16:06:28 +0000311 int ilevel, enum xer_encoder_flags_e flags,
312 asn_app_consume_bytes_f *cb, void *app_key) {
313 const OBJECT_IDENTIFIER_t *st = (const OBJECT_IDENTIFIER_t *)sptr;
314 asn_enc_rval_t er;
315
316 (void)ilevel;
317 (void)flags;
318
319 if(!st || !st->buf)
320 _ASN_ENCODE_FAILED;
321
322 er.encoded = OBJECT_IDENTIFIER__dump_body(st, cb, app_key);
323 if(er.encoded < 0) _ASN_ENCODE_FAILED;
324
325 return er;
326}
327
328int
Lev Walkin5e033762004-09-29 13:26:15 +0000329OBJECT_IDENTIFIER_print(asn_TYPE_descriptor_t *td, const void *sptr,
Lev Walkina9cc46e2004-09-22 16:06:28 +0000330 int ilevel, asn_app_consume_bytes_f *cb, void *app_key) {
331 const OBJECT_IDENTIFIER_t *st = (const OBJECT_IDENTIFIER_t *)sptr;
332
333 (void)td; /* Unused argument */
334 (void)ilevel; /* Unused argument */
335
336 if(!st || !st->buf)
Lev Walkin8e8078a2004-09-26 13:10:40 +0000337 return (cb("<absent>", 8, app_key) < 0) ? -1 : 0;
Lev Walkina9cc46e2004-09-22 16:06:28 +0000338
339 /* Dump preamble */
Lev Walkin8e8078a2004-09-26 13:10:40 +0000340 if(cb("{ ", 2, app_key) < 0)
Lev Walkina9cc46e2004-09-22 16:06:28 +0000341 return -1;
342
343 if(OBJECT_IDENTIFIER__dump_body(st, cb, app_key) < 0)
344 return -1;
345
Lev Walkin8e8078a2004-09-26 13:10:40 +0000346 return (cb(" }", 2, app_key) < 0) ? -1 : 0;
Lev Walkinf15320b2004-06-03 03:38:44 +0000347}
348
349int
Lev Walkin29a044b2004-06-14 07:24:36 +0000350OBJECT_IDENTIFIER_get_arcs(OBJECT_IDENTIFIER_t *oid, void *arcs,
351 unsigned int arc_type_size, unsigned int arc_slots) {
Lev Walkin4d9528c2004-08-11 08:10:13 +0000352 void *arcs_end = (char *)arcs + (arc_type_size * arc_slots);
Lev Walkin29a044b2004-06-14 07:24:36 +0000353 int num_arcs = 0;
Lev Walkinf15320b2004-06-03 03:38:44 +0000354 int startn = 0;
355 int add = 0;
356 int i;
357
Lev Walkin0787ff02004-06-17 23:43:39 +0000358 if(!oid || !oid->buf || (arc_slots && arc_type_size <= 1)) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000359 errno = EINVAL;
360 return -1;
361 }
362
363 for(i = 0; i < oid->size; i++) {
364 uint8_t b = oid->buf[i];
365 if((b & 0x80)) /* Continuation expected */
366 continue;
367
Lev Walkin29a044b2004-06-14 07:24:36 +0000368 if(num_arcs == 0) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000369 /*
370 * First two arcs are encoded through the backdoor.
371 */
Lev Walkin29a044b2004-06-14 07:24:36 +0000372 unsigned LE = 1; /* Little endian */
373 int first_arc;
374 num_arcs++;
375 if(!arc_slots) { num_arcs++; continue; }
376
377 if(i) first_arc = 2;
378 else if(b <= 39) first_arc = 0;
379 else if(b < 79) first_arc = 1;
380 else first_arc = 2;
381
382 add = -40 * first_arc;
383 memset(arcs, 0, arc_type_size);
Lev Walkin4d9528c2004-08-11 08:10:13 +0000384 *(unsigned char *)((char *)arcs
Lev Walkin29a044b2004-06-14 07:24:36 +0000385 + ((*(char *)&LE)?0:(arc_type_size - 1)))
386 = first_arc;
Lev Walkin4ce78ca2004-08-25 01:34:11 +0000387 arcs = ((char *)arcs) + arc_type_size;
Lev Walkinf15320b2004-06-03 03:38:44 +0000388 }
389
Lev Walkin29a044b2004-06-14 07:24:36 +0000390 /* Decode, if has space */
391 if(arcs < arcs_end) {
392 if(OBJECT_IDENTIFIER_get_single_arc(&oid->buf[startn],
393 i - startn + 1, add,
394 arcs, arc_type_size))
395 return -1;
Lev Walkinf15320b2004-06-03 03:38:44 +0000396 startn = i + 1;
Lev Walkin4ce78ca2004-08-25 01:34:11 +0000397 arcs = ((char *)arcs) + arc_type_size;
Lev Walkin29a044b2004-06-14 07:24:36 +0000398 add = 0;
Lev Walkinf15320b2004-06-03 03:38:44 +0000399 }
Lev Walkin29a044b2004-06-14 07:24:36 +0000400 num_arcs++;
Lev Walkinf15320b2004-06-03 03:38:44 +0000401 }
402
Lev Walkin29a044b2004-06-14 07:24:36 +0000403 return num_arcs;
Lev Walkinf15320b2004-06-03 03:38:44 +0000404}
405
Lev Walkin0787ff02004-06-17 23:43:39 +0000406
407/*
408 * Save the single value as an object identifier arc.
409 */
Lev Walkin91f5cd02004-08-11 09:10:59 +0000410int
Lev Walkin0787ff02004-06-17 23:43:39 +0000411OBJECT_IDENTIFIER_set_single_arc(uint8_t *arcbuf, void *arcval, unsigned int arcval_size, int prepared_order) {
412 /*
413 * The following conditions must hold:
414 * assert(arcval);
415 * assert(arcval_size > 0);
416 * assert(arcbuf);
417 */
418#ifdef WORDS_BIGENDIAN
419 const unsigned isLittleEndian = 0;
420#else
421 unsigned LE = 1;
422 unsigned isLittleEndian = *(char *)&LE;
423#endif
Lev Walkin0787ff02004-06-17 23:43:39 +0000424 uint8_t *tp, *tend;
425 unsigned int cache;
426 uint8_t *bp = arcbuf;
427 int bits;
Lev Walkin64399722004-08-11 07:17:22 +0000428#ifdef __GNUC__
429 uint8_t buffer[arcval_size];
430#else
431 uint8_t *buffer = alloca(arcval_size);
Lev Walkin7e0d2cb2004-08-11 07:41:45 +0000432 if(!buffer) { errno = ENOMEM; return -1; }
Lev Walkin64399722004-08-11 07:17:22 +0000433#endif
Lev Walkin0787ff02004-06-17 23:43:39 +0000434
435 if(isLittleEndian && !prepared_order) {
Lev Walkin4d9528c2004-08-11 08:10:13 +0000436 uint8_t *a = (unsigned char *)arcval + arcval_size - 1;
Lev Walkinc2346572004-08-11 09:07:36 +0000437 uint8_t *aend = (uint8_t *)arcval;
Lev Walkin0787ff02004-06-17 23:43:39 +0000438 uint8_t *msb = buffer + arcval_size - 1;
439 for(tp = buffer; a >= aend; tp++, a--)
440 if((*tp = *a) && (tp < msb))
441 msb = tp;
442 tend = &buffer[arcval_size];
443 tp = msb; /* Most significant non-zero byte */
444 } else {
445 /* Look for most significant non-zero byte */
Lev Walkin4d9528c2004-08-11 08:10:13 +0000446 tend = (unsigned char *)arcval + arcval_size;
Lev Walkinc2346572004-08-11 09:07:36 +0000447 for(tp = (uint8_t *)arcval; tp < tend - 1; tp++)
Lev Walkin0787ff02004-06-17 23:43:39 +0000448 if(*tp) break;
449 }
450
451 /*
452 * Split the value in 7-bits chunks.
453 */
454 bits = ((tend - tp) * CHAR_BIT) % 7;
455 if(bits) {
456 cache = *tp >> (CHAR_BIT - bits);
457 if(cache) {
458 *bp++ = cache | 0x80;
459 cache = *tp++;
460 bits = CHAR_BIT - bits;
461 } else {
462 bits = -bits;
463 }
464 } else {
465 cache = 0;
466 }
467 for(; tp < tend; tp++) {
468 cache = (cache << CHAR_BIT) + *tp;
469 bits += CHAR_BIT;
470 while(bits >= 7) {
471 bits -= 7;
472 *bp++ = 0x80 | (cache >> bits);
473 }
474 }
475 if(bits) *bp++ = cache;
476 bp[-1] &= 0x7f; /* Clear the last bit */
477
478 return bp - arcbuf;
479}
480
Lev Walkinf15320b2004-06-03 03:38:44 +0000481int
Lev Walkin0787ff02004-06-17 23:43:39 +0000482OBJECT_IDENTIFIER_set_arcs(OBJECT_IDENTIFIER_t *oid, void *arcs, unsigned int arc_type_size, unsigned int arc_slots) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000483 uint8_t *buf;
484 uint8_t *bp;
Lev Walkin0787ff02004-06-17 23:43:39 +0000485 unsigned LE = 1; /* Little endian (x86) */
486 unsigned isLittleEndian = *((char *)&LE);
487 unsigned int arc0;
488 unsigned int arc1;
489 unsigned size;
Lev Walkinc4c61962004-06-14 08:17:27 +0000490 unsigned i;
Lev Walkinf15320b2004-06-03 03:38:44 +0000491
Lev Walkin0787ff02004-06-17 23:43:39 +0000492 if(!oid || !arcs || arc_type_size < 1 || arc_slots < 2) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000493 errno = EINVAL;
494 return -1;
495 }
496
Lev Walkin0787ff02004-06-17 23:43:39 +0000497 switch(arc_type_size) {
498 case sizeof(char):
499 arc0 = ((unsigned char *)arcs)[0];
500 arc1 = ((unsigned char *)arcs)[1];
501 break;
502 case sizeof(short):
503 arc0 = ((unsigned short *)arcs)[0];
504 arc1 = ((unsigned short *)arcs)[1];
505 break;
506 case sizeof(int):
507 arc0 = ((unsigned int *)arcs)[0];
508 arc1 = ((unsigned int *)arcs)[1];
509 break;
510 default:
511 arc1 = arc0 = 0;
512 if(isLittleEndian) { /* Little endian (x86) */
513 unsigned char *ps, *pe;
514 /* If more significant bytes are present,
515 * make them > 255 quick */
Lev Walkin4d9528c2004-08-11 08:10:13 +0000516 for(ps = (unsigned char *)arcs + 1, pe = ps+arc_type_size;
517 ps < pe; ps++)
Lev Walkin0787ff02004-06-17 23:43:39 +0000518 arc0 |= *ps, arc1 |= *(ps + arc_type_size);
519 arc0 <<= CHAR_BIT, arc1 <<= CHAR_BIT;
520 arc0 = *((unsigned char *)arcs + 0);
521 arc1 = *((unsigned char *)arcs + arc_type_size);
522 } else {
523 unsigned char *ps, *pe;
524 /* If more significant bytes are present,
525 * make them > 255 quick */
Lev Walkinc2346572004-08-11 09:07:36 +0000526 for(ps = (unsigned char *)arcs, pe = ps+arc_type_size - 1; ps < pe; ps++)
Lev Walkin0787ff02004-06-17 23:43:39 +0000527 arc0 |= *ps, arc1 |= *(ps + arc_type_size);
528 arc0 = *((unsigned char *)arcs + arc_type_size - 1);
529 arc1 = *((unsigned char *)arcs +(arc_type_size<< 1)-1);
530 }
531 }
532
533 /*
534 * The previous chapter left us with the first and the second arcs.
535 * The values are not precise (that is, they are valid only if
536 * they're less than 255), but OK for the purposes of making
537 * the sanity test below.
538 */
539 if(arc0 <= 1) {
540 if(arc1 >= 39) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000541 /* 8.19.4: At most 39 subsequent values (including 0) */
542 errno = ERANGE;
543 return -1;
544 }
Lev Walkin0787ff02004-06-17 23:43:39 +0000545 } else if(arc0 > 2) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000546 /* 8.19.4: Only three values are allocated from the root node */
547 errno = ERANGE;
548 return -1;
549 }
Lev Walkin0787ff02004-06-17 23:43:39 +0000550 /*
551 * After above tests it is known that the value of arc0 is completely
552 * trustworthy (0..2). However, the arc1's value is still meaningless.
553 */
Lev Walkinf15320b2004-06-03 03:38:44 +0000554
555 /*
556 * Roughly estimate the maximum size necessary to encode these arcs.
Lev Walkin0787ff02004-06-17 23:43:39 +0000557 * This estimation implicitly takes in account the following facts,
558 * that cancel each other:
559 * * the first two arcs are encoded in a single value.
560 * * the first value may require more space (+1 byte)
561 * * the value of the first arc which is in range (0..2)
Lev Walkinf15320b2004-06-03 03:38:44 +0000562 */
Lev Walkin0787ff02004-06-17 23:43:39 +0000563 size = ((arc_type_size * CHAR_BIT + 6) / 7) * arc_slots;
Lev Walkinc2346572004-08-11 09:07:36 +0000564 bp = buf = (uint8_t *)MALLOC(size + 1);
Lev Walkinf15320b2004-06-03 03:38:44 +0000565 if(!buf) {
566 /* ENOMEM */
567 return -1;
568 }
569
570 /*
Lev Walkin0787ff02004-06-17 23:43:39 +0000571 * Encode the first two arcs.
572 * These require special treatment.
Lev Walkinf15320b2004-06-03 03:38:44 +0000573 */
Lev Walkinf15320b2004-06-03 03:38:44 +0000574 {
Lev Walkin0787ff02004-06-17 23:43:39 +0000575 uint8_t *tp;
Lev Walkin90fcd442004-08-11 07:48:19 +0000576#ifdef __GNUC__
577 uint8_t first_value[1 + arc_type_size]; /* of two arcs */
Lev Walkin4d9528c2004-08-11 08:10:13 +0000578 uint8_t *fv = first_value;
Lev Walkin90fcd442004-08-11 07:48:19 +0000579#else
580 uint8_t *first_value = alloca(1 + arc_type_size);
Lev Walkin90fcd442004-08-11 07:48:19 +0000581 uint8_t *fv = first_value;
Lev Walkin4d9528c2004-08-11 08:10:13 +0000582 if(!first_value) {
583 errno = ENOMEM;
584 return -1;
585 }
586#endif
Lev Walkinf15320b2004-06-03 03:38:44 +0000587
Lev Walkin0787ff02004-06-17 23:43:39 +0000588 /*
589 * Simulate first_value = arc0 * 40 + arc1;
590 */
591 /* Copy the second (1'st) arcs[1] into the first_value */
592 *fv++ = 0;
Lev Walkin4ce78ca2004-08-25 01:34:11 +0000593 arcs = ((char *)arcs) + arc_type_size;
Lev Walkin0787ff02004-06-17 23:43:39 +0000594 if(isLittleEndian) {
Lev Walkin4d9528c2004-08-11 08:10:13 +0000595 uint8_t *aend = (unsigned char *)arcs - 1;
596 uint8_t *a1 = (unsigned char *)arcs + arc_type_size - 1;
Lev Walkin0787ff02004-06-17 23:43:39 +0000597 for(; a1 > aend; fv++, a1--) *fv = *a1;
Lev Walkinf15320b2004-06-03 03:38:44 +0000598 } else {
Lev Walkinc2346572004-08-11 09:07:36 +0000599 uint8_t *a1 = (uint8_t *)arcs;
Lev Walkin0787ff02004-06-17 23:43:39 +0000600 uint8_t *aend = a1 + arc_type_size;
601 for(; a1 < aend; fv++, a1++) *fv = *a1;
Lev Walkinf15320b2004-06-03 03:38:44 +0000602 }
Lev Walkin0787ff02004-06-17 23:43:39 +0000603 /* 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;
607 v += arc0;
608 *tp = v;
609 if(v >= (1 << CHAR_BIT)) arc0 = v >> CHAR_BIT;
610 else break;
611 }
612
613 assert(tp >= first_value);
614
615 bp += OBJECT_IDENTIFIER_set_single_arc(bp, first_value,
616 fv - first_value, 1);
617 }
618
619 /*
620 * Save the rest of arcs.
621 */
Lev Walkin4ce78ca2004-08-25 01:34:11 +0000622 for(arcs = ((char *)arcs) + arc_type_size, i = 2;
623 i < arc_slots;
624 i++, arcs = ((char *)arcs) + arc_type_size) {
Lev Walkin0787ff02004-06-17 23:43:39 +0000625 bp += OBJECT_IDENTIFIER_set_single_arc(bp,
626 arcs, arc_type_size, 0);
Lev Walkinf15320b2004-06-03 03:38:44 +0000627 }
628
Lev Walkin34b2a932004-06-17 23:46:45 +0000629 assert((unsigned)(bp - buf) <= size);
Lev Walkinf15320b2004-06-03 03:38:44 +0000630
631 /*
632 * Replace buffer.
633 */
Lev Walkin0787ff02004-06-17 23:43:39 +0000634 oid->size = bp - buf;
Lev Walkinf15320b2004-06-03 03:38:44 +0000635 bp = oid->buf;
636 oid->buf = buf;
637 if(bp) FREEMEM(bp);
638
639 return 0;
640}
Lev Walkinc4c61962004-06-14 08:17:27 +0000641
Lev Walkin92302252004-10-23 10:16:51 +0000642
643int
644OBJECT_IDENTIFIER_parse_arcs(const char *oid_text, ssize_t oid_txt_length,
645 long *arcs, unsigned int arcs_slots, char **oid_text_end) {
646 unsigned int arcs_count = 0;
647 const char *oid_end;
648 long value = 0;
649 enum {
650 ST_SKIPSPACE,
651 ST_WAITDIGITS, /* Next character is expected to be a digit */
652 ST_DIGITS,
653 } state = ST_SKIPSPACE;
654
655 if(!oid_text || oid_txt_length < -1 || (arcs_slots && !arcs)) {
Lev Walkinc17d90f2005-01-17 14:32:45 +0000656 if(oid_text_end) *(const char **)oid_text_end = oid_text;
Lev Walkin92302252004-10-23 10:16:51 +0000657 errno = EINVAL;
658 return -1;
659 }
660
661 if(oid_txt_length == -1)
662 oid_txt_length = strlen(oid_text);
663
664 for(oid_end = oid_text + oid_txt_length; oid_text<oid_end; oid_text++) {
665 switch(*oid_text) {
666 case 0x09: case 0x0a: case 0x0d: case 0x20: /* whitespace */
667 if(state == ST_SKIPSPACE) {
668 continue;
669 } else {
670 break; /* Finish */
671 }
672 case 0x2e: /* '.' */
673 if(state != ST_DIGITS
674 || (oid_text + 1) == oid_end) {
675 state = ST_WAITDIGITS;
676 break;
677 }
678 if(arcs_count < arcs_slots)
679 arcs[arcs_count] = value;
680 arcs_count++;
681 state = ST_WAITDIGITS;
682 continue;
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) {
686 state = ST_DIGITS;
687 value = 0;
688 }
689 if(1) {
690 long new_value = value * 10;
691 if(new_value / 10 != value
692 || (value = new_value + (*oid_text - 0x30)) < 0) {
693 /* Overflow */
694 state = ST_WAITDIGITS;
695 break;
696 }
697 continue;
698 }
699 default:
700 /* Unexpected symbols */
701 state = ST_WAITDIGITS;
702 break;
703 } /* switch() */
704 break;
705 } /* for() */
706
707
Lev Walkinc17d90f2005-01-17 14:32:45 +0000708 if(oid_text_end) *(const char **)oid_text_end = oid_text;
Lev Walkin92302252004-10-23 10:16:51 +0000709
710 /* Finalize last arc */
711 switch(state) {
712 case ST_WAITDIGITS:
713 errno = EINVAL;
714 return -1;
715 case ST_DIGITS:
716 if(arcs_count < arcs_slots)
717 arcs[arcs_count] = value;
718 arcs_count++;
719 /* Fall through */
720 default:
721 return arcs_count;
722 }
723}
724
725