blob: 8f4d46040bbfffb22a10a144e29263b02fa85741 [file] [log] [blame]
Lev Walkin59b176e2005-11-26 11:25:14 +00001/*
Lev Walkin20696a42017-10-17 21:27:33 -07002 * Copyright (c) 2005-2017 Lev Walkin <vlm@lionet.info>. All rights reserved.
Lev Walkin59b176e2005-11-26 11:25:14 +00003 * Redistribution and modifications are permitted subject to BSD license.
4 */
5#include <asn_system.h>
Lev Walkin9f5bb3a2006-08-18 01:46:46 +00006#include <asn_internal.h>
Lev Walkin59b176e2005-11-26 11:25:14 +00007#include <per_support.h>
8
Lev Walkin59b176e2005-11-26 11:25:14 +00009/*
Lev Walkin5d205882017-08-06 00:03:46 -070010 * X.691-201508 #10.9 General rules for encoding a length determinant.
11 * Get the optionally constrained length "n" from the stream.
Lev Walkin59b176e2005-11-26 11:25:14 +000012 */
13ssize_t
Lev Walkin9d1b45f2017-10-01 17:04:48 -070014uper_get_length(asn_per_data_t *pd, int ebits, size_t lower_bound,
15 int *repeat) {
Lev Walkin5d205882017-08-06 00:03:46 -070016 ssize_t value;
Lev Walkin59b176e2005-11-26 11:25:14 +000017
Lev Walkin5d205882017-08-06 00:03:46 -070018 *repeat = 0;
Lev Walkin59b176e2005-11-26 11:25:14 +000019
Lev Walkin5d205882017-08-06 00:03:46 -070020 /* #11.9.4.1 Encoding if constrained (according to effective bits) */
21 if(ebits >= 0 && ebits <= 16) {
Lev Walkin9d1b45f2017-10-01 17:04:48 -070022 value = per_get_few_bits(pd, ebits);
23 if(value >= 0) value += lower_bound;
24 return value;
Lev Walkin5d205882017-08-06 00:03:46 -070025 }
Lev Walkin59b176e2005-11-26 11:25:14 +000026
27 value = per_get_few_bits(pd, 8);
Lev Walkin5d205882017-08-06 00:03:46 -070028 if((value & 0x80) == 0) { /* #11.9.3.6 */
29 return (value & 0x7F);
30 } else if((value & 0x40) == 0) { /* #11.9.3.7 */
31 /* bit 8 ... set to 1 and bit 7 ... set to zero */
32 value = ((value & 0x3f) << 8) | per_get_few_bits(pd, 8);
33 return value; /* potential -1 from per_get_few_bits passes through. */
34 } else if(value < 0) {
Lev Walkin52b88e12017-10-24 03:03:46 -070035 ASN_DEBUG("END of stream reached for PER");
Lev Walkin5d205882017-08-06 00:03:46 -070036 return -1;
37 }
38 value &= 0x3f; /* this is "m" from X.691, #11.9.3.8 */
39 if(value < 1 || value > 4) {
40 return -1; /* Prohibited by #11.9.3.8 */
41 }
42 *repeat = 1;
43 return (16384 * value);
Lev Walkin59b176e2005-11-26 11:25:14 +000044}
45
46/*
Lev Walkin5b78e1c2007-06-24 06:26:47 +000047 * Get the normally small length "n".
48 * This procedure used to decode length of extensions bit-maps
49 * for SET and SEQUENCE types.
50 */
51ssize_t
52uper_get_nslength(asn_per_data_t *pd) {
53 ssize_t length;
54
Lev Walkina2987ea2007-06-26 23:56:54 +000055 ASN_DEBUG("Getting normally small length");
56
Lev Walkin5b78e1c2007-06-24 06:26:47 +000057 if(per_get_few_bits(pd, 1) == 0) {
Lev Walkina2987ea2007-06-26 23:56:54 +000058 length = per_get_few_bits(pd, 6) + 1;
59 if(length <= 0) return -1;
Lev Walkinfe1ffaf2010-10-25 21:07:59 -070060 ASN_DEBUG("l=%d", (int)length);
Lev Walkina2987ea2007-06-26 23:56:54 +000061 return length;
Lev Walkin5b78e1c2007-06-24 06:26:47 +000062 } else {
63 int repeat;
Lev Walkin9d1b45f2017-10-01 17:04:48 -070064 length = uper_get_length(pd, -1, 0, &repeat);
Lev Walkin5b78e1c2007-06-24 06:26:47 +000065 if(length >= 0 && !repeat) return length;
66 return -1; /* Error, or do not support >16K extensions */
67 }
68}
69
70/*
Lev Walkin59b176e2005-11-26 11:25:14 +000071 * Get the normally small non-negative whole number.
72 * X.691, #10.6
73 */
74ssize_t
75uper_get_nsnnwn(asn_per_data_t *pd) {
76 ssize_t value;
77
78 value = per_get_few_bits(pd, 7);
79 if(value & 64) { /* implicit (value < 0) */
80 value &= 63;
81 value <<= 2;
82 value |= per_get_few_bits(pd, 2);
83 if(value & 128) /* implicit (value < 0) */
84 return -1;
85 if(value == 0)
86 return 0;
87 if(value >= 3)
88 return -1;
89 value = per_get_few_bits(pd, 8 * value);
90 return value;
91 }
92
93 return value;
94}
Lev Walkin523de9e2006-08-18 01:34:18 +000095
96/*
Lev Walkin6c527842014-02-09 04:34:54 -080097 * X.691-11/2008, #11.6
98 * Encoding of a normally small non-negative whole number
Lev Walkin523de9e2006-08-18 01:34:18 +000099 */
100int
101uper_put_nsnnwn(asn_per_outp_t *po, int n) {
102 int bytes;
103
104 if(n <= 63) {
105 if(n < 0) return -1;
106 return per_put_few_bits(po, n, 7);
107 }
108 if(n < 256)
109 bytes = 1;
110 else if(n < 65536)
111 bytes = 2;
112 else if(n < 256 * 65536)
113 bytes = 3;
114 else
115 return -1; /* This is not a "normally small" value */
116 if(per_put_few_bits(po, bytes, 8))
117 return -1;
118
119 return per_put_few_bits(po, n, 8 * bytes);
120}
121
122
Lev Walkin6c527842014-02-09 04:34:54 -0800123/* X.691-2008/11, #11.5.6 -> #11.3 */
124int uper_get_constrained_whole_number(asn_per_data_t *pd, unsigned long *out_value, int nbits) {
125 unsigned long lhalf; /* Lower half of the number*/
126 long half;
127
128 if(nbits <= 31) {
129 half = per_get_few_bits(pd, nbits);
130 if(half < 0) return -1;
131 *out_value = half;
132 return 0;
133 }
134
135 if((size_t)nbits > 8 * sizeof(*out_value))
136 return -1; /* RANGE */
137
138 half = per_get_few_bits(pd, 31);
139 if(half < 0) return -1;
140
141 if(uper_get_constrained_whole_number(pd, &lhalf, nbits - 31))
142 return -1;
143
144 *out_value = ((unsigned long)half << (nbits - 31)) | lhalf;
145 return 0;
146}
147
148
149/* X.691-2008/11, #11.5.6 -> #11.3 */
Lev Walkincc6a76b2017-10-07 16:23:16 -0700150int
151uper_put_constrained_whole_number_u(asn_per_outp_t *po, unsigned long v,
152 int nbits) {
153 if(nbits <= 31) {
154 return per_put_few_bits(po, v, nbits);
155 } else {
156 /* Put higher portion first, followed by lower 31-bit */
157 if(uper_put_constrained_whole_number_u(po, v >> 31, nbits - 31))
158 return -1;
159 return per_put_few_bits(po, v, 31);
160 }
Lev Walkin6c527842014-02-09 04:34:54 -0800161}
162
Lev Walkin523de9e2006-08-18 01:34:18 +0000163/*
Lev Walkin9d1b45f2017-10-01 17:04:48 -0700164 * X.691 (08/2015) #11.9 "General rules for encoding a length determinant"
Lev Walkin523de9e2006-08-18 01:34:18 +0000165 * Put the length "n" (or part of it) into the stream.
166 */
167ssize_t
Lev Walkin5d947a82017-10-03 01:04:03 -0700168uper_put_length(asn_per_outp_t *po, size_t length, int *need_eom) {
169 int dummy = 0;
170 if(!need_eom) need_eom = &dummy;
Lev Walkin523de9e2006-08-18 01:34:18 +0000171
Lev Walkin5d947a82017-10-03 01:04:03 -0700172 if(length <= 127) { /* #11.9.3.6 */
173 *need_eom = 0;
Lev Walkin9d1b45f2017-10-01 17:04:48 -0700174 return per_put_few_bits(po, length, 8)
175 ? -1 : (ssize_t)length;
Lev Walkin5d947a82017-10-03 01:04:03 -0700176 } else if(length < 16384) { /* #10.9.3.7 */
177 *need_eom = 0;
Lev Walkin9d1b45f2017-10-01 17:04:48 -0700178 return per_put_few_bits(po, length|0x8000, 16)
179 ? -1 : (ssize_t)length;
Lev Walkin5d947a82017-10-03 01:04:03 -0700180 }
Lev Walkin523de9e2006-08-18 01:34:18 +0000181
Lev Walkin5d947a82017-10-03 01:04:03 -0700182 *need_eom = 0 == (length & 16383);
Lev Walkin9d1b45f2017-10-01 17:04:48 -0700183 length >>= 14;
Lev Walkin5d947a82017-10-03 01:04:03 -0700184 if(length > 4) {
185 *need_eom = 0;
186 length = 4;
187 }
Lev Walkin523de9e2006-08-18 01:34:18 +0000188
Lev Walkin9d1b45f2017-10-01 17:04:48 -0700189 return per_put_few_bits(po, 0xC0 | length, 8)
190 ? -1 : (ssize_t)(length << 14);
191
Lev Walkin523de9e2006-08-18 01:34:18 +0000192}
193
Lev Walkin62258e22007-06-23 23:50:25 +0000194
195/*
196 * Put the normally small length "n" into the stream.
197 * This procedure used to encode length of extensions bit-maps
198 * for SET and SEQUENCE types.
199 */
200int
201uper_put_nslength(asn_per_outp_t *po, size_t length) {
Lev Walkin5d947a82017-10-03 01:04:03 -0700202 if(length <= 64) {
203 /* #11.9.3.4 */
204 if(length == 0) return -1;
205 return per_put_few_bits(po, length - 1, 7) ? -1 : 0;
206 } else {
207 int need_eom = 0;
208 if(uper_put_length(po, length, &need_eom) != (ssize_t)length
209 || need_eom) {
210 /* This might happen in case of >16K extensions */
211 return -1;
212 }
213 }
Lev Walkin62258e22007-06-23 23:50:25 +0000214
Lev Walkin5d947a82017-10-03 01:04:03 -0700215 return 0;
Lev Walkin62258e22007-06-23 23:50:25 +0000216}
217
Lev Walkincc6a76b2017-10-07 16:23:16 -0700218static int
219per__long_range(long lb, long ub, unsigned long *range_r) {
220 unsigned long bounds_range;
221 if((ub < 0) == (lb < 0)) {
222 bounds_range = ub - lb;
223 } else if(lb < 0) {
224 assert(ub >= 0);
225 bounds_range = 1 + ((unsigned long)ub + (unsigned long)-(lb + 1));
226 } else {
227 assert(!"Unreachable");
228 return -1;
229 }
230 *range_r = bounds_range;
231 return 0;
232}
233
234int
235per_long_range_rebase(long v, long lb, long ub, unsigned long *output) {
236 unsigned long range;
237
238 assert(lb <= ub);
239
240 if(v < lb || v > ub || per__long_range(lb, ub, &range) < 0) {
241 /* Range error. */
242 return -1;
243 }
244
245 /*
246 * Fundamentally what we're doing is returning (v-lb).
247 * However, this triggers undefined behavior when the word width
248 * of signed (v) is the same as the size of unsigned (*output).
249 * In practice, it triggers the UndefinedSanitizer. Therefore we shall
250 * compute the ranges accurately to avoid C's undefined behavior.
251 */
252 if((v < 0) == (lb < 0)) {
253 *output = v-lb;
254 return 0;
255 } else if(v < 0) {
256 unsigned long rebased = 1 + (unsigned long)-(v+1) + (unsigned long)lb;
257 assert(rebased <= range); /* By construction */
258 *output = rebased;
259 return 0;
260 } else if(lb < 0) {
261 unsigned long rebased = 1 + (unsigned long)-(lb+1) + (unsigned long)v;
262 assert(rebased <= range); /* By construction */
263 *output = rebased;
264 return 0;
265 } else {
266 assert(!"Unreachable");
267 return -1;
268 }
269}
270
271int
272per_long_range_unrebase(unsigned long inp, long lb, long ub, long *outp) {
273 unsigned long range;
274
275 if(per__long_range(lb, ub, &range) != 0) {
276 return -1;
277 }
278
279 if(inp > range) {
280 /*
281 * We can encode something in the given number of bits that technically
282 * exceeds the range. This is an avenue for security errors,
283 * so we don't allow that.
284 */
285 return -1;
286 }
287
288 if(inp <= LONG_MAX) {
289 *outp = (long)inp + lb;
290 } else {
291 *outp = (lb + LONG_MAX + 1) + (long)((inp - LONG_MAX) - 1);
292 }
293
294 return 0;
295}