blob: 4c2f1e5fd3ccdb17f0b3f76b9f27a052d9135b44 [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 <ber_tlv_length.h>
7#include <ber_tlv_tag.h>
8
9ssize_t
Lev Walkin8c3b8542005-03-10 18:52:02 +000010ber_fetch_length(int _is_constructed, const void *bufptr, size_t size,
Lev Walkinf15320b2004-06-03 03:38:44 +000011 ber_tlv_len_t *len_r) {
Lev Walkin8c3b8542005-03-10 18:52:02 +000012 const uint8_t *buf = (const uint8_t *)bufptr;
Lev Walkinf15320b2004-06-03 03:38:44 +000013 unsigned oct;
14
15 if(size == 0)
16 return 0; /* Want more */
17
Lev Walkin8c3b8542005-03-10 18:52:02 +000018 oct = *(const uint8_t *)buf;
Lev Walkinf15320b2004-06-03 03:38:44 +000019 if((oct & 0x80) == 0) {
20 /*
21 * Short definite length.
22 */
Lev Walkin619b6aa2004-08-19 18:10:27 +000023 *len_r = oct; /* & 0x7F */
Lev Walkinf15320b2004-06-03 03:38:44 +000024 return 1;
25 } else {
26 ber_tlv_len_t len;
Lev Walkind9bd7752004-06-05 08:17:50 +000027 size_t skipped;
Lev Walkinf15320b2004-06-03 03:38:44 +000028
29 if(_is_constructed && oct == 0x80) {
30 *len_r = -1; /* Indefinite length */
31 return 1;
32 }
33
34 if(oct == 0xff) {
35 /* Reserved in standard for future use. */
36 return -1;
37 }
38
39 oct &= 0x7F; /* Leave only the 7 LS bits */
40 for(len = 0, buf++, skipped = 1;
Lev Walkin619b6aa2004-08-19 18:10:27 +000041 oct && (++skipped <= size); buf++, oct--) {
Lev Walkinf15320b2004-06-03 03:38:44 +000042
43 len = (len << 8) | *buf;
44 if(len < 0
45 || (len >> ((8 * sizeof(len)) - 8) && oct > 1)) {
46 /*
47 * Too large length value.
48 */
49 return -1;
50 }
51 }
52
53 if(oct == 0) {
Lev Walkin253cfcf2006-07-27 13:16:51 +000054 ber_tlv_len_t lenplusepsilon = (size_t)len + 1024;
Lev Walkinc4e4b682004-09-29 13:25:23 +000055 /*
56 * Here length may be very close or equal to 2G.
Lev Walkin33700162004-10-26 09:03:31 +000057 * However, the arithmetics used in some decoders
58 * may add some (small) quantities to the length,
Lev Walkinc4e4b682004-09-29 13:25:23 +000059 * to check the resulting value against some limits.
Lev Walkin253cfcf2006-07-27 13:16:51 +000060 * This may result in integer wrap-around, which
61 * we try to avoid by checking it earlier here.
Lev Walkinc4e4b682004-09-29 13:25:23 +000062 */
Lev Walkin97c5cfc2006-07-13 12:01:26 +000063 if(lenplusepsilon < 0) {
Lev Walkinc4e4b682004-09-29 13:25:23 +000064 /* Too large length value */
65 return -1;
66 }
67
Lev Walkinf15320b2004-06-03 03:38:44 +000068 *len_r = len;
69 return skipped;
70 }
71
72 return 0; /* Want more */
73 }
74
75}
76
77ssize_t
Lev Walkinbaaa24f2004-09-29 14:19:14 +000078ber_skip_length(asn_codec_ctx_t *opt_codec_ctx,
Lev Walkin8c3b8542005-03-10 18:52:02 +000079 int _is_constructed, const void *ptr, size_t size) {
Lev Walkinf15320b2004-06-03 03:38:44 +000080 ber_tlv_len_t vlen; /* Length of V in TLV */
81 ssize_t tl; /* Length of L in TLV */
82 ssize_t ll; /* Length of L in TLV */
Lev Walkind9bd7752004-06-05 08:17:50 +000083 size_t skip;
Lev Walkinf15320b2004-06-03 03:38:44 +000084
85 /*
Lev Walkinbaaa24f2004-09-29 14:19:14 +000086 * Make sure we didn't exceed the maximum stack size.
87 */
Lev Walkin7c1dc052016-03-14 03:08:15 -070088 if(ASN__STACK_OVERFLOW_CHECK(opt_codec_ctx))
Lev Walkin1d9e8dd2005-12-07 05:46:03 +000089 return -1;
Lev Walkinbaaa24f2004-09-29 14:19:14 +000090
91 /*
Lev Walkinf15320b2004-06-03 03:38:44 +000092 * Determine the size of L in TLV.
93 */
94 ll = ber_fetch_length(_is_constructed, ptr, size, &vlen);
95 if(ll <= 0) return ll;
96
97 /*
98 * Definite length.
99 */
100 if(vlen >= 0) {
101 skip = ll + vlen;
102 if(skip > size)
103 return 0; /* Want more */
104 return skip;
105 }
106
107 /*
108 * Indefinite length!
109 */
110 ASN_DEBUG("Skipping indefinite length");
Lev Walkin8c3b8542005-03-10 18:52:02 +0000111 for(skip = ll, ptr = ((const char *)ptr) + ll, size -= ll;;) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000112 ber_tlv_tag_t tag;
113
114 /* Fetch the tag */
115 tl = ber_fetch_tag(ptr, size, &tag);
116 if(tl <= 0) return tl;
117
Lev Walkinbaaa24f2004-09-29 14:19:14 +0000118 ll = ber_skip_length(opt_codec_ctx,
119 BER_TLV_CONSTRUCTED(ptr),
Lev Walkin8c3b8542005-03-10 18:52:02 +0000120 ((const char *)ptr) + tl, size - tl);
Lev Walkinf15320b2004-06-03 03:38:44 +0000121 if(ll <= 0) return ll;
122
123 skip += tl + ll;
124
125 /*
126 * This may be the end of the indefinite length structure,
127 * two consecutive 0 octets.
128 * Check if it is true.
129 */
Lev Walkin8c3b8542005-03-10 18:52:02 +0000130 if(((const uint8_t *)ptr)[0] == 0
131 && ((const uint8_t *)ptr)[1] == 0)
Lev Walkinf15320b2004-06-03 03:38:44 +0000132 return skip;
133
Lev Walkin8c3b8542005-03-10 18:52:02 +0000134 ptr = ((const char *)ptr) + tl + ll;
Lev Walkinf15320b2004-06-03 03:38:44 +0000135 size -= tl + ll;
136 }
137
138 /* UNREACHABLE */
139}
140
Lev Walkin91b29c52004-09-24 20:59:13 +0000141size_t
Lev Walkinf15320b2004-06-03 03:38:44 +0000142der_tlv_length_serialize(ber_tlv_len_t len, void *bufp, size_t size) {
Lev Walkin619b6aa2004-08-19 18:10:27 +0000143 size_t required_size; /* Size of len encoding */
Lev Walkinc2346572004-08-11 09:07:36 +0000144 uint8_t *buf = (uint8_t *)bufp;
Lev Walkinf15320b2004-06-03 03:38:44 +0000145 uint8_t *end;
Lev Walkin619b6aa2004-08-19 18:10:27 +0000146 size_t i;
Lev Walkinf15320b2004-06-03 03:38:44 +0000147
148 if(len <= 127) {
149 /* Encoded in 1 octet */
Lev Walkin4efbfb72005-02-25 14:20:30 +0000150 if(size) *buf = (uint8_t)len;
Lev Walkinf15320b2004-06-03 03:38:44 +0000151 return 1;
152 }
153
154 /*
155 * Compute the size of the subsequent bytes.
156 */
Lev Walkin619b6aa2004-08-19 18:10:27 +0000157 for(required_size = 1, i = 8; i < 8 * sizeof(len); i += 8) {
158 if(len >> i)
159 required_size++;
160 else
161 break;
Lev Walkinf15320b2004-06-03 03:38:44 +0000162 }
163
Lev Walkin37ec0732006-04-16 08:57:39 +0000164 if(size <= required_size)
Lev Walkin619b6aa2004-08-19 18:10:27 +0000165 return required_size + 1;
166
Lev Walkin4efbfb72005-02-25 14:20:30 +0000167 *buf++ = (uint8_t)(0x80 | required_size); /* Length of the encoding */
Lev Walkinf15320b2004-06-03 03:38:44 +0000168
169 /*
170 * Produce the len encoding, space permitting.
171 */
Lev Walkin619b6aa2004-08-19 18:10:27 +0000172 end = buf + required_size;
173 for(i -= 8; buf < end; i -= 8, buf++)
Lev Walkin4efbfb72005-02-25 14:20:30 +0000174 *buf = (uint8_t)(len >> i);
Lev Walkinf15320b2004-06-03 03:38:44 +0000175
Lev Walkin619b6aa2004-08-19 18:10:27 +0000176 return required_size + 1;
Lev Walkinf15320b2004-06-03 03:38:44 +0000177}
178