blob: 4128e765b2372fa802b7eeb500c39c15fd2c66cb [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
Lev Walkine0b56e02005-02-25 12:10:27 +0000267OBJECT_IDENTIFIER__xer_body_decode(asn_TYPE_descriptor_t *td, void *sptr, void *chunk_buf, size_t chunk_size) {
Lev Walkin92302252004-10-23 10:16:51 +0000268 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
Lev Walkine0b56e02005-02-25 12:10:27 +0000275 (void)td;
276
Lev Walkin92302252004-10-23 10:16:51 +0000277 arcs_count = OBJECT_IDENTIFIER_parse_arcs(
278 (const char *)chunk_buf, chunk_size, arcs, 10, &endptr);
279 if(arcs_count <= 0)
280 return -1; /* Expecting more than zero arcs */
281 if(arcs_count > 10) {
282 arcs = (long *)MALLOC(arcs_count * sizeof(long));
283 if(!arcs) return -1;
284 ret = OBJECT_IDENTIFIER_parse_arcs(
285 (const char *)chunk_buf, chunk_size,
286 arcs, arcs_count, &endptr);
287 if(ret != arcs_count)
288 return -1; /* assert?.. */
289 }
290
291 /*
292 * Convert arcs into BER representation.
293 */
294 ret = OBJECT_IDENTIFIER_set_arcs(st, arcs, sizeof(*arcs), arcs_count);
295 if(ret) return -1;
296 if(arcs != s_arcs) FREEMEM(arcs);
297
298 return endptr - (char *)chunk_buf;
299}
300
301asn_dec_rval_t
302OBJECT_IDENTIFIER_decode_xer(asn_codec_ctx_t *opt_codec_ctx,
303 asn_TYPE_descriptor_t *td, void **sptr, const char *opt_mname,
304 void *buf_ptr, size_t size) {
305
306 return xer_decode_primitive(opt_codec_ctx, td,
307 sptr, sizeof(OBJECT_IDENTIFIER_t), opt_mname,
308 buf_ptr, size, OBJECT_IDENTIFIER__xer_body_decode);
309}
310
Lev Walkina9cc46e2004-09-22 16:06:28 +0000311asn_enc_rval_t
Lev Walkin5e033762004-09-29 13:26:15 +0000312OBJECT_IDENTIFIER_encode_xer(asn_TYPE_descriptor_t *td, void *sptr,
Lev Walkina9cc46e2004-09-22 16:06:28 +0000313 int ilevel, enum xer_encoder_flags_e flags,
314 asn_app_consume_bytes_f *cb, void *app_key) {
315 const OBJECT_IDENTIFIER_t *st = (const OBJECT_IDENTIFIER_t *)sptr;
316 asn_enc_rval_t er;
317
318 (void)ilevel;
319 (void)flags;
320
321 if(!st || !st->buf)
322 _ASN_ENCODE_FAILED;
323
324 er.encoded = OBJECT_IDENTIFIER__dump_body(st, cb, app_key);
325 if(er.encoded < 0) _ASN_ENCODE_FAILED;
326
327 return er;
328}
329
330int
Lev Walkin5e033762004-09-29 13:26:15 +0000331OBJECT_IDENTIFIER_print(asn_TYPE_descriptor_t *td, const void *sptr,
Lev Walkina9cc46e2004-09-22 16:06:28 +0000332 int ilevel, asn_app_consume_bytes_f *cb, void *app_key) {
333 const OBJECT_IDENTIFIER_t *st = (const OBJECT_IDENTIFIER_t *)sptr;
334
335 (void)td; /* Unused argument */
336 (void)ilevel; /* Unused argument */
337
338 if(!st || !st->buf)
Lev Walkin8e8078a2004-09-26 13:10:40 +0000339 return (cb("<absent>", 8, app_key) < 0) ? -1 : 0;
Lev Walkina9cc46e2004-09-22 16:06:28 +0000340
341 /* Dump preamble */
Lev Walkin8e8078a2004-09-26 13:10:40 +0000342 if(cb("{ ", 2, app_key) < 0)
Lev Walkina9cc46e2004-09-22 16:06:28 +0000343 return -1;
344
345 if(OBJECT_IDENTIFIER__dump_body(st, cb, app_key) < 0)
346 return -1;
347
Lev Walkin8e8078a2004-09-26 13:10:40 +0000348 return (cb(" }", 2, app_key) < 0) ? -1 : 0;
Lev Walkinf15320b2004-06-03 03:38:44 +0000349}
350
351int
Lev Walkin29a044b2004-06-14 07:24:36 +0000352OBJECT_IDENTIFIER_get_arcs(OBJECT_IDENTIFIER_t *oid, void *arcs,
353 unsigned int arc_type_size, unsigned int arc_slots) {
Lev Walkin4d9528c2004-08-11 08:10:13 +0000354 void *arcs_end = (char *)arcs + (arc_type_size * arc_slots);
Lev Walkin29a044b2004-06-14 07:24:36 +0000355 int num_arcs = 0;
Lev Walkinf15320b2004-06-03 03:38:44 +0000356 int startn = 0;
357 int add = 0;
358 int i;
359
Lev Walkin0787ff02004-06-17 23:43:39 +0000360 if(!oid || !oid->buf || (arc_slots && arc_type_size <= 1)) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000361 errno = EINVAL;
362 return -1;
363 }
364
365 for(i = 0; i < oid->size; i++) {
366 uint8_t b = oid->buf[i];
367 if((b & 0x80)) /* Continuation expected */
368 continue;
369
Lev Walkin29a044b2004-06-14 07:24:36 +0000370 if(num_arcs == 0) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000371 /*
372 * First two arcs are encoded through the backdoor.
373 */
Lev Walkin29a044b2004-06-14 07:24:36 +0000374 unsigned LE = 1; /* Little endian */
375 int first_arc;
376 num_arcs++;
377 if(!arc_slots) { num_arcs++; continue; }
378
379 if(i) first_arc = 2;
380 else if(b <= 39) first_arc = 0;
381 else if(b < 79) first_arc = 1;
382 else first_arc = 2;
383
384 add = -40 * first_arc;
385 memset(arcs, 0, arc_type_size);
Lev Walkin4d9528c2004-08-11 08:10:13 +0000386 *(unsigned char *)((char *)arcs
Lev Walkin29a044b2004-06-14 07:24:36 +0000387 + ((*(char *)&LE)?0:(arc_type_size - 1)))
388 = first_arc;
Lev Walkin4ce78ca2004-08-25 01:34:11 +0000389 arcs = ((char *)arcs) + arc_type_size;
Lev Walkinf15320b2004-06-03 03:38:44 +0000390 }
391
Lev Walkin29a044b2004-06-14 07:24:36 +0000392 /* Decode, if has space */
393 if(arcs < arcs_end) {
394 if(OBJECT_IDENTIFIER_get_single_arc(&oid->buf[startn],
395 i - startn + 1, add,
396 arcs, arc_type_size))
397 return -1;
Lev Walkinf15320b2004-06-03 03:38:44 +0000398 startn = i + 1;
Lev Walkin4ce78ca2004-08-25 01:34:11 +0000399 arcs = ((char *)arcs) + arc_type_size;
Lev Walkin29a044b2004-06-14 07:24:36 +0000400 add = 0;
Lev Walkinf15320b2004-06-03 03:38:44 +0000401 }
Lev Walkin29a044b2004-06-14 07:24:36 +0000402 num_arcs++;
Lev Walkinf15320b2004-06-03 03:38:44 +0000403 }
404
Lev Walkin29a044b2004-06-14 07:24:36 +0000405 return num_arcs;
Lev Walkinf15320b2004-06-03 03:38:44 +0000406}
407
Lev Walkin0787ff02004-06-17 23:43:39 +0000408
409/*
410 * Save the single value as an object identifier arc.
411 */
Lev Walkin91f5cd02004-08-11 09:10:59 +0000412int
Lev Walkin0787ff02004-06-17 23:43:39 +0000413OBJECT_IDENTIFIER_set_single_arc(uint8_t *arcbuf, void *arcval, unsigned int arcval_size, int prepared_order) {
414 /*
415 * The following conditions must hold:
416 * assert(arcval);
417 * assert(arcval_size > 0);
418 * assert(arcbuf);
419 */
420#ifdef WORDS_BIGENDIAN
421 const unsigned isLittleEndian = 0;
422#else
423 unsigned LE = 1;
424 unsigned isLittleEndian = *(char *)&LE;
425#endif
Lev Walkin0787ff02004-06-17 23:43:39 +0000426 uint8_t *tp, *tend;
427 unsigned int cache;
428 uint8_t *bp = arcbuf;
429 int bits;
Lev Walkin64399722004-08-11 07:17:22 +0000430#ifdef __GNUC__
431 uint8_t buffer[arcval_size];
432#else
433 uint8_t *buffer = alloca(arcval_size);
Lev Walkin7e0d2cb2004-08-11 07:41:45 +0000434 if(!buffer) { errno = ENOMEM; return -1; }
Lev Walkin64399722004-08-11 07:17:22 +0000435#endif
Lev Walkin0787ff02004-06-17 23:43:39 +0000436
437 if(isLittleEndian && !prepared_order) {
Lev Walkin4d9528c2004-08-11 08:10:13 +0000438 uint8_t *a = (unsigned char *)arcval + arcval_size - 1;
Lev Walkinc2346572004-08-11 09:07:36 +0000439 uint8_t *aend = (uint8_t *)arcval;
Lev Walkin0787ff02004-06-17 23:43:39 +0000440 uint8_t *msb = buffer + arcval_size - 1;
441 for(tp = buffer; a >= aend; tp++, a--)
442 if((*tp = *a) && (tp < msb))
443 msb = tp;
444 tend = &buffer[arcval_size];
445 tp = msb; /* Most significant non-zero byte */
446 } else {
447 /* Look for most significant non-zero byte */
Lev Walkin4d9528c2004-08-11 08:10:13 +0000448 tend = (unsigned char *)arcval + arcval_size;
Lev Walkinc2346572004-08-11 09:07:36 +0000449 for(tp = (uint8_t *)arcval; tp < tend - 1; tp++)
Lev Walkin0787ff02004-06-17 23:43:39 +0000450 if(*tp) break;
451 }
452
453 /*
454 * Split the value in 7-bits chunks.
455 */
456 bits = ((tend - tp) * CHAR_BIT) % 7;
457 if(bits) {
458 cache = *tp >> (CHAR_BIT - bits);
459 if(cache) {
460 *bp++ = cache | 0x80;
461 cache = *tp++;
462 bits = CHAR_BIT - bits;
463 } else {
464 bits = -bits;
465 }
466 } else {
467 cache = 0;
468 }
469 for(; tp < tend; tp++) {
470 cache = (cache << CHAR_BIT) + *tp;
471 bits += CHAR_BIT;
472 while(bits >= 7) {
473 bits -= 7;
474 *bp++ = 0x80 | (cache >> bits);
475 }
476 }
477 if(bits) *bp++ = cache;
478 bp[-1] &= 0x7f; /* Clear the last bit */
479
480 return bp - arcbuf;
481}
482
Lev Walkinf15320b2004-06-03 03:38:44 +0000483int
Lev Walkin0787ff02004-06-17 23:43:39 +0000484OBJECT_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 +0000485 uint8_t *buf;
486 uint8_t *bp;
Lev Walkin0787ff02004-06-17 23:43:39 +0000487 unsigned LE = 1; /* Little endian (x86) */
488 unsigned isLittleEndian = *((char *)&LE);
489 unsigned int arc0;
490 unsigned int arc1;
491 unsigned size;
Lev Walkinc4c61962004-06-14 08:17:27 +0000492 unsigned i;
Lev Walkinf15320b2004-06-03 03:38:44 +0000493
Lev Walkin0787ff02004-06-17 23:43:39 +0000494 if(!oid || !arcs || arc_type_size < 1 || arc_slots < 2) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000495 errno = EINVAL;
496 return -1;
497 }
498
Lev Walkin0787ff02004-06-17 23:43:39 +0000499 switch(arc_type_size) {
500 case sizeof(char):
501 arc0 = ((unsigned char *)arcs)[0];
502 arc1 = ((unsigned char *)arcs)[1];
503 break;
504 case sizeof(short):
505 arc0 = ((unsigned short *)arcs)[0];
506 arc1 = ((unsigned short *)arcs)[1];
507 break;
508 case sizeof(int):
509 arc0 = ((unsigned int *)arcs)[0];
510 arc1 = ((unsigned int *)arcs)[1];
511 break;
512 default:
513 arc1 = arc0 = 0;
514 if(isLittleEndian) { /* Little endian (x86) */
515 unsigned char *ps, *pe;
516 /* If more significant bytes are present,
517 * make them > 255 quick */
Lev Walkin4d9528c2004-08-11 08:10:13 +0000518 for(ps = (unsigned char *)arcs + 1, pe = ps+arc_type_size;
519 ps < pe; ps++)
Lev Walkin0787ff02004-06-17 23:43:39 +0000520 arc0 |= *ps, arc1 |= *(ps + arc_type_size);
521 arc0 <<= CHAR_BIT, arc1 <<= CHAR_BIT;
522 arc0 = *((unsigned char *)arcs + 0);
523 arc1 = *((unsigned char *)arcs + arc_type_size);
524 } else {
525 unsigned char *ps, *pe;
526 /* If more significant bytes are present,
527 * make them > 255 quick */
Lev Walkinc2346572004-08-11 09:07:36 +0000528 for(ps = (unsigned char *)arcs, pe = ps+arc_type_size - 1; ps < pe; ps++)
Lev Walkin0787ff02004-06-17 23:43:39 +0000529 arc0 |= *ps, arc1 |= *(ps + arc_type_size);
530 arc0 = *((unsigned char *)arcs + arc_type_size - 1);
531 arc1 = *((unsigned char *)arcs +(arc_type_size<< 1)-1);
532 }
533 }
534
535 /*
536 * The previous chapter left us with the first and the second arcs.
537 * The values are not precise (that is, they are valid only if
538 * they're less than 255), but OK for the purposes of making
539 * the sanity test below.
540 */
541 if(arc0 <= 1) {
542 if(arc1 >= 39) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000543 /* 8.19.4: At most 39 subsequent values (including 0) */
544 errno = ERANGE;
545 return -1;
546 }
Lev Walkin0787ff02004-06-17 23:43:39 +0000547 } else if(arc0 > 2) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000548 /* 8.19.4: Only three values are allocated from the root node */
549 errno = ERANGE;
550 return -1;
551 }
Lev Walkin0787ff02004-06-17 23:43:39 +0000552 /*
553 * After above tests it is known that the value of arc0 is completely
554 * trustworthy (0..2). However, the arc1's value is still meaningless.
555 */
Lev Walkinf15320b2004-06-03 03:38:44 +0000556
557 /*
558 * Roughly estimate the maximum size necessary to encode these arcs.
Lev Walkin0787ff02004-06-17 23:43:39 +0000559 * This estimation implicitly takes in account the following facts,
560 * that cancel each other:
561 * * the first two arcs are encoded in a single value.
562 * * the first value may require more space (+1 byte)
563 * * the value of the first arc which is in range (0..2)
Lev Walkinf15320b2004-06-03 03:38:44 +0000564 */
Lev Walkin0787ff02004-06-17 23:43:39 +0000565 size = ((arc_type_size * CHAR_BIT + 6) / 7) * arc_slots;
Lev Walkinc2346572004-08-11 09:07:36 +0000566 bp = buf = (uint8_t *)MALLOC(size + 1);
Lev Walkinf15320b2004-06-03 03:38:44 +0000567 if(!buf) {
568 /* ENOMEM */
569 return -1;
570 }
571
572 /*
Lev Walkin0787ff02004-06-17 23:43:39 +0000573 * Encode the first two arcs.
574 * These require special treatment.
Lev Walkinf15320b2004-06-03 03:38:44 +0000575 */
Lev Walkinf15320b2004-06-03 03:38:44 +0000576 {
Lev Walkin0787ff02004-06-17 23:43:39 +0000577 uint8_t *tp;
Lev Walkin90fcd442004-08-11 07:48:19 +0000578#ifdef __GNUC__
579 uint8_t first_value[1 + arc_type_size]; /* of two arcs */
Lev Walkin4d9528c2004-08-11 08:10:13 +0000580 uint8_t *fv = first_value;
Lev Walkin90fcd442004-08-11 07:48:19 +0000581#else
582 uint8_t *first_value = alloca(1 + arc_type_size);
Lev Walkin90fcd442004-08-11 07:48:19 +0000583 uint8_t *fv = first_value;
Lev Walkin4d9528c2004-08-11 08:10:13 +0000584 if(!first_value) {
585 errno = ENOMEM;
586 return -1;
587 }
588#endif
Lev Walkinf15320b2004-06-03 03:38:44 +0000589
Lev Walkin0787ff02004-06-17 23:43:39 +0000590 /*
591 * Simulate first_value = arc0 * 40 + arc1;
592 */
593 /* Copy the second (1'st) arcs[1] into the first_value */
594 *fv++ = 0;
Lev Walkin4ce78ca2004-08-25 01:34:11 +0000595 arcs = ((char *)arcs) + arc_type_size;
Lev Walkin0787ff02004-06-17 23:43:39 +0000596 if(isLittleEndian) {
Lev Walkin4d9528c2004-08-11 08:10:13 +0000597 uint8_t *aend = (unsigned char *)arcs - 1;
598 uint8_t *a1 = (unsigned char *)arcs + arc_type_size - 1;
Lev Walkin0787ff02004-06-17 23:43:39 +0000599 for(; a1 > aend; fv++, a1--) *fv = *a1;
Lev Walkinf15320b2004-06-03 03:38:44 +0000600 } else {
Lev Walkinc2346572004-08-11 09:07:36 +0000601 uint8_t *a1 = (uint8_t *)arcs;
Lev Walkin0787ff02004-06-17 23:43:39 +0000602 uint8_t *aend = a1 + arc_type_size;
603 for(; a1 < aend; fv++, a1++) *fv = *a1;
Lev Walkinf15320b2004-06-03 03:38:44 +0000604 }
Lev Walkin0787ff02004-06-17 23:43:39 +0000605 /* Increase the first_value by arc0 */
606 arc0 *= 40; /* (0..80) */
607 for(tp = first_value + arc_type_size; tp >= first_value; tp--) {
608 unsigned int v = *tp;
609 v += arc0;
610 *tp = v;
611 if(v >= (1 << CHAR_BIT)) arc0 = v >> CHAR_BIT;
612 else break;
613 }
614
615 assert(tp >= first_value);
616
617 bp += OBJECT_IDENTIFIER_set_single_arc(bp, first_value,
618 fv - first_value, 1);
619 }
620
621 /*
622 * Save the rest of arcs.
623 */
Lev Walkin4ce78ca2004-08-25 01:34:11 +0000624 for(arcs = ((char *)arcs) + arc_type_size, i = 2;
625 i < arc_slots;
626 i++, arcs = ((char *)arcs) + arc_type_size) {
Lev Walkin0787ff02004-06-17 23:43:39 +0000627 bp += OBJECT_IDENTIFIER_set_single_arc(bp,
628 arcs, arc_type_size, 0);
Lev Walkinf15320b2004-06-03 03:38:44 +0000629 }
630
Lev Walkin34b2a932004-06-17 23:46:45 +0000631 assert((unsigned)(bp - buf) <= size);
Lev Walkinf15320b2004-06-03 03:38:44 +0000632
633 /*
634 * Replace buffer.
635 */
Lev Walkin0787ff02004-06-17 23:43:39 +0000636 oid->size = bp - buf;
Lev Walkinf15320b2004-06-03 03:38:44 +0000637 bp = oid->buf;
638 oid->buf = buf;
639 if(bp) FREEMEM(bp);
640
641 return 0;
642}
Lev Walkinc4c61962004-06-14 08:17:27 +0000643
Lev Walkin92302252004-10-23 10:16:51 +0000644
645int
646OBJECT_IDENTIFIER_parse_arcs(const char *oid_text, ssize_t oid_txt_length,
647 long *arcs, unsigned int arcs_slots, char **oid_text_end) {
648 unsigned int arcs_count = 0;
649 const char *oid_end;
650 long value = 0;
651 enum {
652 ST_SKIPSPACE,
653 ST_WAITDIGITS, /* Next character is expected to be a digit */
654 ST_DIGITS,
655 } state = ST_SKIPSPACE;
656
657 if(!oid_text || oid_txt_length < -1 || (arcs_slots && !arcs)) {
Lev Walkinc17d90f2005-01-17 14:32:45 +0000658 if(oid_text_end) *(const char **)oid_text_end = oid_text;
Lev Walkin92302252004-10-23 10:16:51 +0000659 errno = EINVAL;
660 return -1;
661 }
662
663 if(oid_txt_length == -1)
664 oid_txt_length = strlen(oid_text);
665
666 for(oid_end = oid_text + oid_txt_length; oid_text<oid_end; oid_text++) {
667 switch(*oid_text) {
668 case 0x09: case 0x0a: case 0x0d: case 0x20: /* whitespace */
669 if(state == ST_SKIPSPACE) {
670 continue;
671 } else {
672 break; /* Finish */
673 }
674 case 0x2e: /* '.' */
675 if(state != ST_DIGITS
676 || (oid_text + 1) == oid_end) {
677 state = ST_WAITDIGITS;
678 break;
679 }
680 if(arcs_count < arcs_slots)
681 arcs[arcs_count] = value;
682 arcs_count++;
683 state = ST_WAITDIGITS;
684 continue;
685 case 0x30: case 0x31: case 0x32: case 0x33: case 0x34:
686 case 0x35: case 0x36: case 0x37: case 0x38: case 0x39:
687 if(state != ST_DIGITS) {
688 state = ST_DIGITS;
689 value = 0;
690 }
691 if(1) {
692 long new_value = value * 10;
693 if(new_value / 10 != value
694 || (value = new_value + (*oid_text - 0x30)) < 0) {
695 /* Overflow */
696 state = ST_WAITDIGITS;
697 break;
698 }
699 continue;
700 }
701 default:
702 /* Unexpected symbols */
703 state = ST_WAITDIGITS;
704 break;
705 } /* switch() */
706 break;
707 } /* for() */
708
709
Lev Walkinc17d90f2005-01-17 14:32:45 +0000710 if(oid_text_end) *(const char **)oid_text_end = oid_text;
Lev Walkin92302252004-10-23 10:16:51 +0000711
712 /* Finalize last arc */
713 switch(state) {
714 case ST_WAITDIGITS:
715 errno = EINVAL;
716 return -1;
717 case ST_DIGITS:
718 if(arcs_count < arcs_slots)
719 arcs[arcs_count] = value;
720 arcs_count++;
721 /* Fall through */
722 default:
723 return arcs_count;
724 }
725}
726
727