blob: eeb9ee0c73c4735adc8b8fd17313528e722f4f01 [file] [log] [blame]
Lev Walkinf15320b2004-06-03 03:38:44 +00001/*-
Lev Walkin6c527842014-02-09 04:34:54 -08002 * Copyright (c) 2003-2014 Lev Walkin <vlm@lionet.info>.
Lev Walkine0b56e02005-02-25 12:10:27 +00003 * 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 */
Wim Lewis18c2ec92014-07-29 11:30:10 -070014static const ber_tlv_tag_t asn_DEF_INTEGER_tags[] = {
Lev Walkinf15320b2004-06-03 03:38:44 +000015 (ASN_TAG_CLASS_UNIVERSAL | (2 << 2))
16};
Bi-Ruei, Chiu1f87ac02017-08-20 01:25:45 +080017asn_TYPE_operation_t asn_OP_INTEGER = {
Lev Walkin8077f932017-08-07 17:27:43 -070018 INTEGER_free,
Lev Walkina9cc46e2004-09-22 16:06:28 +000019 INTEGER_print,
Bi-Ruei, Chiue1bf2192017-08-19 00:55:25 +080020 INTEGER_compare,
Lev Walkin8e8078a2004-09-26 13:10:40 +000021 ber_decode_primitive,
Lev Walkinf15320b2004-06-03 03:38:44 +000022 INTEGER_encode_der,
Lev Walkind703ff42004-10-21 11:21:25 +000023 INTEGER_decode_xer,
Lev Walkina9cc46e2004-09-22 16:06:28 +000024 INTEGER_encode_xer,
Lev Walkincc159472017-07-06 08:26:36 -070025#ifdef ASN_DISABLE_OER_SUPPORT
26 0,
27 0,
28#else
Lev Walkin527497f2017-07-14 08:56:36 +040029 INTEGER_decode_oer, /* OER decoder */
30 INTEGER_encode_oer, /* Canonical OER encoder */
Lev Walkincc159472017-07-06 08:26:36 -070031#endif /* ASN_DISABLE_OER_SUPPORT */
Lev Walkinb33425f2017-07-14 14:59:52 +040032#ifdef ASN_DISABLE_PER_SUPPORT
33 0,
34 0,
35#else
36 INTEGER_decode_uper, /* Unaligned PER decoder */
37 INTEGER_encode_uper, /* Unaligned PER encoder */
38#endif /* ASN_DISABLE_PER_SUPPORT */
Lev Walkina5972be2017-09-29 23:15:58 -070039 INTEGER_random_fill,
Bi-Ruei, Chiu1f87ac02017-08-20 01:25:45 +080040 0 /* Use generic outmost tag fetcher */
41};
42asn_TYPE_descriptor_t asn_DEF_INTEGER = {
43 "INTEGER",
44 "INTEGER",
45 &asn_OP_INTEGER,
Lev Walkin5e033762004-09-29 13:26:15 +000046 asn_DEF_INTEGER_tags,
47 sizeof(asn_DEF_INTEGER_tags) / sizeof(asn_DEF_INTEGER_tags[0]),
48 asn_DEF_INTEGER_tags, /* Same as above */
49 sizeof(asn_DEF_INTEGER_tags) / sizeof(asn_DEF_INTEGER_tags[0]),
Lev Walkina5972be2017-09-29 23:15:58 -070050 { 0, 0, asn_generic_no_constraint },
Lev Walkin449f8322004-08-20 13:23:42 +000051 0, 0, /* No members */
Lev Walkind9bd7752004-06-05 08:17:50 +000052 0 /* No specifics */
Lev Walkinf15320b2004-06-03 03:38:44 +000053};
54
55/*
Lev Walkinf15320b2004-06-03 03:38:44 +000056 * Encode INTEGER type using DER.
57 */
Lev Walkina9cc46e2004-09-22 16:06:28 +000058asn_enc_rval_t
Lev Walkin5e033762004-09-29 13:26:15 +000059INTEGER_encode_der(asn_TYPE_descriptor_t *td, void *sptr,
Lev Walkinf15320b2004-06-03 03:38:44 +000060 int tag_mode, ber_tlv_tag_t tag,
61 asn_app_consume_bytes_f *cb, void *app_key) {
Lev Walkin8e8078a2004-09-26 13:10:40 +000062 INTEGER_t *st = (INTEGER_t *)sptr;
Lev Walkinf15320b2004-06-03 03:38:44 +000063
64 ASN_DEBUG("%s %s as INTEGER (tm=%d)",
Lev Walkin8e8078a2004-09-26 13:10:40 +000065 cb?"Encoding":"Estimating", td->name, tag_mode);
Lev Walkinf15320b2004-06-03 03:38:44 +000066
67 /*
68 * Canonicalize integer in the buffer.
69 * (Remove too long sign extension, remove some first 0x00 bytes)
70 */
71 if(st->buf) {
72 uint8_t *buf = st->buf;
73 uint8_t *end1 = buf + st->size - 1;
74 int shift;
75
76 /* Compute the number of superfluous leading bytes */
77 for(; buf < end1; buf++) {
78 /*
79 * If the contents octets of an integer value encoding
80 * consist of more than one octet, then the bits of the
81 * first octet and bit 8 of the second octet:
82 * a) shall not all be ones; and
83 * b) shall not all be zero.
84 */
85 switch(*buf) {
86 case 0x00: if((buf[1] & 0x80) == 0)
87 continue;
88 break;
89 case 0xff: if((buf[1] & 0x80))
90 continue;
91 break;
92 }
93 break;
94 }
95
96 /* Remove leading superfluous bytes from the integer */
97 shift = buf - st->buf;
98 if(shift) {
99 uint8_t *nb = st->buf;
100 uint8_t *end;
101
102 st->size -= shift; /* New size, minus bad bytes */
103 end = nb + st->size;
104
105 for(; nb < end; nb++, buf++)
106 *nb = *buf;
107 }
108
109 } /* if(1) */
110
Lev Walkin8e8078a2004-09-26 13:10:40 +0000111 return der_encode_primitive(td, sptr, tag_mode, tag, cb, app_key);
Lev Walkinf15320b2004-06-03 03:38:44 +0000112}
113
Lev Walkind62a6622017-08-22 02:31:02 -0700114static const asn_INTEGER_enum_map_t *INTEGER_map_enum2value(
115 const asn_INTEGER_specifics_t *specs, const char *lstart,
116 const char *lstop);
Lev Walkine0b56e02005-02-25 12:10:27 +0000117
Lev Walkinf15320b2004-06-03 03:38:44 +0000118/*
119 * INTEGER specific human-readable output.
120 */
Lev Walkina9cc46e2004-09-22 16:06:28 +0000121static ssize_t
Wim Lewis14e6b162014-07-23 16:06:01 -0700122INTEGER__dump(const asn_TYPE_descriptor_t *td, const INTEGER_t *st, asn_app_consume_bytes_f *cb, void *app_key, int plainOrXER) {
Lev Walkind62a6622017-08-22 02:31:02 -0700123 const asn_INTEGER_specifics_t *specs =
124 (const asn_INTEGER_specifics_t *)td->specifics;
125 char scratch[32]; /* Enough for 64-bit integer */
Lev Walkinf15320b2004-06-03 03:38:44 +0000126 uint8_t *buf = st->buf;
127 uint8_t *buf_end = st->buf + st->size;
Lev Walkin72ec9092017-07-05 05:49:12 -0700128 intmax_t value;
Lev Walkina9cc46e2004-09-22 16:06:28 +0000129 ssize_t wrote = 0;
Lev Walkinf15320b2004-06-03 03:38:44 +0000130 char *p;
131 int ret;
132
Lev Walkin97f8edc2013-03-28 04:38:41 -0700133 if(specs && specs->field_unsigned)
Lev Walkin72ec9092017-07-05 05:49:12 -0700134 ret = asn_INTEGER2umax(st, (uintmax_t *)&value);
Lev Walkin97f8edc2013-03-28 04:38:41 -0700135 else
Lev Walkin72ec9092017-07-05 05:49:12 -0700136 ret = asn_INTEGER2imax(st, &value);
Lev Walkindb13f512004-07-19 17:30:25 +0000137
Lev Walkinf15320b2004-06-03 03:38:44 +0000138 /* Simple case: the integer size is small */
Lev Walkin97f8edc2013-03-28 04:38:41 -0700139 if(ret == 0) {
Lev Walkine0b56e02005-02-25 12:10:27 +0000140 const asn_INTEGER_enum_map_t *el;
141 size_t scrsize;
142 char *scr;
143
Lev Walkin97f8edc2013-03-28 04:38:41 -0700144 el = (value >= 0 || !specs || !specs->field_unsigned)
145 ? INTEGER_map_value2enum(specs, value) : 0;
Lev Walkine0b56e02005-02-25 12:10:27 +0000146 if(el) {
147 scrsize = el->enum_len + 32;
148 scr = (char *)alloca(scrsize);
149 if(plainOrXER == 0)
150 ret = snprintf(scr, scrsize,
Lev Walkin72ec9092017-07-05 05:49:12 -0700151 "%" PRIdMAX " (%s)", value, el->enum_name);
Lev Walkine0b56e02005-02-25 12:10:27 +0000152 else
153 ret = snprintf(scr, scrsize,
154 "<%s/>", el->enum_name);
155 } else if(plainOrXER && specs && specs->strict_enumeration) {
156 ASN_DEBUG("ASN.1 forbids dealing with "
157 "unknown value of ENUMERATED type");
158 errno = EPERM;
159 return -1;
160 } else {
161 scrsize = sizeof(scratch);
162 scr = scratch;
Lev Walkin72ec9092017-07-05 05:49:12 -0700163 ret = snprintf(
164 scr, scrsize,
165 (specs && specs->field_unsigned) ? "%" PRIuMAX : "%" PRIdMAX,
166 value);
167 }
Lev Walkine0b56e02005-02-25 12:10:27 +0000168 assert(ret > 0 && (size_t)ret < scrsize);
169 return (cb(scr, ret, app_key) < 0) ? -1 : ret;
170 } else if(plainOrXER && specs && specs->strict_enumeration) {
171 /*
172 * Here and earlier, we cannot encode the ENUMERATED values
173 * if there is no corresponding identifier.
174 */
175 ASN_DEBUG("ASN.1 forbids dealing with "
176 "unknown value of ENUMERATED type");
177 errno = EPERM;
178 return -1;
Lev Walkinf15320b2004-06-03 03:38:44 +0000179 }
180
181 /* Output in the long xx:yy:zz... format */
Lev Walkindb13f512004-07-19 17:30:25 +0000182 /* TODO: replace with generic algorithm (Knuth TAOCP Vol 2, 4.3.1) */
Lev Walkinf15320b2004-06-03 03:38:44 +0000183 for(p = scratch; buf < buf_end; buf++) {
Wim Lewis59e8d282014-08-04 12:39:35 -0700184 const char * const h2c = "0123456789ABCDEF";
Lev Walkindb13f512004-07-19 17:30:25 +0000185 if((p - scratch) >= (ssize_t)(sizeof(scratch) - 4)) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000186 /* Flush buffer */
Lev Walkina9cc46e2004-09-22 16:06:28 +0000187 if(cb(scratch, p - scratch, app_key) < 0)
Lev Walkinf15320b2004-06-03 03:38:44 +0000188 return -1;
Lev Walkina9cc46e2004-09-22 16:06:28 +0000189 wrote += p - scratch;
Lev Walkinf15320b2004-06-03 03:38:44 +0000190 p = scratch;
191 }
192 *p++ = h2c[*buf >> 4];
193 *p++ = h2c[*buf & 0x0F];
Lev Walkin5e033762004-09-29 13:26:15 +0000194 *p++ = 0x3a; /* ":" */
Lev Walkinf15320b2004-06-03 03:38:44 +0000195 }
Lev Walkindb13f512004-07-19 17:30:25 +0000196 if(p != scratch)
Lev Walkin5e033762004-09-29 13:26:15 +0000197 p--; /* Remove the last ":" */
Lev Walkinf15320b2004-06-03 03:38:44 +0000198
Lev Walkina9cc46e2004-09-22 16:06:28 +0000199 wrote += p - scratch;
200 return (cb(scratch, p - scratch, app_key) < 0) ? -1 : wrote;
201}
202
203/*
204 * INTEGER specific human-readable output.
205 */
206int
Lev Walkin5e033762004-09-29 13:26:15 +0000207INTEGER_print(asn_TYPE_descriptor_t *td, const void *sptr, int ilevel,
Lev Walkina9cc46e2004-09-22 16:06:28 +0000208 asn_app_consume_bytes_f *cb, void *app_key) {
209 const INTEGER_t *st = (const INTEGER_t *)sptr;
Lev Walkin8e8078a2004-09-26 13:10:40 +0000210 ssize_t ret;
Lev Walkina9cc46e2004-09-22 16:06:28 +0000211
212 (void)td;
213 (void)ilevel;
214
Lev Walkind500a962005-11-27 13:06:56 +0000215 if(!st || !st->buf)
Lev Walkin8e8078a2004-09-26 13:10:40 +0000216 ret = cb("<absent>", 8, app_key);
217 else
Lev Walkine0b56e02005-02-25 12:10:27 +0000218 ret = INTEGER__dump(td, st, cb, app_key, 0);
Lev Walkina9cc46e2004-09-22 16:06:28 +0000219
Lev Walkin8e8078a2004-09-26 13:10:40 +0000220 return (ret < 0) ? -1 : 0;
Lev Walkina9cc46e2004-09-22 16:06:28 +0000221}
222
Lev Walkine0b56e02005-02-25 12:10:27 +0000223struct e2v_key {
224 const char *start;
225 const char *stop;
Wim Lewisfb6344e2014-07-28 12:16:01 -0700226 const asn_INTEGER_enum_map_t *vemap;
227 const unsigned int *evmap;
Lev Walkine0b56e02005-02-25 12:10:27 +0000228};
229static int
230INTEGER__compar_enum2value(const void *kp, const void *am) {
231 const struct e2v_key *key = (const struct e2v_key *)kp;
232 const asn_INTEGER_enum_map_t *el = (const asn_INTEGER_enum_map_t *)am;
233 const char *ptr, *end, *name;
234
235 /* Remap the element (sort by different criterion) */
236 el = key->vemap + key->evmap[el - key->vemap];
237
238 /* Compare strings */
239 for(ptr = key->start, end = key->stop, name = el->enum_name;
240 ptr < end; ptr++, name++) {
Lev Walkin793982a2017-10-02 14:12:51 -0700241 if(*ptr != *name || !*name)
Lev Walkine0b56e02005-02-25 12:10:27 +0000242 return *(const unsigned char *)ptr
243 - *(const unsigned char *)name;
244 }
245 return name[0] ? -1 : 0;
246}
247
248static const asn_INTEGER_enum_map_t *
Lev Walkind62a6622017-08-22 02:31:02 -0700249INTEGER_map_enum2value(const asn_INTEGER_specifics_t *specs, const char *lstart,
250 const char *lstop) {
251 const asn_INTEGER_enum_map_t *el_found;
Lev Walkine0b56e02005-02-25 12:10:27 +0000252 int count = specs ? specs->map_count : 0;
253 struct e2v_key key;
254 const char *lp;
255
256 if(!count) return NULL;
257
258 /* Guaranteed: assert(lstart < lstop); */
259 /* Figure out the tag name */
260 for(lstart++, lp = lstart; lp < lstop; lp++) {
261 switch(*lp) {
262 case 9: case 10: case 11: case 12: case 13: case 32: /* WSP */
263 case 0x2f: /* '/' */ case 0x3e: /* '>' */
264 break;
265 default:
266 continue;
267 }
268 break;
269 }
270 if(lp == lstop) return NULL; /* No tag found */
271 lstop = lp;
272
273 key.start = lstart;
274 key.stop = lstop;
275 key.vemap = specs->value2enum;
276 key.evmap = specs->enum2value;
Lev Walkin9332b652005-03-04 11:18:44 +0000277 el_found = (asn_INTEGER_enum_map_t *)bsearch(&key,
278 specs->value2enum, count, sizeof(specs->value2enum[0]),
279 INTEGER__compar_enum2value);
280 if(el_found) {
281 /* Remap enum2value into value2enum */
282 el_found = key.vemap + key.evmap[el_found - key.vemap];
283 }
284 return el_found;
Lev Walkine0b56e02005-02-25 12:10:27 +0000285}
286
287static int
288INTEGER__compar_value2enum(const void *kp, const void *am) {
289 long a = *(const long *)kp;
290 const asn_INTEGER_enum_map_t *el = (const asn_INTEGER_enum_map_t *)am;
291 long b = el->nat_value;
292 if(a < b) return -1;
293 else if(a == b) return 0;
294 else return 1;
295}
296
Lev Walkinc2350112005-03-29 17:19:53 +0000297const asn_INTEGER_enum_map_t *
Lev Walkind62a6622017-08-22 02:31:02 -0700298INTEGER_map_value2enum(const asn_INTEGER_specifics_t *specs, long value) {
Lev Walkine0b56e02005-02-25 12:10:27 +0000299 int count = specs ? specs->map_count : 0;
300 if(!count) return 0;
301 return (asn_INTEGER_enum_map_t *)bsearch(&value, specs->value2enum,
302 count, sizeof(specs->value2enum[0]),
303 INTEGER__compar_value2enum);
304}
305
Lev Walkinc744a022006-09-15 18:33:25 +0000306static int
307INTEGER_st_prealloc(INTEGER_t *st, int min_size) {
308 void *p = MALLOC(min_size + 1);
309 if(p) {
310 void *b = st->buf;
311 st->size = 0;
312 st->buf = p;
313 FREEMEM(b);
314 return 0;
315 } else {
316 return -1;
317 }
318}
319
Lev Walkind703ff42004-10-21 11:21:25 +0000320/*
321 * Decode the chunk of XML text encoding INTEGER.
322 */
Lev Walkin0fab1a62005-03-09 22:19:25 +0000323static enum xer_pbd_rval
324INTEGER__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 +0000325 INTEGER_t *st = (INTEGER_t *)sptr;
Lev Walkin72ec9092017-07-05 05:49:12 -0700326 intmax_t dec_value;
327 intmax_t hex_value = 0;
Lev Walkine0b56e02005-02-25 12:10:27 +0000328 const char *lp;
329 const char *lstart = (const char *)chunk_buf;
330 const char *lstop = lstart + chunk_size;
Lev Walkind703ff42004-10-21 11:21:25 +0000331 enum {
Lev Walkine09f9f12012-09-02 23:06:35 -0700332 ST_LEADSPACE,
Lev Walkinc744a022006-09-15 18:33:25 +0000333 ST_SKIPSPHEX,
Lev Walkind703ff42004-10-21 11:21:25 +0000334 ST_WAITDIGITS,
335 ST_DIGITS,
Lev Walkine09f9f12012-09-02 23:06:35 -0700336 ST_DIGITS_TRAILSPACE,
Lev Walkinc744a022006-09-15 18:33:25 +0000337 ST_HEXDIGIT1,
338 ST_HEXDIGIT2,
Lev Walkinf6da1792012-09-04 14:40:57 -0700339 ST_HEXDIGITS_TRAILSPACE,
Lev Walkinc744a022006-09-15 18:33:25 +0000340 ST_HEXCOLON,
Lev Walkine09f9f12012-09-02 23:06:35 -0700341 ST_END_ENUM,
342 ST_UNEXPECTED
343 } state = ST_LEADSPACE;
344 const char *dec_value_start = 0; /* INVARIANT: always !0 in ST_DIGITS */
345 const char *dec_value_end = 0;
Lev Walkin0be3a992004-10-21 12:11:57 +0000346
Lev Walkinc744a022006-09-15 18:33:25 +0000347 if(chunk_size)
Lev Walkin345e4c62006-10-19 02:44:08 +0000348 ASN_DEBUG("INTEGER body %ld 0x%2x..0x%2x",
349 (long)chunk_size, *lstart, lstop[-1]);
Lev Walkinc744a022006-09-15 18:33:25 +0000350
Lev Walkin3d6fcfe2012-01-23 04:05:13 +0000351 if(INTEGER_st_prealloc(st, (chunk_size/3) + 1))
352 return XPBD_SYSTEM_FAILURE;
353
Lev Walkind703ff42004-10-21 11:21:25 +0000354 /*
Lev Walkine0b56e02005-02-25 12:10:27 +0000355 * We may have received a tag here. It will be processed inline.
356 * Use strtoul()-like code and serialize the result.
Lev Walkind703ff42004-10-21 11:21:25 +0000357 */
Lev Walkinb3751942012-09-02 19:36:47 -0700358 for(lp = lstart; lp < lstop; lp++) {
Lev Walkin0be3a992004-10-21 12:11:57 +0000359 int lv = *lp;
Lev Walkind703ff42004-10-21 11:21:25 +0000360 switch(lv) {
361 case 0x09: case 0x0a: case 0x0d: case 0x20:
Lev Walkinc744a022006-09-15 18:33:25 +0000362 switch(state) {
Lev Walkine09f9f12012-09-02 23:06:35 -0700363 case ST_LEADSPACE:
364 case ST_DIGITS_TRAILSPACE:
Lev Walkinf6da1792012-09-04 14:40:57 -0700365 case ST_HEXDIGITS_TRAILSPACE:
Lev Walkinc744a022006-09-15 18:33:25 +0000366 case ST_SKIPSPHEX:
367 continue;
Lev Walkine09f9f12012-09-02 23:06:35 -0700368 case ST_DIGITS:
369 dec_value_end = lp;
370 state = ST_DIGITS_TRAILSPACE;
371 continue;
Lev Walkinf6da1792012-09-04 14:40:57 -0700372 case ST_HEXCOLON:
373 state = ST_HEXDIGITS_TRAILSPACE;
374 continue;
Lev Walkinc744a022006-09-15 18:33:25 +0000375 default:
376 break;
377 }
Lev Walkind703ff42004-10-21 11:21:25 +0000378 break;
379 case 0x2d: /* '-' */
Lev Walkine09f9f12012-09-02 23:06:35 -0700380 if(state == ST_LEADSPACE) {
381 dec_value = 0;
382 dec_value_start = lp;
Lev Walkind703ff42004-10-21 11:21:25 +0000383 state = ST_WAITDIGITS;
384 continue;
385 }
386 break;
387 case 0x2b: /* '+' */
Lev Walkine09f9f12012-09-02 23:06:35 -0700388 if(state == ST_LEADSPACE) {
389 dec_value = 0;
390 dec_value_start = lp;
Lev Walkind703ff42004-10-21 11:21:25 +0000391 state = ST_WAITDIGITS;
392 continue;
393 }
394 break;
395 case 0x30: case 0x31: case 0x32: case 0x33: case 0x34:
396 case 0x35: case 0x36: case 0x37: case 0x38: case 0x39:
Lev Walkinc744a022006-09-15 18:33:25 +0000397 switch(state) {
Lev Walkinb3751942012-09-02 19:36:47 -0700398 case ST_DIGITS: continue;
Lev Walkinc744a022006-09-15 18:33:25 +0000399 case ST_SKIPSPHEX: /* Fall through */
400 case ST_HEXDIGIT1:
Lev Walkinb3751942012-09-02 19:36:47 -0700401 hex_value = (lv - 0x30) << 4;
Lev Walkinc744a022006-09-15 18:33:25 +0000402 state = ST_HEXDIGIT2;
403 continue;
404 case ST_HEXDIGIT2:
Lev Walkinb3751942012-09-02 19:36:47 -0700405 hex_value += (lv - 0x30);
Lev Walkinc744a022006-09-15 18:33:25 +0000406 state = ST_HEXCOLON;
Lev Walkinb3751942012-09-02 19:36:47 -0700407 st->buf[st->size++] = (uint8_t)hex_value;
Lev Walkinc744a022006-09-15 18:33:25 +0000408 continue;
409 case ST_HEXCOLON:
410 return XPBD_BROKEN_ENCODING;
Lev Walkine09f9f12012-09-02 23:06:35 -0700411 case ST_LEADSPACE:
412 dec_value = 0;
413 dec_value_start = lp;
414 /* FALL THROUGH */
415 case ST_WAITDIGITS:
Lev Walkinc744a022006-09-15 18:33:25 +0000416 state = ST_DIGITS;
Lev Walkinb3751942012-09-02 19:36:47 -0700417 continue;
Lev Walkine09f9f12012-09-02 23:06:35 -0700418 default:
419 break;
Lev Walkinc744a022006-09-15 18:33:25 +0000420 }
Lev Walkine09f9f12012-09-02 23:06:35 -0700421 break;
422 case 0x3c: /* '<', start of XML encoded enumeration */
423 if(state == ST_LEADSPACE) {
Lev Walkine0b56e02005-02-25 12:10:27 +0000424 const asn_INTEGER_enum_map_t *el;
Lev Walkinc2350112005-03-29 17:19:53 +0000425 el = INTEGER_map_enum2value(
Lev Walkind62a6622017-08-22 02:31:02 -0700426 (const asn_INTEGER_specifics_t *)
Lev Walkine0b56e02005-02-25 12:10:27 +0000427 td->specifics, lstart, lstop);
428 if(el) {
429 ASN_DEBUG("Found \"%s\" => %ld",
430 el->enum_name, el->nat_value);
Lev Walkine09f9f12012-09-02 23:06:35 -0700431 dec_value = el->nat_value;
432 state = ST_END_ENUM;
Lev Walkin806b0bb2005-03-09 22:31:22 +0000433 lp = lstop - 1;
434 continue;
Lev Walkine0b56e02005-02-25 12:10:27 +0000435 }
436 ASN_DEBUG("Unknown identifier for INTEGER");
437 }
Lev Walkin0fab1a62005-03-09 22:19:25 +0000438 return XPBD_BROKEN_ENCODING;
Lev Walkinc744a022006-09-15 18:33:25 +0000439 case 0x3a: /* ':' */
440 if(state == ST_HEXCOLON) {
441 /* This colon is expected */
442 state = ST_HEXDIGIT1;
443 continue;
444 } else if(state == ST_DIGITS) {
445 /* The colon here means that we have
446 * decoded the first two hexadecimal
447 * places as a decimal value.
448 * Switch decoding mode. */
449 ASN_DEBUG("INTEGER re-evaluate as hex form");
Lev Walkinc744a022006-09-15 18:33:25 +0000450 state = ST_SKIPSPHEX;
Lev Walkine09f9f12012-09-02 23:06:35 -0700451 dec_value_start = 0;
Lev Walkinc744a022006-09-15 18:33:25 +0000452 lp = lstart - 1;
453 continue;
454 } else {
Lev Walkin2e763992011-07-21 01:17:37 +0400455 ASN_DEBUG("state %d at %ld", state, (long)(lp - lstart));
Lev Walkinc744a022006-09-15 18:33:25 +0000456 break;
457 }
458 /* [A-Fa-f] */
459 case 0x41:case 0x42:case 0x43:case 0x44:case 0x45:case 0x46:
460 case 0x61:case 0x62:case 0x63:case 0x64:case 0x65:case 0x66:
461 switch(state) {
462 case ST_SKIPSPHEX:
Lev Walkine09f9f12012-09-02 23:06:35 -0700463 case ST_LEADSPACE: /* Fall through */
Lev Walkinc744a022006-09-15 18:33:25 +0000464 case ST_HEXDIGIT1:
Lev Walkine09f9f12012-09-02 23:06:35 -0700465 hex_value = lv - ((lv < 0x61) ? 0x41 : 0x61);
466 hex_value += 10;
467 hex_value <<= 4;
Lev Walkinc744a022006-09-15 18:33:25 +0000468 state = ST_HEXDIGIT2;
469 continue;
470 case ST_HEXDIGIT2:
Lev Walkine09f9f12012-09-02 23:06:35 -0700471 hex_value += lv - ((lv < 0x61) ? 0x41 : 0x61);
472 hex_value += 10;
473 st->buf[st->size++] = (uint8_t)hex_value;
Lev Walkinc744a022006-09-15 18:33:25 +0000474 state = ST_HEXCOLON;
475 continue;
476 case ST_DIGITS:
477 ASN_DEBUG("INTEGER re-evaluate as hex form");
Lev Walkinc744a022006-09-15 18:33:25 +0000478 state = ST_SKIPSPHEX;
Lev Walkine09f9f12012-09-02 23:06:35 -0700479 dec_value_start = 0;
Lev Walkinc744a022006-09-15 18:33:25 +0000480 lp = lstart - 1;
481 continue;
482 default:
483 break;
484 }
485 break;
Lev Walkind703ff42004-10-21 11:21:25 +0000486 }
Lev Walkin806b0bb2005-03-09 22:31:22 +0000487
488 /* Found extra non-numeric stuff */
Lev Walkine09f9f12012-09-02 23:06:35 -0700489 ASN_DEBUG("INTEGER :: Found non-numeric 0x%2x at %ld",
Lev Walkin2e763992011-07-21 01:17:37 +0400490 lv, (long)(lp - lstart));
Lev Walkine09f9f12012-09-02 23:06:35 -0700491 state = ST_UNEXPECTED;
Lev Walkin0be3a992004-10-21 12:11:57 +0000492 break;
Lev Walkind703ff42004-10-21 11:21:25 +0000493 }
494
Lev Walkinc744a022006-09-15 18:33:25 +0000495 switch(state) {
Lev Walkine09f9f12012-09-02 23:06:35 -0700496 case ST_END_ENUM:
497 /* Got a complete and valid enumeration encoded as a tag. */
498 break;
Lev Walkinc744a022006-09-15 18:33:25 +0000499 case ST_DIGITS:
Lev Walkine09f9f12012-09-02 23:06:35 -0700500 dec_value_end = lstop;
Lev Walkincad560a2013-03-16 07:00:58 -0700501 /* FALL THROUGH */
Lev Walkine09f9f12012-09-02 23:06:35 -0700502 case ST_DIGITS_TRAILSPACE:
503 /* The last symbol encountered was a digit. */
Lev Walkincad560a2013-03-16 07:00:58 -0700504 switch(asn_strtol_lim(dec_value_start, &dec_value_end, &dec_value)) {
Lev Walkin72ec9092017-07-05 05:49:12 -0700505 case ASN_STRTOX_OK:
Lev Walkine09f9f12012-09-02 23:06:35 -0700506 break;
Lev Walkin72ec9092017-07-05 05:49:12 -0700507 case ASN_STRTOX_ERROR_RANGE:
Lev Walkine09f9f12012-09-02 23:06:35 -0700508 return XPBD_DECODER_LIMIT;
Lev Walkin72ec9092017-07-05 05:49:12 -0700509 case ASN_STRTOX_ERROR_INVAL:
510 case ASN_STRTOX_EXPECT_MORE:
511 case ASN_STRTOX_EXTRA_DATA:
Lev Walkine09f9f12012-09-02 23:06:35 -0700512 return XPBD_BROKEN_ENCODING;
513 }
Lev Walkinc744a022006-09-15 18:33:25 +0000514 break;
515 case ST_HEXCOLON:
Lev Walkinf6da1792012-09-04 14:40:57 -0700516 case ST_HEXDIGITS_TRAILSPACE:
Lev Walkinc744a022006-09-15 18:33:25 +0000517 st->buf[st->size] = 0; /* Just in case termination */
518 return XPBD_BODY_CONSUMED;
519 case ST_HEXDIGIT1:
520 case ST_HEXDIGIT2:
521 case ST_SKIPSPHEX:
522 return XPBD_BROKEN_ENCODING;
Lev Walkin632f20b2012-09-04 13:14:29 -0700523 case ST_LEADSPACE:
524 /* Content not found */
525 return XPBD_NOT_BODY_IGNORE;
526 case ST_WAITDIGITS:
527 case ST_UNEXPECTED:
Lev Walkine09f9f12012-09-02 23:06:35 -0700528 ASN_DEBUG("INTEGER: No useful digits (state %d)", state);
529 return XPBD_BROKEN_ENCODING; /* No digits */
Lev Walkin0fab1a62005-03-09 22:19:25 +0000530 }
Lev Walkind703ff42004-10-21 11:21:25 +0000531
Lev Walkine09f9f12012-09-02 23:06:35 -0700532 /*
533 * Convert the result of parsing of enumeration or a straight
534 * decimal value into a BER representation.
535 */
536 if(asn_long2INTEGER(st, dec_value))
Lev Walkin0fab1a62005-03-09 22:19:25 +0000537 return XPBD_SYSTEM_FAILURE;
Lev Walkind703ff42004-10-21 11:21:25 +0000538
Lev Walkin0fab1a62005-03-09 22:19:25 +0000539 return XPBD_BODY_CONSUMED;
Lev Walkind703ff42004-10-21 11:21:25 +0000540}
541
542asn_dec_rval_t
Lev Walkinafbf2a92017-09-12 23:30:27 -0700543INTEGER_decode_xer(const asn_codec_ctx_t *opt_codec_ctx,
Lev Walkind703ff42004-10-21 11:21:25 +0000544 asn_TYPE_descriptor_t *td, void **sptr, const char *opt_mname,
Lev Walkin8c3b8542005-03-10 18:52:02 +0000545 const void *buf_ptr, size_t size) {
Lev Walkind703ff42004-10-21 11:21:25 +0000546
547 return xer_decode_primitive(opt_codec_ctx, td,
Lev Walkin8471cec2004-10-21 14:02:19 +0000548 sptr, sizeof(INTEGER_t), opt_mname,
Lev Walkind703ff42004-10-21 11:21:25 +0000549 buf_ptr, size, INTEGER__xer_body_decode);
550}
551
Lev Walkina9cc46e2004-09-22 16:06:28 +0000552asn_enc_rval_t
Lev Walkin5e033762004-09-29 13:26:15 +0000553INTEGER_encode_xer(asn_TYPE_descriptor_t *td, void *sptr,
Lev Walkina9cc46e2004-09-22 16:06:28 +0000554 int ilevel, enum xer_encoder_flags_e flags,
555 asn_app_consume_bytes_f *cb, void *app_key) {
556 const INTEGER_t *st = (const INTEGER_t *)sptr;
557 asn_enc_rval_t er;
558
559 (void)ilevel;
560 (void)flags;
561
Lev Walkind500a962005-11-27 13:06:56 +0000562 if(!st || !st->buf)
Lev Walkin7c1dc052016-03-14 03:08:15 -0700563 ASN__ENCODE_FAILED;
Lev Walkina9cc46e2004-09-22 16:06:28 +0000564
Lev Walkine0b56e02005-02-25 12:10:27 +0000565 er.encoded = INTEGER__dump(td, st, cb, app_key, 1);
Lev Walkin7c1dc052016-03-14 03:08:15 -0700566 if(er.encoded < 0) ASN__ENCODE_FAILED;
Lev Walkina9cc46e2004-09-22 16:06:28 +0000567
Lev Walkin7c1dc052016-03-14 03:08:15 -0700568 ASN__ENCODED_OK(er);
Lev Walkin59b176e2005-11-26 11:25:14 +0000569}
570
Lev Walkind7703cf2012-09-03 01:45:03 -0700571#ifndef ASN_DISABLE_PER_SUPPORT
572
Lev Walkin59b176e2005-11-26 11:25:14 +0000573asn_dec_rval_t
Lev Walkinafbf2a92017-09-12 23:30:27 -0700574INTEGER_decode_uper(const asn_codec_ctx_t *opt_codec_ctx, asn_TYPE_descriptor_t *td,
Lev Walkin494fb702017-08-07 20:07:00 -0700575 const asn_per_constraints_t *constraints, void **sptr,
576 asn_per_data_t *pd) {
Lev Walkind62a6622017-08-22 02:31:02 -0700577 const asn_INTEGER_specifics_t *specs =
578 (const asn_INTEGER_specifics_t *)td->specifics;
579 asn_dec_rval_t rval = { RC_OK, 0 };
Lev Walkin59b176e2005-11-26 11:25:14 +0000580 INTEGER_t *st = (INTEGER_t *)*sptr;
Lev Walkin494fb702017-08-07 20:07:00 -0700581 const asn_per_constraint_t *ct;
Lev Walkin59b176e2005-11-26 11:25:14 +0000582 int repeat;
583
584 (void)opt_codec_ctx;
585
586 if(!st) {
587 st = (INTEGER_t *)(*sptr = CALLOC(1, sizeof(*st)));
Lev Walkin7c1dc052016-03-14 03:08:15 -0700588 if(!st) ASN__DECODE_FAILED;
Lev Walkin59b176e2005-11-26 11:25:14 +0000589 }
590
Lev Walkina5972be2017-09-29 23:15:58 -0700591 if(!constraints) constraints = td->encoding_constraints.per_constraints;
Lev Walkin59b176e2005-11-26 11:25:14 +0000592 ct = constraints ? &constraints->value : 0;
593
594 if(ct && ct->flags & APC_EXTENSIBLE) {
595 int inext = per_get_few_bits(pd, 1);
Lev Walkin7c1dc052016-03-14 03:08:15 -0700596 if(inext < 0) ASN__DECODE_STARVED;
Lev Walkin59b176e2005-11-26 11:25:14 +0000597 if(inext) ct = 0;
598 }
599
600 FREEMEM(st->buf);
Lev Walkin0b1eb0e2007-11-10 02:05:23 +0000601 st->buf = 0;
602 st->size = 0;
Lev Walkin59b176e2005-11-26 11:25:14 +0000603 if(ct) {
604 if(ct->flags & APC_SEMI_CONSTRAINED) {
605 st->buf = (uint8_t *)CALLOC(1, 2);
Lev Walkin7c1dc052016-03-14 03:08:15 -0700606 if(!st->buf) ASN__DECODE_FAILED;
Lev Walkin59b176e2005-11-26 11:25:14 +0000607 st->size = 1;
608 } else if(ct->flags & APC_CONSTRAINED && ct->range_bits >= 0) {
609 size_t size = (ct->range_bits + 7) >> 3;
610 st->buf = (uint8_t *)MALLOC(1 + size + 1);
Lev Walkin7c1dc052016-03-14 03:08:15 -0700611 if(!st->buf) ASN__DECODE_FAILED;
Lev Walkin59b176e2005-11-26 11:25:14 +0000612 st->size = size;
Lev Walkin59b176e2005-11-26 11:25:14 +0000613 }
Lev Walkin59b176e2005-11-26 11:25:14 +0000614 }
615
Lev Walkin6c527842014-02-09 04:34:54 -0800616 /* X.691-2008/11, #13.2.2, constrained whole number */
Lev Walkin59b176e2005-11-26 11:25:14 +0000617 if(ct && ct->flags != APC_UNCONSTRAINED) {
Lev Walkin6c527842014-02-09 04:34:54 -0800618 /* #11.5.6 */
Lev Walkin59b176e2005-11-26 11:25:14 +0000619 ASN_DEBUG("Integer with range %d bits", ct->range_bits);
620 if(ct->range_bits >= 0) {
Lev Walkin6c527842014-02-09 04:34:54 -0800621 if((size_t)ct->range_bits > 8 * sizeof(unsigned long))
Lev Walkin7c1dc052016-03-14 03:08:15 -0700622 ASN__DECODE_FAILED;
Lev Walkin6c527842014-02-09 04:34:54 -0800623
624 if(specs && specs->field_unsigned) {
Lev Walkin72ec9092017-07-05 05:49:12 -0700625 unsigned long uvalue = 0;
Lev Walkin6c527842014-02-09 04:34:54 -0800626 if(uper_get_constrained_whole_number(pd,
627 &uvalue, ct->range_bits))
Lev Walkin7c1dc052016-03-14 03:08:15 -0700628 ASN__DECODE_STARVED;
Lev Walkin6c527842014-02-09 04:34:54 -0800629 ASN_DEBUG("Got value %lu + low %ld",
630 uvalue, ct->lower_bound);
631 uvalue += ct->lower_bound;
632 if(asn_ulong2INTEGER(st, uvalue))
Lev Walkin7c1dc052016-03-14 03:08:15 -0700633 ASN__DECODE_FAILED;
Lev Walkin6c527842014-02-09 04:34:54 -0800634 } else {
Lev Walkin38a91df2017-09-17 23:52:33 -0700635 unsigned long uvalue = 0;
636 long svalue;
Lev Walkin6c527842014-02-09 04:34:54 -0800637 if(uper_get_constrained_whole_number(pd,
Lev Walkin38a91df2017-09-17 23:52:33 -0700638 &uvalue, ct->range_bits))
Lev Walkin7c1dc052016-03-14 03:08:15 -0700639 ASN__DECODE_STARVED;
Lev Walkin38a91df2017-09-17 23:52:33 -0700640 ASN_DEBUG("Got value %lu + low %ld",
641 uvalue, ct->lower_bound);
642 svalue = ct->lower_bound + (long)uvalue;
Lev Walkin6c527842014-02-09 04:34:54 -0800643 if(asn_long2INTEGER(st, svalue))
Lev Walkin7c1dc052016-03-14 03:08:15 -0700644 ASN__DECODE_FAILED;
Lev Walkin6c527842014-02-09 04:34:54 -0800645 }
Lev Walkin59b176e2005-11-26 11:25:14 +0000646 return rval;
647 }
648 } else {
649 ASN_DEBUG("Decoding unconstrained integer %s", td->name);
650 }
651
652 /* X.691, #12.2.3, #12.2.4 */
653 do {
Lev Walkin72ec9092017-07-05 05:49:12 -0700654 ssize_t len = 0;
655 void *p = NULL;
656 int ret = 0;
Lev Walkin59b176e2005-11-26 11:25:14 +0000657
658 /* Get the PER length */
Lev Walkin9d1b45f2017-10-01 17:04:48 -0700659 len = uper_get_length(pd, -1, 0, &repeat);
Lev Walkin7c1dc052016-03-14 03:08:15 -0700660 if(len < 0) ASN__DECODE_STARVED;
Lev Walkin59b176e2005-11-26 11:25:14 +0000661
662 p = REALLOC(st->buf, st->size + len + 1);
Lev Walkin7c1dc052016-03-14 03:08:15 -0700663 if(!p) ASN__DECODE_FAILED;
Lev Walkin59b176e2005-11-26 11:25:14 +0000664 st->buf = (uint8_t *)p;
665
666 ret = per_get_many_bits(pd, &st->buf[st->size], 0, 8 * len);
Lev Walkin7c1dc052016-03-14 03:08:15 -0700667 if(ret < 0) ASN__DECODE_STARVED;
Lev Walkin59b176e2005-11-26 11:25:14 +0000668 st->size += len;
669 } while(repeat);
670 st->buf[st->size] = 0; /* JIC */
671
672 /* #12.2.3 */
673 if(ct && ct->lower_bound) {
674 /*
675 * TODO: replace by in-place arithmetics.
676 */
Lev Walkin72ec9092017-07-05 05:49:12 -0700677 long value = 0;
Lev Walkin59b176e2005-11-26 11:25:14 +0000678 if(asn_INTEGER2long(st, &value))
Lev Walkin7c1dc052016-03-14 03:08:15 -0700679 ASN__DECODE_FAILED;
Lev Walkin72ec9092017-07-05 05:49:12 -0700680 if(asn_imax2INTEGER(st, value + ct->lower_bound))
Lev Walkin7c1dc052016-03-14 03:08:15 -0700681 ASN__DECODE_FAILED;
Lev Walkin59b176e2005-11-26 11:25:14 +0000682 }
683
684 return rval;
Lev Walkinf15320b2004-06-03 03:38:44 +0000685}
686
Lev Walkin523de9e2006-08-18 01:34:18 +0000687asn_enc_rval_t
688INTEGER_encode_uper(asn_TYPE_descriptor_t *td,
Lev Walkin494fb702017-08-07 20:07:00 -0700689 const asn_per_constraints_t *constraints, void *sptr,
690 asn_per_outp_t *po) {
Lev Walkind62a6622017-08-22 02:31:02 -0700691 const asn_INTEGER_specifics_t *specs =
692 (const asn_INTEGER_specifics_t *)td->specifics;
693 asn_enc_rval_t er;
Lev Walkin523de9e2006-08-18 01:34:18 +0000694 INTEGER_t *st = (INTEGER_t *)sptr;
695 const uint8_t *buf;
696 const uint8_t *end;
Lev Walkin494fb702017-08-07 20:07:00 -0700697 const asn_per_constraint_t *ct;
Lev Walkin523de9e2006-08-18 01:34:18 +0000698 long value = 0;
Jaroslav Imrich2253e6b2014-10-31 23:05:21 +0100699 unsigned long v = 0;
Lev Walkin523de9e2006-08-18 01:34:18 +0000700
Lev Walkin7c1dc052016-03-14 03:08:15 -0700701 if(!st || st->size == 0) ASN__ENCODE_FAILED;
Lev Walkin523de9e2006-08-18 01:34:18 +0000702
Lev Walkina5972be2017-09-29 23:15:58 -0700703 if(!constraints) constraints = td->encoding_constraints.per_constraints;
Lev Walkin523de9e2006-08-18 01:34:18 +0000704 ct = constraints ? &constraints->value : 0;
705
706 er.encoded = 0;
707
708 if(ct) {
709 int inext = 0;
Lev Walkin8bb57a22007-12-03 13:41:36 +0000710 if(specs && specs->field_unsigned) {
711 unsigned long uval;
712 if(asn_INTEGER2ulong(st, &uval))
Lev Walkin7c1dc052016-03-14 03:08:15 -0700713 ASN__ENCODE_FAILED;
Lev Walkin8bb57a22007-12-03 13:41:36 +0000714 /* Check proper range */
715 if(ct->flags & APC_SEMI_CONSTRAINED) {
716 if(uval < (unsigned long)ct->lower_bound)
717 inext = 1;
718 } else if(ct->range_bits >= 0) {
719 if(uval < (unsigned long)ct->lower_bound
720 || uval > (unsigned long)ct->upper_bound)
721 inext = 1;
722 }
Lev Walkin67afc362017-10-03 15:47:26 -0700723 ASN_DEBUG("Value %lu (%02x/%zu) lb %lu ub %lu %s",
Lev Walkin8bb57a22007-12-03 13:41:36 +0000724 uval, st->buf[0], st->size,
725 ct->lower_bound, ct->upper_bound,
726 inext ? "ext" : "fix");
727 value = uval;
728 } else {
729 if(asn_INTEGER2long(st, &value))
Lev Walkin7c1dc052016-03-14 03:08:15 -0700730 ASN__ENCODE_FAILED;
Lev Walkin8bb57a22007-12-03 13:41:36 +0000731 /* Check proper range */
732 if(ct->flags & APC_SEMI_CONSTRAINED) {
733 if(value < ct->lower_bound)
734 inext = 1;
735 } else if(ct->range_bits >= 0) {
736 if(value < ct->lower_bound
737 || value > ct->upper_bound)
738 inext = 1;
739 }
Lev Walkin67afc362017-10-03 15:47:26 -0700740 ASN_DEBUG("Value %ld (%02x/%zu) lb %ld ub %ld %s",
Lev Walkin8bb57a22007-12-03 13:41:36 +0000741 value, st->buf[0], st->size,
742 ct->lower_bound, ct->upper_bound,
743 inext ? "ext" : "fix");
Lev Walkin523de9e2006-08-18 01:34:18 +0000744 }
Lev Walkin523de9e2006-08-18 01:34:18 +0000745 if(ct->flags & APC_EXTENSIBLE) {
746 if(per_put_few_bits(po, inext, 1))
Lev Walkin7c1dc052016-03-14 03:08:15 -0700747 ASN__ENCODE_FAILED;
Lev Walkin523de9e2006-08-18 01:34:18 +0000748 if(inext) ct = 0;
749 } else if(inext) {
Lev Walkin7c1dc052016-03-14 03:08:15 -0700750 ASN__ENCODE_FAILED;
Lev Walkin523de9e2006-08-18 01:34:18 +0000751 }
752 }
753
754
Lev Walkin6c527842014-02-09 04:34:54 -0800755 /* X.691-11/2008, #13.2.2, test if constrained whole number */
Lev Walkin523de9e2006-08-18 01:34:18 +0000756 if(ct && ct->range_bits >= 0) {
Lev Walkin6c527842014-02-09 04:34:54 -0800757 /* #11.5.6 -> #11.3 */
Lev Walkin58b74eb2014-02-10 09:24:39 -0800758 ASN_DEBUG("Encoding integer %ld (%lu) with range %d bits",
759 value, value - ct->lower_bound, ct->range_bits);
Jaroslav Imrich2253e6b2014-10-31 23:05:21 +0100760 v = value - ct->lower_bound;
Lev Walkin58b74eb2014-02-10 09:24:39 -0800761 if(uper_put_constrained_whole_number_u(po, v, ct->range_bits))
Lev Walkin7c1dc052016-03-14 03:08:15 -0700762 ASN__ENCODE_FAILED;
763 ASN__ENCODED_OK(er);
Lev Walkin523de9e2006-08-18 01:34:18 +0000764 }
765
766 if(ct && ct->lower_bound) {
767 ASN_DEBUG("Adjust lower bound to %ld", ct->lower_bound);
768 /* TODO: adjust lower bound */
Lev Walkin7c1dc052016-03-14 03:08:15 -0700769 ASN__ENCODE_FAILED;
Lev Walkin523de9e2006-08-18 01:34:18 +0000770 }
771
772 for(buf = st->buf, end = st->buf + st->size; buf < end;) {
Lev Walkin5d947a82017-10-03 01:04:03 -0700773 int need_eom = 0;
774 ssize_t mayEncode = uper_put_length(po, end - buf, &need_eom);
775 if(mayEncode < 0)
Lev Walkin7c1dc052016-03-14 03:08:15 -0700776 ASN__ENCODE_FAILED;
Lev Walkin523de9e2006-08-18 01:34:18 +0000777 if(per_put_many_bits(po, buf, 8 * mayEncode))
Lev Walkin7c1dc052016-03-14 03:08:15 -0700778 ASN__ENCODE_FAILED;
Lev Walkin53827fd2006-09-08 01:56:32 +0000779 buf += mayEncode;
Lev Walkin5d947a82017-10-03 01:04:03 -0700780 if(need_eom && uper_put_length(po, 0, 0)) ASN__ENCODE_FAILED;
781 }
Lev Walkin523de9e2006-08-18 01:34:18 +0000782
Lev Walkin7c1dc052016-03-14 03:08:15 -0700783 ASN__ENCODED_OK(er);
Lev Walkin523de9e2006-08-18 01:34:18 +0000784}
785
Lev Walkind7703cf2012-09-03 01:45:03 -0700786#endif /* ASN_DISABLE_PER_SUPPORT */
787
Lev Walkin642b92f2017-09-17 22:16:02 -0700788
789/*
790 * This function is only to get rid of Undefined Behavior Sanitizer warning.
791 */
Lev Walkina4f68912017-09-27 02:21:38 +0000792static intmax_t CC_ATTR_NO_SANITIZE("shift-base")
Lev Walkin642b92f2017-09-17 22:16:02 -0700793asn__safe_integer_convert_helper(const uint8_t *b, const uint8_t *end) {
794 intmax_t value;
795
796 /* Perform the sign initialization */
797 /* Actually value = -(*b >> 7); gains nothing, yet unreadable! */
798 if((*b >> 7)) {
799 value = -1;
800 } else {
801 value = 0;
802 }
803
804 /* Conversion engine */
805 for(; b < end; b++) {
806 value = (value << 8) | *b;
807 }
808
809 return value;
810}
811
Lev Walkinf15320b2004-06-03 03:38:44 +0000812int
Lev Walkin72ec9092017-07-05 05:49:12 -0700813asn_INTEGER2imax(const INTEGER_t *iptr, intmax_t *lptr) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000814 uint8_t *b, *end;
815 size_t size;
Lev Walkinf15320b2004-06-03 03:38:44 +0000816
817 /* Sanity checking */
818 if(!iptr || !iptr->buf || !lptr) {
819 errno = EINVAL;
820 return -1;
821 }
822
823 /* Cache the begin/end of the buffer */
824 b = iptr->buf; /* Start of the INTEGER buffer */
825 size = iptr->size;
826 end = b + size; /* Where to stop */
827
Lev Walkin642b92f2017-09-17 22:16:02 -0700828 if(size > sizeof(intmax_t)) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000829 uint8_t *end1 = end - 1;
830 /*
831 * Slightly more advanced processing,
Lev Walkin642b92f2017-09-17 22:16:02 -0700832 * able to process INTEGERs with >sizeof(intmax_t) bytes
Lev Walkin72ec9092017-07-05 05:49:12 -0700833 * when the actual value is small, e.g. for intmax_t == int32_t
834 * (0x0000000000abcdef INTEGER would yield a fine 0x00abcdef int32_t)
Lev Walkinf15320b2004-06-03 03:38:44 +0000835 */
836 /* Skip out the insignificant leading bytes */
837 for(; b < end1; b++) {
838 switch(*b) {
Lev Walkin72ec9092017-07-05 05:49:12 -0700839 case 0x00: if((b[1] & 0x80) == 0) continue; break;
840 case 0xff: if((b[1] & 0x80) != 0) continue; break;
Lev Walkinf15320b2004-06-03 03:38:44 +0000841 }
842 break;
843 }
844
845 size = end - b;
Lev Walkin642b92f2017-09-17 22:16:02 -0700846 if(size > sizeof(intmax_t)) {
847 /* Still cannot fit the sizeof(intmax_t) */
Lev Walkinf15320b2004-06-03 03:38:44 +0000848 errno = ERANGE;
849 return -1;
850 }
851 }
852
853 /* Shortcut processing of a corner case */
854 if(end == b) {
855 *lptr = 0;
856 return 0;
857 }
858
Lev Walkin642b92f2017-09-17 22:16:02 -0700859 *lptr = asn__safe_integer_convert_helper(b, end);
Lev Walkinf15320b2004-06-03 03:38:44 +0000860 return 0;
861}
Lev Walkind703ff42004-10-21 11:21:25 +0000862
Lev Walkin72ec9092017-07-05 05:49:12 -0700863/* FIXME: negative INTEGER values are silently interpreted as large unsigned ones. */
Lev Walkind703ff42004-10-21 11:21:25 +0000864int
Lev Walkin72ec9092017-07-05 05:49:12 -0700865asn_INTEGER2umax(const INTEGER_t *iptr, uintmax_t *lptr) {
Lev Walkin5c879db2007-11-06 06:23:31 +0000866 uint8_t *b, *end;
Lev Walkin72ec9092017-07-05 05:49:12 -0700867 uintmax_t value;
Lev Walkin5c879db2007-11-06 06:23:31 +0000868 size_t size;
869
870 if(!iptr || !iptr->buf || !lptr) {
871 errno = EINVAL;
872 return -1;
873 }
874
875 b = iptr->buf;
876 size = iptr->size;
877 end = b + size;
878
879 /* If all extra leading bytes are zeroes, ignore them */
Lev Walkin72ec9092017-07-05 05:49:12 -0700880 for(; size > sizeof(value); b++, size--) {
Lev Walkin5c879db2007-11-06 06:23:31 +0000881 if(*b) {
Lev Walkin72ec9092017-07-05 05:49:12 -0700882 /* Value won't fit into uintmax_t */
Lev Walkin5c879db2007-11-06 06:23:31 +0000883 errno = ERANGE;
884 return -1;
885 }
886 }
887
888 /* Conversion engine */
Lev Walkin72ec9092017-07-05 05:49:12 -0700889 for(value = 0; b < end; b++)
890 value = (value << 8) | *b;
Lev Walkin5c879db2007-11-06 06:23:31 +0000891
Lev Walkin72ec9092017-07-05 05:49:12 -0700892 *lptr = value;
Lev Walkin5c879db2007-11-06 06:23:31 +0000893 return 0;
894}
895
896int
Lev Walkin72ec9092017-07-05 05:49:12 -0700897asn_umax2INTEGER(INTEGER_t *st, uintmax_t value) {
898 uint8_t *buf;
899 uint8_t *end;
900 uint8_t *b;
901 int shr;
Lev Walkin5c879db2007-11-06 06:23:31 +0000902
Lev Walkinaa067a92017-10-03 16:09:05 -0700903 if(value <= ((~(uintmax_t)0) >> 1)) {
Lev Walkin72ec9092017-07-05 05:49:12 -0700904 return asn_imax2INTEGER(st, value);
905 }
Lev Walkin5c879db2007-11-06 06:23:31 +0000906
Lev Walkin72ec9092017-07-05 05:49:12 -0700907 buf = (uint8_t *)MALLOC(1 + sizeof(value));
908 if(!buf) return -1;
Lev Walkin5c879db2007-11-06 06:23:31 +0000909
Lev Walkin72ec9092017-07-05 05:49:12 -0700910 end = buf + (sizeof(value) + 1);
911 buf[0] = 0; /* INTEGERs are signed. 0-byte indicates positive. */
912 for(b = buf + 1, shr = (sizeof(value) - 1) * 8; b < end; shr -= 8, b++)
913 *b = (uint8_t)(value >> shr);
Lev Walkin5c879db2007-11-06 06:23:31 +0000914
Lev Walkin72ec9092017-07-05 05:49:12 -0700915 if(st->buf) FREEMEM(st->buf);
916 st->buf = buf;
917 st->size = 1 + sizeof(value);
Lev Walkin5c879db2007-11-06 06:23:31 +0000918
919 return 0;
920}
921
922int
Lev Walkin72ec9092017-07-05 05:49:12 -0700923asn_imax2INTEGER(INTEGER_t *st, intmax_t value) {
Lev Walkind703ff42004-10-21 11:21:25 +0000924 uint8_t *buf, *bp;
925 uint8_t *p;
926 uint8_t *pstart;
927 uint8_t *pend1;
Lev Walkind7ad5612004-10-26 08:20:46 +0000928 int littleEndian = 1; /* Run-time detection */
929 int add;
Lev Walkind703ff42004-10-21 11:21:25 +0000930
931 if(!st) {
932 errno = EINVAL;
933 return -1;
934 }
935
Lev Walkin290b4d62017-08-28 17:48:35 -0700936 buf = (uint8_t *)(long *)MALLOC(sizeof(value));
Lev Walkind703ff42004-10-21 11:21:25 +0000937 if(!buf) return -1;
938
Lev Walkind7ad5612004-10-26 08:20:46 +0000939 if(*(char *)&littleEndian) {
940 pstart = (uint8_t *)&value + sizeof(value) - 1;
941 pend1 = (uint8_t *)&value;
942 add = -1;
943 } else {
944 pstart = (uint8_t *)&value;
945 pend1 = pstart + sizeof(value) - 1;
946 add = 1;
947 }
948
Lev Walkind703ff42004-10-21 11:21:25 +0000949 /*
950 * If the contents octet consists of more than one octet,
951 * then bits of the first octet and bit 8 of the second octet:
952 * a) shall not all be ones; and
953 * b) shall not all be zero.
954 */
Lev Walkin33700162004-10-26 09:03:31 +0000955 for(p = pstart; p != pend1; p += add) {
Lev Walkind703ff42004-10-21 11:21:25 +0000956 switch(*p) {
Lev Walkin33700162004-10-26 09:03:31 +0000957 case 0x00: if((*(p+add) & 0x80) == 0)
Lev Walkind703ff42004-10-21 11:21:25 +0000958 continue;
959 break;
Lev Walkin33700162004-10-26 09:03:31 +0000960 case 0xff: if((*(p+add) & 0x80))
Lev Walkind703ff42004-10-21 11:21:25 +0000961 continue;
962 break;
963 }
964 break;
965 }
966 /* Copy the integer body */
Lev Walkin7e0ab882017-06-28 08:47:47 -0700967 for(bp = buf, pend1 += add; p != pend1; p += add)
Lev Walkin33700162004-10-26 09:03:31 +0000968 *bp++ = *p;
Lev Walkind703ff42004-10-21 11:21:25 +0000969
970 if(st->buf) FREEMEM(st->buf);
971 st->buf = buf;
Lev Walkin33700162004-10-26 09:03:31 +0000972 st->size = bp - buf;
Lev Walkind703ff42004-10-21 11:21:25 +0000973
974 return 0;
975}
Lev Walkinb3751942012-09-02 19:36:47 -0700976
Lev Walkin72ec9092017-07-05 05:49:12 -0700977int
978asn_INTEGER2long(const INTEGER_t *iptr, long *l) {
979 intmax_t v;
980 if(asn_INTEGER2imax(iptr, &v) == 0) {
981 if(v < LONG_MIN || v > LONG_MAX) {
982 errno = ERANGE;
983 return -1;
984 }
985 *l = v;
986 return 0;
987 } else {
988 return -1;
Lev Walkincad560a2013-03-16 07:00:58 -0700989 }
Lev Walkin72ec9092017-07-05 05:49:12 -0700990}
Lev Walkincad560a2013-03-16 07:00:58 -0700991
Lev Walkin72ec9092017-07-05 05:49:12 -0700992int
993asn_INTEGER2ulong(const INTEGER_t *iptr, unsigned long *l) {
994 uintmax_t v;
995 if(asn_INTEGER2umax(iptr, &v) == 0) {
996 if(v > ULONG_MAX) {
997 errno = ERANGE;
998 return -1;
999 }
1000 *l = v;
1001 return 0;
1002 } else {
1003 return -1;
1004 }
1005}
1006
1007int
1008asn_long2INTEGER(INTEGER_t *st, long value) {
1009 return asn_imax2INTEGER(st, value);
1010}
1011
1012int
1013asn_ulong2INTEGER(INTEGER_t *st, unsigned long value) {
1014 return asn_imax2INTEGER(st, value);
Lev Walkincad560a2013-03-16 07:00:58 -07001015}
1016
1017/*
1018 * Parse the number in the given string until the given *end position,
1019 * returning the position after the last parsed character back using the
1020 * same (*end) pointer.
Lev Walkin72ec9092017-07-05 05:49:12 -07001021 * WARNING: This behavior is different from the standard strtol/strtoimax(3).
Lev Walkincad560a2013-03-16 07:00:58 -07001022 */
Lev Walkin72ec9092017-07-05 05:49:12 -07001023enum asn_strtox_result_e
1024asn_strtoimax_lim(const char *str, const char **end, intmax_t *intp) {
Lev Walkine09f9f12012-09-02 23:06:35 -07001025 int sign = 1;
Lev Walkin72ec9092017-07-05 05:49:12 -07001026 intmax_t value;
Lev Walkinb3751942012-09-02 19:36:47 -07001027
Lev Walkinaa067a92017-10-03 16:09:05 -07001028#define ASN1_INTMAX_MAX ((~(uintmax_t)0) >> 1)
1029
1030 const intmax_t upper_boundary = ASN1_INTMAX_MAX / 10;
1031 intmax_t last_digit_max = ASN1_INTMAX_MAX % 10;
Lev Walkine09f9f12012-09-02 23:06:35 -07001032
Lev Walkin72ec9092017-07-05 05:49:12 -07001033 if(str >= *end) return ASN_STRTOX_ERROR_INVAL;
Lev Walkine09f9f12012-09-02 23:06:35 -07001034
1035 switch(*str) {
1036 case '-':
1037 last_digit_max++;
1038 sign = -1;
Simo Sorce4f47bf52015-09-03 17:35:04 -04001039 /* FALL THROUGH */
Lev Walkine09f9f12012-09-02 23:06:35 -07001040 case '+':
1041 str++;
Lev Walkincad560a2013-03-16 07:00:58 -07001042 if(str >= *end) {
1043 *end = str;
Lev Walkin72ec9092017-07-05 05:49:12 -07001044 return ASN_STRTOX_EXPECT_MORE;
Lev Walkincad560a2013-03-16 07:00:58 -07001045 }
Lev Walkine09f9f12012-09-02 23:06:35 -07001046 }
1047
Lev Walkin72ec9092017-07-05 05:49:12 -07001048 for(value = 0; str < (*end); str++) {
Lev Walkine09f9f12012-09-02 23:06:35 -07001049 switch(*str) {
1050 case 0x30: case 0x31: case 0x32: case 0x33: case 0x34:
1051 case 0x35: case 0x36: case 0x37: case 0x38: case 0x39: {
1052 int d = *str - '0';
Lev Walkin72ec9092017-07-05 05:49:12 -07001053 if(value < upper_boundary) {
1054 value = value * 10 + d;
1055 } else if(value == upper_boundary) {
Lev Walkine09f9f12012-09-02 23:06:35 -07001056 if(d <= last_digit_max) {
1057 if(sign > 0) {
Lev Walkin72ec9092017-07-05 05:49:12 -07001058 value = value * 10 + d;
Lev Walkine09f9f12012-09-02 23:06:35 -07001059 } else {
1060 sign = 1;
Lev Walkin72ec9092017-07-05 05:49:12 -07001061 value = -value * 10 - d;
Lev Walkine09f9f12012-09-02 23:06:35 -07001062 }
1063 } else {
Lev Walkincad560a2013-03-16 07:00:58 -07001064 *end = str;
Lev Walkin72ec9092017-07-05 05:49:12 -07001065 return ASN_STRTOX_ERROR_RANGE;
Lev Walkine09f9f12012-09-02 23:06:35 -07001066 }
1067 } else {
Lev Walkincad560a2013-03-16 07:00:58 -07001068 *end = str;
Lev Walkin72ec9092017-07-05 05:49:12 -07001069 return ASN_STRTOX_ERROR_RANGE;
Lev Walkine09f9f12012-09-02 23:06:35 -07001070 }
1071 }
1072 continue;
1073 default:
Lev Walkincad560a2013-03-16 07:00:58 -07001074 *end = str;
Lev Walkin72ec9092017-07-05 05:49:12 -07001075 *intp = sign * value;
1076 return ASN_STRTOX_EXTRA_DATA;
Lev Walkine09f9f12012-09-02 23:06:35 -07001077 }
1078 }
1079
Lev Walkincad560a2013-03-16 07:00:58 -07001080 *end = str;
Lev Walkin72ec9092017-07-05 05:49:12 -07001081 *intp = sign * value;
1082 return ASN_STRTOX_OK;
1083}
1084
1085enum asn_strtox_result_e
1086asn_strtol_lim(const char *str, const char **end, long *lp) {
1087 intmax_t value;
1088 switch(asn_strtoimax_lim(str, end, &value)) {
1089 case ASN_STRTOX_ERROR_RANGE:
1090 return ASN_STRTOX_ERROR_RANGE;
1091 case ASN_STRTOX_ERROR_INVAL:
1092 return ASN_STRTOX_ERROR_INVAL;
1093 case ASN_STRTOX_EXPECT_MORE:
1094 return ASN_STRTOX_EXPECT_MORE;
1095 case ASN_STRTOX_OK:
1096 if(value >= LONG_MIN && value <= LONG_MAX) {
1097 *lp = value;
1098 return ASN_STRTOX_OK;
1099 } else {
1100 return ASN_STRTOX_ERROR_RANGE;
1101 }
1102 case ASN_STRTOX_EXTRA_DATA:
1103 if(value >= LONG_MIN && value <= LONG_MAX) {
1104 *lp = value;
1105 return ASN_STRTOX_EXTRA_DATA;
1106 } else {
1107 return ASN_STRTOX_ERROR_RANGE;
1108 }
1109 }
Lev Walkin5d9e3c52017-07-05 16:25:24 -07001110
1111 assert(!"Unreachable");
1112 return ASN_STRTOX_ERROR_INVAL;
Lev Walkinb3751942012-09-02 19:36:47 -07001113}
1114
Lev Walkincd2f48e2017-08-10 02:14:59 -07001115int
1116INTEGER_compare(const asn_TYPE_descriptor_t *td, const void *aptr,
1117 const void *bptr) {
1118 const INTEGER_t *a = aptr;
1119 const INTEGER_t *b = bptr;
1120
1121 (void)td;
1122
1123 if(a && b) {
1124 if(a->size && b->size) {
1125 int sign_a = (a->buf[0] & 0x80) ? -1 : 1;
1126 int sign_b = (b->buf[0] & 0x80) ? -1 : 1;
1127
1128 if(sign_a < sign_b) return -1;
1129 if(sign_a > sign_b) return 1;
1130
1131 /* The shortest integer wins, unless comparing negatives */
1132 if(a->size < b->size) {
1133 return -1 * sign_a;
1134 } else if(a->size > b->size) {
1135 return 1 * sign_b;
1136 }
1137
1138 return sign_a * memcmp(a->buf, b->buf, a->size);
1139 } else if(a->size) {
1140 int sign = (a->buf[0] & 0x80) ? -1 : 1;
1141 return (1) * sign;
1142 } else if(b->size) {
1143 int sign = (a->buf[0] & 0x80) ? -1 : 1;
1144 return (-1) * sign;
1145 } else {
1146 return 0;
1147 }
1148 } else if(!a && !b) {
1149 return 0;
1150 } else if(!a) {
1151 return -1;
1152 } else {
1153 return 1;
1154 }
1155
1156}
1157
Lev Walkina5972be2017-09-29 23:15:58 -07001158asn_random_fill_result_t
1159INTEGER_random_fill(const asn_TYPE_descriptor_t *td, void **sptr,
1160 const asn_encoding_constraints_t *constraints,
1161 size_t max_length) {
1162 const asn_INTEGER_specifics_t *specs =
1163 (const asn_INTEGER_specifics_t *)td->specifics;
1164 asn_random_fill_result_t result_ok = {ARFILL_OK, 1};
1165 asn_random_fill_result_t result_failed = {ARFILL_FAILED, 0};
1166 asn_random_fill_result_t result_skipped = {ARFILL_SKIPPED, 0};
1167 INTEGER_t *st = *sptr;
1168 const asn_INTEGER_enum_map_t *emap;
1169 size_t emap_len;
1170 intmax_t value;
1171 int find_inside_map;
1172
1173 if(max_length == 0) return result_skipped;
1174
1175 if(st == NULL) {
1176 st = (INTEGER_t *)CALLOC(1, sizeof(*st));
1177 if(st == NULL) {
1178 return result_failed;
1179 }
1180 }
1181
1182 if(specs) {
1183 emap = specs->value2enum;
1184 emap_len = specs->map_count;
1185 if(specs->strict_enumeration) {
1186 find_inside_map = emap_len > 0;
1187 } else {
1188 find_inside_map = emap_len ? asn_random_between(0, 1) : 0;
1189 }
1190 } else {
1191 emap = 0;
1192 emap_len = 0;
1193 find_inside_map = 0;
1194 }
1195
1196 if(find_inside_map) {
1197 assert(emap_len > 0);
1198 value = emap[asn_random_between(0, emap_len - 1)].nat_value;
1199 } else {
Lev Walkin18741a92017-10-01 12:40:19 -07001200 const asn_per_constraints_t *ct;
Lev Walkina5972be2017-09-29 23:15:58 -07001201
1202 static const long variants[] = {
1203 -65536, -65535, -65534, -32769, -32768, -32767, -16385, -16384,
1204 -16383, -257, -256, -255, -254, -129, -128, -127,
1205 -126, -1, 0, 1, 126, 127, 128, 129,
1206 254, 255, 256, 257, 16383, 16384, 16385, 32767,
1207 32768, 32769, 65534, 65535, 65536, 65537};
1208 if(specs && specs->field_unsigned) {
1209 assert(variants[18] == 0);
1210 value = variants[asn_random_between(
1211 18, sizeof(variants) / sizeof(variants[0]) - 1)];
1212 } else {
1213 value = variants[asn_random_between(
1214 0, sizeof(variants) / sizeof(variants[0]) - 1)];
1215 }
1216
1217 if(!constraints) constraints = &td->encoding_constraints;
Lev Walkin18741a92017-10-01 12:40:19 -07001218 ct = constraints ? constraints->per_constraints : 0;
1219 if(ct && (ct->value.flags & APC_CONSTRAINED)) {
1220 if(value < ct->value.lower_bound || value > ct->value.upper_bound) {
1221 value = asn_random_between(ct->value.lower_bound,
1222 ct->value.upper_bound);
1223 }
1224 }
Lev Walkina5972be2017-09-29 23:15:58 -07001225 }
1226
Lev Walkina5972be2017-09-29 23:15:58 -07001227 if(asn_imax2INTEGER(st, value)) {
1228 if(st == *sptr) {
1229 ASN_STRUCT_RESET(*td, st);
1230 } else {
1231 ASN_STRUCT_FREE(*td, st);
1232 }
1233 return result_failed;
1234 } else {
Lev Walkin18741a92017-10-01 12:40:19 -07001235 *sptr = st;
Lev Walkina5972be2017-09-29 23:15:58 -07001236 result_ok.length = st->size;
1237 return result_ok;
1238 }
1239}