blob: c43ac6387b780fcd94eedfb69f94c92e58ea0eb7 [file] [log] [blame]
Lev Walkinf15320b2004-06-03 03:38:44 +00001/*-
Lev Walkine0b56e02005-02-25 12:10:27 +00002 * Copyright (c) 2003, 2004, 2005 Lev Walkin <vlm@lionet.info>.
3 * All rights reserved.
Lev Walkinf15320b2004-06-03 03:38:44 +00004 * Redistribution and modifications are permitted subject to BSD license.
5 */
Lev Walkina9cc46e2004-09-22 16:06:28 +00006#include <asn_internal.h>
Lev Walkinf15320b2004-06-03 03:38:44 +00007#include <INTEGER.h>
Lev Walkind703ff42004-10-21 11:21:25 +00008#include <asn_codecs_prim.h> /* Encoder and decoder of a primitive type */
Lev Walkinf15320b2004-06-03 03:38:44 +00009#include <errno.h>
10
11/*
12 * INTEGER basic type description.
13 */
Lev Walkin5e033762004-09-29 13:26:15 +000014static ber_tlv_tag_t asn_DEF_INTEGER_tags[] = {
Lev Walkinf15320b2004-06-03 03:38:44 +000015 (ASN_TAG_CLASS_UNIVERSAL | (2 << 2))
16};
Lev Walkin5e033762004-09-29 13:26:15 +000017asn_TYPE_descriptor_t asn_DEF_INTEGER = {
Lev Walkinf15320b2004-06-03 03:38:44 +000018 "INTEGER",
Lev Walkindc06f6b2004-10-20 15:50:55 +000019 "INTEGER",
Lev Walkin8e8078a2004-09-26 13:10:40 +000020 ASN__PRIMITIVE_TYPE_free,
Lev Walkina9cc46e2004-09-22 16:06:28 +000021 INTEGER_print,
Lev Walkinf15320b2004-06-03 03:38:44 +000022 asn_generic_no_constraint,
Lev Walkin8e8078a2004-09-26 13:10:40 +000023 ber_decode_primitive,
Lev Walkinf15320b2004-06-03 03:38:44 +000024 INTEGER_encode_der,
Lev Walkind703ff42004-10-21 11:21:25 +000025 INTEGER_decode_xer,
Lev Walkina9cc46e2004-09-22 16:06:28 +000026 INTEGER_encode_xer,
Lev Walkin59b176e2005-11-26 11:25:14 +000027 INTEGER_decode_uper, /* Unaligned PER decoder */
Lev Walkinf15320b2004-06-03 03:38:44 +000028 0, /* Use generic outmost tag fetcher */
Lev Walkin5e033762004-09-29 13:26:15 +000029 asn_DEF_INTEGER_tags,
30 sizeof(asn_DEF_INTEGER_tags) / sizeof(asn_DEF_INTEGER_tags[0]),
31 asn_DEF_INTEGER_tags, /* Same as above */
32 sizeof(asn_DEF_INTEGER_tags) / sizeof(asn_DEF_INTEGER_tags[0]),
Lev Walkin59b176e2005-11-26 11:25:14 +000033 0, /* No PER visible constraints */
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 +000039 * Encode INTEGER type using DER.
40 */
Lev Walkina9cc46e2004-09-22 16:06:28 +000041asn_enc_rval_t
Lev Walkin5e033762004-09-29 13:26:15 +000042INTEGER_encode_der(asn_TYPE_descriptor_t *td, void *sptr,
Lev Walkinf15320b2004-06-03 03:38:44 +000043 int tag_mode, ber_tlv_tag_t tag,
44 asn_app_consume_bytes_f *cb, void *app_key) {
Lev Walkin8e8078a2004-09-26 13:10:40 +000045 INTEGER_t *st = (INTEGER_t *)sptr;
Lev Walkinf15320b2004-06-03 03:38:44 +000046
47 ASN_DEBUG("%s %s as INTEGER (tm=%d)",
Lev Walkin8e8078a2004-09-26 13:10:40 +000048 cb?"Encoding":"Estimating", td->name, tag_mode);
Lev Walkinf15320b2004-06-03 03:38:44 +000049
50 /*
51 * Canonicalize integer in the buffer.
52 * (Remove too long sign extension, remove some first 0x00 bytes)
53 */
54 if(st->buf) {
55 uint8_t *buf = st->buf;
56 uint8_t *end1 = buf + st->size - 1;
57 int shift;
58
59 /* Compute the number of superfluous leading bytes */
60 for(; buf < end1; buf++) {
61 /*
62 * If the contents octets of an integer value encoding
63 * consist of more than one octet, then the bits of the
64 * first octet and bit 8 of the second octet:
65 * a) shall not all be ones; and
66 * b) shall not all be zero.
67 */
68 switch(*buf) {
69 case 0x00: if((buf[1] & 0x80) == 0)
70 continue;
71 break;
72 case 0xff: if((buf[1] & 0x80))
73 continue;
74 break;
75 }
76 break;
77 }
78
79 /* Remove leading superfluous bytes from the integer */
80 shift = buf - st->buf;
81 if(shift) {
82 uint8_t *nb = st->buf;
83 uint8_t *end;
84
85 st->size -= shift; /* New size, minus bad bytes */
86 end = nb + st->size;
87
88 for(; nb < end; nb++, buf++)
89 *nb = *buf;
90 }
91
92 } /* if(1) */
93
Lev Walkin8e8078a2004-09-26 13:10:40 +000094 return der_encode_primitive(td, sptr, tag_mode, tag, cb, app_key);
Lev Walkinf15320b2004-06-03 03:38:44 +000095}
96
Lev Walkinc2350112005-03-29 17:19:53 +000097static const asn_INTEGER_enum_map_t *INTEGER_map_enum2value(asn_INTEGER_specifics_t *specs, const char *lstart, const char *lstop);
Lev Walkine0b56e02005-02-25 12:10:27 +000098
Lev Walkinf15320b2004-06-03 03:38:44 +000099/*
100 * INTEGER specific human-readable output.
101 */
Lev Walkina9cc46e2004-09-22 16:06:28 +0000102static ssize_t
Lev Walkine0b56e02005-02-25 12:10:27 +0000103INTEGER__dump(asn_TYPE_descriptor_t *td, const INTEGER_t *st, asn_app_consume_bytes_f *cb, void *app_key, int plainOrXER) {
104 asn_INTEGER_specifics_t *specs=(asn_INTEGER_specifics_t *)td->specifics;
Lev Walkindb13f512004-07-19 17:30:25 +0000105 char scratch[32]; /* Enough for 64-bit integer */
Lev Walkinf15320b2004-06-03 03:38:44 +0000106 uint8_t *buf = st->buf;
107 uint8_t *buf_end = st->buf + st->size;
108 signed long accum;
Lev Walkina9cc46e2004-09-22 16:06:28 +0000109 ssize_t wrote = 0;
Lev Walkinf15320b2004-06-03 03:38:44 +0000110 char *p;
111 int ret;
112
Lev Walkindb13f512004-07-19 17:30:25 +0000113 /*
114 * Advance buf pointer until the start of the value's body.
115 * This will make us able to process large integers using simple case,
116 * when the actual value is small
117 * (0x0000000000abcdef would yield a fine 0x00abcdef)
118 */
119 /* Skip the insignificant leading bytes */
120 for(; buf < buf_end-1; buf++) {
121 switch(*buf) {
122 case 0x00: if((buf[1] & 0x80) == 0) continue; break;
123 case 0xff: if((buf[1] & 0x80) != 0) continue; break;
124 }
125 break;
126 }
127
Lev Walkinf15320b2004-06-03 03:38:44 +0000128 /* Simple case: the integer size is small */
Lev Walkindb13f512004-07-19 17:30:25 +0000129 if((size_t)(buf_end - buf) <= sizeof(accum)) {
Lev Walkine0b56e02005-02-25 12:10:27 +0000130 const asn_INTEGER_enum_map_t *el;
131 size_t scrsize;
132 char *scr;
133
134 if(buf == buf_end) {
135 accum = 0;
136 } else {
137 accum = (*buf & 0x80) ? -1 : 0;
138 for(; buf < buf_end; buf++)
139 accum = (accum << 8) | *buf;
140 }
141
Lev Walkinc2350112005-03-29 17:19:53 +0000142 el = INTEGER_map_value2enum(specs, accum);
Lev Walkine0b56e02005-02-25 12:10:27 +0000143 if(el) {
144 scrsize = el->enum_len + 32;
145 scr = (char *)alloca(scrsize);
146 if(plainOrXER == 0)
147 ret = snprintf(scr, scrsize,
148 "%ld (%s)", accum, el->enum_name);
149 else
150 ret = snprintf(scr, scrsize,
151 "<%s/>", el->enum_name);
152 } else if(plainOrXER && specs && specs->strict_enumeration) {
153 ASN_DEBUG("ASN.1 forbids dealing with "
154 "unknown value of ENUMERATED type");
155 errno = EPERM;
156 return -1;
157 } else {
158 scrsize = sizeof(scratch);
159 scr = scratch;
160 ret = snprintf(scr, scrsize, "%ld", accum);
161 }
162 assert(ret > 0 && (size_t)ret < scrsize);
163 return (cb(scr, ret, app_key) < 0) ? -1 : ret;
164 } else if(plainOrXER && specs && specs->strict_enumeration) {
165 /*
166 * Here and earlier, we cannot encode the ENUMERATED values
167 * if there is no corresponding identifier.
168 */
169 ASN_DEBUG("ASN.1 forbids dealing with "
170 "unknown value of ENUMERATED type");
171 errno = EPERM;
172 return -1;
Lev Walkinf15320b2004-06-03 03:38:44 +0000173 }
174
175 /* Output in the long xx:yy:zz... format */
Lev Walkindb13f512004-07-19 17:30:25 +0000176 /* TODO: replace with generic algorithm (Knuth TAOCP Vol 2, 4.3.1) */
Lev Walkinf15320b2004-06-03 03:38:44 +0000177 for(p = scratch; buf < buf_end; buf++) {
Lev Walkin4d9528c2004-08-11 08:10:13 +0000178 static const char *h2c = "0123456789ABCDEF";
Lev Walkindb13f512004-07-19 17:30:25 +0000179 if((p - scratch) >= (ssize_t)(sizeof(scratch) - 4)) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000180 /* Flush buffer */
Lev Walkina9cc46e2004-09-22 16:06:28 +0000181 if(cb(scratch, p - scratch, app_key) < 0)
Lev Walkinf15320b2004-06-03 03:38:44 +0000182 return -1;
Lev Walkina9cc46e2004-09-22 16:06:28 +0000183 wrote += p - scratch;
Lev Walkinf15320b2004-06-03 03:38:44 +0000184 p = scratch;
185 }
186 *p++ = h2c[*buf >> 4];
187 *p++ = h2c[*buf & 0x0F];
Lev Walkin5e033762004-09-29 13:26:15 +0000188 *p++ = 0x3a; /* ":" */
Lev Walkinf15320b2004-06-03 03:38:44 +0000189 }
Lev Walkindb13f512004-07-19 17:30:25 +0000190 if(p != scratch)
Lev Walkin5e033762004-09-29 13:26:15 +0000191 p--; /* Remove the last ":" */
Lev Walkinf15320b2004-06-03 03:38:44 +0000192
Lev Walkina9cc46e2004-09-22 16:06:28 +0000193 wrote += p - scratch;
194 return (cb(scratch, p - scratch, app_key) < 0) ? -1 : wrote;
195}
196
197/*
198 * INTEGER specific human-readable output.
199 */
200int
Lev Walkin5e033762004-09-29 13:26:15 +0000201INTEGER_print(asn_TYPE_descriptor_t *td, const void *sptr, int ilevel,
Lev Walkina9cc46e2004-09-22 16:06:28 +0000202 asn_app_consume_bytes_f *cb, void *app_key) {
203 const INTEGER_t *st = (const INTEGER_t *)sptr;
Lev Walkin8e8078a2004-09-26 13:10:40 +0000204 ssize_t ret;
Lev Walkina9cc46e2004-09-22 16:06:28 +0000205
206 (void)td;
207 (void)ilevel;
208
Lev Walkind500a962005-11-27 13:06:56 +0000209 if(!st || !st->buf)
Lev Walkin8e8078a2004-09-26 13:10:40 +0000210 ret = cb("<absent>", 8, app_key);
211 else
Lev Walkine0b56e02005-02-25 12:10:27 +0000212 ret = INTEGER__dump(td, st, cb, app_key, 0);
Lev Walkina9cc46e2004-09-22 16:06:28 +0000213
Lev Walkin8e8078a2004-09-26 13:10:40 +0000214 return (ret < 0) ? -1 : 0;
Lev Walkina9cc46e2004-09-22 16:06:28 +0000215}
216
Lev Walkine0b56e02005-02-25 12:10:27 +0000217struct e2v_key {
218 const char *start;
219 const char *stop;
220 asn_INTEGER_enum_map_t *vemap;
221 unsigned int *evmap;
222};
223static int
224INTEGER__compar_enum2value(const void *kp, const void *am) {
225 const struct e2v_key *key = (const struct e2v_key *)kp;
226 const asn_INTEGER_enum_map_t *el = (const asn_INTEGER_enum_map_t *)am;
227 const char *ptr, *end, *name;
228
229 /* Remap the element (sort by different criterion) */
230 el = key->vemap + key->evmap[el - key->vemap];
231
232 /* Compare strings */
233 for(ptr = key->start, end = key->stop, name = el->enum_name;
234 ptr < end; ptr++, name++) {
235 if(*ptr != *name)
236 return *(const unsigned char *)ptr
237 - *(const unsigned char *)name;
238 }
239 return name[0] ? -1 : 0;
240}
241
242static const asn_INTEGER_enum_map_t *
Lev Walkinc2350112005-03-29 17:19:53 +0000243INTEGER_map_enum2value(asn_INTEGER_specifics_t *specs, const char *lstart, const char *lstop) {
Lev Walkin9332b652005-03-04 11:18:44 +0000244 asn_INTEGER_enum_map_t *el_found;
Lev Walkine0b56e02005-02-25 12:10:27 +0000245 int count = specs ? specs->map_count : 0;
246 struct e2v_key key;
247 const char *lp;
248
249 if(!count) return NULL;
250
251 /* Guaranteed: assert(lstart < lstop); */
252 /* Figure out the tag name */
253 for(lstart++, lp = lstart; lp < lstop; lp++) {
254 switch(*lp) {
255 case 9: case 10: case 11: case 12: case 13: case 32: /* WSP */
256 case 0x2f: /* '/' */ case 0x3e: /* '>' */
257 break;
258 default:
259 continue;
260 }
261 break;
262 }
263 if(lp == lstop) return NULL; /* No tag found */
264 lstop = lp;
265
266 key.start = lstart;
267 key.stop = lstop;
268 key.vemap = specs->value2enum;
269 key.evmap = specs->enum2value;
Lev Walkin9332b652005-03-04 11:18:44 +0000270 el_found = (asn_INTEGER_enum_map_t *)bsearch(&key,
271 specs->value2enum, count, sizeof(specs->value2enum[0]),
272 INTEGER__compar_enum2value);
273 if(el_found) {
274 /* Remap enum2value into value2enum */
275 el_found = key.vemap + key.evmap[el_found - key.vemap];
276 }
277 return el_found;
Lev Walkine0b56e02005-02-25 12:10:27 +0000278}
279
280static int
281INTEGER__compar_value2enum(const void *kp, const void *am) {
282 long a = *(const long *)kp;
283 const asn_INTEGER_enum_map_t *el = (const asn_INTEGER_enum_map_t *)am;
284 long b = el->nat_value;
285 if(a < b) return -1;
286 else if(a == b) return 0;
287 else return 1;
288}
289
Lev Walkinc2350112005-03-29 17:19:53 +0000290const asn_INTEGER_enum_map_t *
291INTEGER_map_value2enum(asn_INTEGER_specifics_t *specs, long value) {
Lev Walkine0b56e02005-02-25 12:10:27 +0000292 int count = specs ? specs->map_count : 0;
293 if(!count) return 0;
294 return (asn_INTEGER_enum_map_t *)bsearch(&value, specs->value2enum,
295 count, sizeof(specs->value2enum[0]),
296 INTEGER__compar_value2enum);
297}
298
Lev Walkind703ff42004-10-21 11:21:25 +0000299/*
300 * Decode the chunk of XML text encoding INTEGER.
301 */
Lev Walkin0fab1a62005-03-09 22:19:25 +0000302static enum xer_pbd_rval
303INTEGER__xer_body_decode(asn_TYPE_descriptor_t *td, void *sptr, const void *chunk_buf, size_t chunk_size) {
Lev Walkin8471cec2004-10-21 14:02:19 +0000304 INTEGER_t *st = (INTEGER_t *)sptr;
Lev Walkind703ff42004-10-21 11:21:25 +0000305 long sign = 1;
306 long value;
Lev Walkine0b56e02005-02-25 12:10:27 +0000307 const char *lp;
308 const char *lstart = (const char *)chunk_buf;
309 const char *lstop = lstart + chunk_size;
Lev Walkind703ff42004-10-21 11:21:25 +0000310 enum {
311 ST_SKIPSPACE,
312 ST_WAITDIGITS,
313 ST_DIGITS,
Lev Walkinfdb25922005-07-21 09:32:49 +0000314 ST_EXTRASTUFF
Lev Walkind703ff42004-10-21 11:21:25 +0000315 } state = ST_SKIPSPACE;
Lev Walkin0be3a992004-10-21 12:11:57 +0000316
Lev Walkind703ff42004-10-21 11:21:25 +0000317 /*
Lev Walkine0b56e02005-02-25 12:10:27 +0000318 * We may have received a tag here. It will be processed inline.
319 * Use strtoul()-like code and serialize the result.
Lev Walkind703ff42004-10-21 11:21:25 +0000320 */
Lev Walkin0be3a992004-10-21 12:11:57 +0000321 for(value = 0, lp = lstart; lp < lstop; lp++) {
322 int lv = *lp;
Lev Walkind703ff42004-10-21 11:21:25 +0000323 switch(lv) {
324 case 0x09: case 0x0a: case 0x0d: case 0x20:
325 if(state == ST_SKIPSPACE) continue;
326 break;
327 case 0x2d: /* '-' */
328 if(state == ST_SKIPSPACE) {
329 sign = -1;
330 state = ST_WAITDIGITS;
331 continue;
332 }
333 break;
334 case 0x2b: /* '+' */
335 if(state == ST_SKIPSPACE) {
336 state = ST_WAITDIGITS;
337 continue;
338 }
339 break;
340 case 0x30: case 0x31: case 0x32: case 0x33: case 0x34:
341 case 0x35: case 0x36: case 0x37: case 0x38: case 0x39:
342 if(state != ST_DIGITS) state = ST_DIGITS;
343
Lev Walkin0be3a992004-10-21 12:11:57 +0000344 {
345 long new_value = value * 10;
346
347 if(new_value / 10 != value)
348 /* Overflow */
Lev Walkin0fab1a62005-03-09 22:19:25 +0000349 return XPBD_DECODER_LIMIT;
Lev Walkin0be3a992004-10-21 12:11:57 +0000350
351 value = new_value + (lv - 0x30);
Lev Walkind703ff42004-10-21 11:21:25 +0000352 /* Check for two's complement overflow */
353 if(value < 0) {
354 /* Check whether it is a LONG_MIN */
355 if(sign == -1
Lev Walkin8471cec2004-10-21 14:02:19 +0000356 && (unsigned long)value
357 == ~((unsigned long)-1 >> 1)) {
Lev Walkin0be3a992004-10-21 12:11:57 +0000358 sign = 1;
Lev Walkind703ff42004-10-21 11:21:25 +0000359 } else {
360 /* Overflow */
Lev Walkin0fab1a62005-03-09 22:19:25 +0000361 return XPBD_DECODER_LIMIT;
Lev Walkind703ff42004-10-21 11:21:25 +0000362 }
363 }
Lev Walkin0be3a992004-10-21 12:11:57 +0000364 }
Lev Walkind703ff42004-10-21 11:21:25 +0000365 continue;
Lev Walkine0b56e02005-02-25 12:10:27 +0000366 case 0x3c: /* '<' */
367 if(state == ST_SKIPSPACE) {
368 const asn_INTEGER_enum_map_t *el;
Lev Walkinc2350112005-03-29 17:19:53 +0000369 el = INTEGER_map_enum2value(
Lev Walkine0b56e02005-02-25 12:10:27 +0000370 (asn_INTEGER_specifics_t *)
371 td->specifics, lstart, lstop);
372 if(el) {
373 ASN_DEBUG("Found \"%s\" => %ld",
374 el->enum_name, el->nat_value);
375 state = ST_DIGITS;
376 value = el->nat_value;
Lev Walkin806b0bb2005-03-09 22:31:22 +0000377 lp = lstop - 1;
378 continue;
Lev Walkine0b56e02005-02-25 12:10:27 +0000379 }
380 ASN_DEBUG("Unknown identifier for INTEGER");
381 }
Lev Walkin0fab1a62005-03-09 22:19:25 +0000382 return XPBD_BROKEN_ENCODING;
Lev Walkind703ff42004-10-21 11:21:25 +0000383 }
Lev Walkin806b0bb2005-03-09 22:31:22 +0000384
385 /* Found extra non-numeric stuff */
386 state = ST_EXTRASTUFF;
Lev Walkin0be3a992004-10-21 12:11:57 +0000387 break;
Lev Walkind703ff42004-10-21 11:21:25 +0000388 }
389
Lev Walkin0fab1a62005-03-09 22:19:25 +0000390 if(state != ST_DIGITS) {
Lev Walkin806b0bb2005-03-09 22:31:22 +0000391 if(xer_is_whitespace(lp, lstop - lp)) {
392 if(state != ST_EXTRASTUFF)
393 return XPBD_NOT_BODY_IGNORE;
394 /* Fall through */
Lev Walkin0fab1a62005-03-09 22:19:25 +0000395 } else {
396 ASN_DEBUG("No useful digits in output");
397 return XPBD_BROKEN_ENCODING; /* No digits */
398 }
399 }
Lev Walkind703ff42004-10-21 11:21:25 +0000400
401 value *= sign; /* Change sign, if needed */
402
403 if(asn_long2INTEGER(st, value))
Lev Walkin0fab1a62005-03-09 22:19:25 +0000404 return XPBD_SYSTEM_FAILURE;
Lev Walkind703ff42004-10-21 11:21:25 +0000405
Lev Walkin0fab1a62005-03-09 22:19:25 +0000406 return XPBD_BODY_CONSUMED;
Lev Walkind703ff42004-10-21 11:21:25 +0000407}
408
409asn_dec_rval_t
410INTEGER_decode_xer(asn_codec_ctx_t *opt_codec_ctx,
411 asn_TYPE_descriptor_t *td, void **sptr, const char *opt_mname,
Lev Walkin8c3b8542005-03-10 18:52:02 +0000412 const void *buf_ptr, size_t size) {
Lev Walkind703ff42004-10-21 11:21:25 +0000413
414 return xer_decode_primitive(opt_codec_ctx, td,
Lev Walkin8471cec2004-10-21 14:02:19 +0000415 sptr, sizeof(INTEGER_t), opt_mname,
Lev Walkind703ff42004-10-21 11:21:25 +0000416 buf_ptr, size, INTEGER__xer_body_decode);
417}
418
Lev Walkina9cc46e2004-09-22 16:06:28 +0000419asn_enc_rval_t
Lev Walkin5e033762004-09-29 13:26:15 +0000420INTEGER_encode_xer(asn_TYPE_descriptor_t *td, void *sptr,
Lev Walkina9cc46e2004-09-22 16:06:28 +0000421 int ilevel, enum xer_encoder_flags_e flags,
422 asn_app_consume_bytes_f *cb, void *app_key) {
423 const INTEGER_t *st = (const INTEGER_t *)sptr;
424 asn_enc_rval_t er;
425
426 (void)ilevel;
427 (void)flags;
428
Lev Walkind500a962005-11-27 13:06:56 +0000429 if(!st || !st->buf)
Lev Walkina9cc46e2004-09-22 16:06:28 +0000430 _ASN_ENCODE_FAILED;
431
Lev Walkine0b56e02005-02-25 12:10:27 +0000432 er.encoded = INTEGER__dump(td, st, cb, app_key, 1);
Lev Walkina9cc46e2004-09-22 16:06:28 +0000433 if(er.encoded < 0) _ASN_ENCODE_FAILED;
434
Lev Walkin59b176e2005-11-26 11:25:14 +0000435 _ASN_ENCODED_OK(er);
436}
437
438asn_dec_rval_t
439INTEGER_decode_uper(asn_codec_ctx_t *opt_codec_ctx, asn_TYPE_descriptor_t *td,
440 asn_per_constraints_t *constraints, void **sptr, asn_per_data_t *pd) {
441 asn_dec_rval_t rval = { RC_OK, 0 };
442 INTEGER_t *st = (INTEGER_t *)*sptr;
443 asn_per_constraint_t *ct;
444 int repeat;
445
446 (void)opt_codec_ctx;
447
448 if(!st) {
449 st = (INTEGER_t *)(*sptr = CALLOC(1, sizeof(*st)));
450 if(!st) _ASN_DECODE_FAILED;
451 }
452
453 if(!constraints) constraints = td->per_constraints;
454 ct = constraints ? &constraints->value : 0;
455
456 if(ct && ct->flags & APC_EXTENSIBLE) {
457 int inext = per_get_few_bits(pd, 1);
458 if(inext < 0) _ASN_DECODE_FAILED;
459 if(inext) ct = 0;
460 }
461
462 FREEMEM(st->buf);
463 if(ct) {
464 if(ct->flags & APC_SEMI_CONSTRAINED) {
465 st->buf = (uint8_t *)CALLOC(1, 2);
466 if(!st->buf) _ASN_DECODE_FAILED;
467 st->size = 1;
468 } else if(ct->flags & APC_CONSTRAINED && ct->range_bits >= 0) {
469 size_t size = (ct->range_bits + 7) >> 3;
470 st->buf = (uint8_t *)MALLOC(1 + size + 1);
471 if(!st->buf) _ASN_DECODE_FAILED;
472 st->size = size;
473 } else {
474 st->size = 0;
475 }
476 } else {
477 st->size = 0;
478 }
479
480 /* X.691, #12.2.2 */
481 if(ct && ct->flags != APC_UNCONSTRAINED) {
482 /* #10.5.6 */
483 ASN_DEBUG("Integer with range %d bits", ct->range_bits);
484 if(ct->range_bits >= 0) {
485 long value = per_get_few_bits(pd, ct->range_bits);
486 if(value < 0) _ASN_DECODE_FAILED;
487 ASN_DEBUG("Got value %ld + low %ld",
488 value, ct->lower_bound);
489 value += ct->lower_bound;
490 if(asn_long2INTEGER(st, value))
491 _ASN_DECODE_FAILED;
492 return rval;
493 }
494 } else {
495 ASN_DEBUG("Decoding unconstrained integer %s", td->name);
496 }
497
498 /* X.691, #12.2.3, #12.2.4 */
499 do {
500 ssize_t len;
501 void *p;
502 int ret;
503
504 /* Get the PER length */
505 len = uper_get_length(pd, -1, &repeat);
506 if(len < 0) _ASN_DECODE_FAILED;
507
508 p = REALLOC(st->buf, st->size + len + 1);
509 if(!p) _ASN_DECODE_FAILED;
510 st->buf = (uint8_t *)p;
511
512 ret = per_get_many_bits(pd, &st->buf[st->size], 0, 8 * len);
513 if(ret < 0) _ASN_DECODE_FAILED;
514 st->size += len;
515 } while(repeat);
516 st->buf[st->size] = 0; /* JIC */
517
518 /* #12.2.3 */
519 if(ct && ct->lower_bound) {
520 /*
521 * TODO: replace by in-place arithmetics.
522 */
523 long value;
524 if(asn_INTEGER2long(st, &value))
525 _ASN_DECODE_FAILED;
526 if(asn_long2INTEGER(st, value + ct->lower_bound))
527 _ASN_DECODE_FAILED;
528 }
529
530 return rval;
Lev Walkinf15320b2004-06-03 03:38:44 +0000531}
532
Lev Walkinf15320b2004-06-03 03:38:44 +0000533int
Lev Walkin5e033762004-09-29 13:26:15 +0000534asn_INTEGER2long(const INTEGER_t *iptr, long *lptr) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000535 uint8_t *b, *end;
536 size_t size;
537 long l;
538
539 /* Sanity checking */
540 if(!iptr || !iptr->buf || !lptr) {
541 errno = EINVAL;
542 return -1;
543 }
544
545 /* Cache the begin/end of the buffer */
546 b = iptr->buf; /* Start of the INTEGER buffer */
547 size = iptr->size;
548 end = b + size; /* Where to stop */
549
550 if(size > sizeof(long)) {
551 uint8_t *end1 = end - 1;
552 /*
553 * Slightly more advanced processing,
554 * able to >sizeof(long) bytes,
555 * when the actual value is small
556 * (0x0000000000abcdef would yield a fine 0x00abcdef)
557 */
558 /* Skip out the insignificant leading bytes */
559 for(; b < end1; b++) {
560 switch(*b) {
561 case 0x00: if((b[1] & 0x80) == 0) continue; break;
562 case 0xff: if((b[1] & 0x80) != 0) continue; break;
563 }
564 break;
565 }
566
567 size = end - b;
568 if(size > sizeof(long)) {
569 /* Still cannot fit the long */
570 errno = ERANGE;
571 return -1;
572 }
573 }
574
575 /* Shortcut processing of a corner case */
576 if(end == b) {
577 *lptr = 0;
578 return 0;
579 }
580
581 /* Perform the sign initialization */
582 /* Actually l = -(*b >> 7); gains nothing, yet unreadable! */
583 if((*b >> 7)) l = -1; else l = 0;
584
585 /* Conversion engine */
586 for(; b < end; b++)
587 l = (l << 8) | *b;
588
589 *lptr = l;
590 return 0;
591}
Lev Walkind703ff42004-10-21 11:21:25 +0000592
593int
594asn_long2INTEGER(INTEGER_t *st, long value) {
595 uint8_t *buf, *bp;
596 uint8_t *p;
597 uint8_t *pstart;
598 uint8_t *pend1;
Lev Walkind7ad5612004-10-26 08:20:46 +0000599 int littleEndian = 1; /* Run-time detection */
600 int add;
Lev Walkind703ff42004-10-21 11:21:25 +0000601
602 if(!st) {
603 errno = EINVAL;
604 return -1;
605 }
606
Lev Walkin8471cec2004-10-21 14:02:19 +0000607 buf = (uint8_t *)MALLOC(sizeof(value));
Lev Walkind703ff42004-10-21 11:21:25 +0000608 if(!buf) return -1;
609
Lev Walkind7ad5612004-10-26 08:20:46 +0000610 if(*(char *)&littleEndian) {
611 pstart = (uint8_t *)&value + sizeof(value) - 1;
612 pend1 = (uint8_t *)&value;
613 add = -1;
614 } else {
615 pstart = (uint8_t *)&value;
616 pend1 = pstart + sizeof(value) - 1;
617 add = 1;
618 }
619
Lev Walkind703ff42004-10-21 11:21:25 +0000620 /*
621 * If the contents octet consists of more than one octet,
622 * then bits of the first octet and bit 8 of the second octet:
623 * a) shall not all be ones; and
624 * b) shall not all be zero.
625 */
Lev Walkin33700162004-10-26 09:03:31 +0000626 for(p = pstart; p != pend1; p += add) {
Lev Walkind703ff42004-10-21 11:21:25 +0000627 switch(*p) {
Lev Walkin33700162004-10-26 09:03:31 +0000628 case 0x00: if((*(p+add) & 0x80) == 0)
Lev Walkind703ff42004-10-21 11:21:25 +0000629 continue;
630 break;
Lev Walkin33700162004-10-26 09:03:31 +0000631 case 0xff: if((*(p+add) & 0x80))
Lev Walkind703ff42004-10-21 11:21:25 +0000632 continue;
633 break;
634 }
635 break;
636 }
637 /* Copy the integer body */
Lev Walkin33700162004-10-26 09:03:31 +0000638 for(pstart = p, bp = buf, pend1 += add; p != pend1; p += add)
639 *bp++ = *p;
Lev Walkind703ff42004-10-21 11:21:25 +0000640
641 if(st->buf) FREEMEM(st->buf);
642 st->buf = buf;
Lev Walkin33700162004-10-26 09:03:31 +0000643 st->size = bp - buf;
Lev Walkind703ff42004-10-21 11:21:25 +0000644
645 return 0;
646}