vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 1 | /*- |
| 2 | * Copyright (c) 2003, 2004 Lev Walkin <vlm@lionet.info>. All rights reserved. |
| 3 | * Redistribution and modifications are permitted subject to BSD license. |
| 4 | */ |
vlm | 39ba4c4 | 2004-09-22 16:06:28 +0000 | [diff] [blame] | 5 | #include <asn_internal.h> |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 6 | #include <ber_tlv_length.h> |
| 7 | #include <ber_tlv_tag.h> |
| 8 | |
| 9 | ssize_t |
vlm | b02dcc6 | 2005-03-10 18:52:02 +0000 | [diff] [blame] | 10 | ber_fetch_length(int _is_constructed, const void *bufptr, size_t size, |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 11 | ber_tlv_len_t *len_r) { |
vlm | b02dcc6 | 2005-03-10 18:52:02 +0000 | [diff] [blame] | 12 | const uint8_t *buf = (const uint8_t *)bufptr; |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 13 | unsigned oct; |
| 14 | |
| 15 | if(size == 0) |
| 16 | return 0; /* Want more */ |
| 17 | |
vlm | b02dcc6 | 2005-03-10 18:52:02 +0000 | [diff] [blame] | 18 | oct = *(const uint8_t *)buf; |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 19 | if((oct & 0x80) == 0) { |
| 20 | /* |
| 21 | * Short definite length. |
| 22 | */ |
vlm | 15f28cb | 2004-08-19 18:10:27 +0000 | [diff] [blame] | 23 | *len_r = oct; /* & 0x7F */ |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 24 | return 1; |
| 25 | } else { |
| 26 | ber_tlv_len_t len; |
vlm | b42843a | 2004-06-05 08:17:50 +0000 | [diff] [blame] | 27 | size_t skipped; |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 28 | |
| 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; |
vlm | 15f28cb | 2004-08-19 18:10:27 +0000 | [diff] [blame] | 41 | oct && (++skipped <= size); buf++, oct--) { |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 42 | |
| 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) { |
vlm | eeb5ff9 | 2004-09-29 13:25:23 +0000 | [diff] [blame] | 54 | /* |
| 55 | * Here length may be very close or equal to 2G. |
vlm | 6c59384 | 2004-10-26 09:03:31 +0000 | [diff] [blame] | 56 | * However, the arithmetics used in some decoders |
| 57 | * may add some (small) quantities to the length, |
vlm | eeb5ff9 | 2004-09-29 13:25:23 +0000 | [diff] [blame] | 58 | * to check the resulting value against some limits. |
| 59 | * This may result in integer wrap-around. |
| 60 | */ |
vlm | 735e461 | 2006-07-13 09:22:34 +0000 | [diff] [blame] | 61 | if((len + 1024) < len - 1024) { |
vlm | eeb5ff9 | 2004-09-29 13:25:23 +0000 | [diff] [blame] | 62 | /* Too large length value */ |
| 63 | return -1; |
| 64 | } |
| 65 | |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 66 | *len_r = len; |
| 67 | return skipped; |
| 68 | } |
| 69 | |
| 70 | return 0; /* Want more */ |
| 71 | } |
| 72 | |
| 73 | } |
| 74 | |
| 75 | ssize_t |
vlm | 6130a2f | 2004-09-29 14:19:14 +0000 | [diff] [blame] | 76 | ber_skip_length(asn_codec_ctx_t *opt_codec_ctx, |
vlm | b02dcc6 | 2005-03-10 18:52:02 +0000 | [diff] [blame] | 77 | int _is_constructed, const void *ptr, size_t size) { |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 78 | ber_tlv_len_t vlen; /* Length of V in TLV */ |
| 79 | ssize_t tl; /* Length of L in TLV */ |
| 80 | ssize_t ll; /* Length of L in TLV */ |
vlm | b42843a | 2004-06-05 08:17:50 +0000 | [diff] [blame] | 81 | size_t skip; |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 82 | |
| 83 | /* |
vlm | 6130a2f | 2004-09-29 14:19:14 +0000 | [diff] [blame] | 84 | * Make sure we didn't exceed the maximum stack size. |
| 85 | */ |
vlm | 4d2ca12 | 2005-12-07 05:46:03 +0000 | [diff] [blame] | 86 | if(_ASN_STACK_OVERFLOW_CHECK(opt_codec_ctx)) |
| 87 | return -1; |
vlm | 6130a2f | 2004-09-29 14:19:14 +0000 | [diff] [blame] | 88 | |
| 89 | /* |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 90 | * Determine the size of L in TLV. |
| 91 | */ |
| 92 | ll = ber_fetch_length(_is_constructed, ptr, size, &vlen); |
| 93 | if(ll <= 0) return ll; |
| 94 | |
| 95 | /* |
| 96 | * Definite length. |
| 97 | */ |
| 98 | if(vlen >= 0) { |
| 99 | skip = ll + vlen; |
| 100 | if(skip > size) |
| 101 | return 0; /* Want more */ |
| 102 | return skip; |
| 103 | } |
| 104 | |
| 105 | /* |
| 106 | * Indefinite length! |
| 107 | */ |
| 108 | ASN_DEBUG("Skipping indefinite length"); |
vlm | b02dcc6 | 2005-03-10 18:52:02 +0000 | [diff] [blame] | 109 | for(skip = ll, ptr = ((const char *)ptr) + ll, size -= ll;;) { |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 110 | ber_tlv_tag_t tag; |
| 111 | |
| 112 | /* Fetch the tag */ |
| 113 | tl = ber_fetch_tag(ptr, size, &tag); |
| 114 | if(tl <= 0) return tl; |
| 115 | |
vlm | 6130a2f | 2004-09-29 14:19:14 +0000 | [diff] [blame] | 116 | ll = ber_skip_length(opt_codec_ctx, |
| 117 | BER_TLV_CONSTRUCTED(ptr), |
vlm | b02dcc6 | 2005-03-10 18:52:02 +0000 | [diff] [blame] | 118 | ((const char *)ptr) + tl, size - tl); |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 119 | if(ll <= 0) return ll; |
| 120 | |
| 121 | skip += tl + ll; |
| 122 | |
| 123 | /* |
| 124 | * This may be the end of the indefinite length structure, |
| 125 | * two consecutive 0 octets. |
| 126 | * Check if it is true. |
| 127 | */ |
vlm | b02dcc6 | 2005-03-10 18:52:02 +0000 | [diff] [blame] | 128 | if(((const uint8_t *)ptr)[0] == 0 |
| 129 | && ((const uint8_t *)ptr)[1] == 0) |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 130 | return skip; |
| 131 | |
vlm | b02dcc6 | 2005-03-10 18:52:02 +0000 | [diff] [blame] | 132 | ptr = ((const char *)ptr) + tl + ll; |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 133 | size -= tl + ll; |
| 134 | } |
| 135 | |
| 136 | /* UNREACHABLE */ |
| 137 | } |
| 138 | |
vlm | 3326d45 | 2004-09-24 20:59:13 +0000 | [diff] [blame] | 139 | size_t |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 140 | der_tlv_length_serialize(ber_tlv_len_t len, void *bufp, size_t size) { |
vlm | 15f28cb | 2004-08-19 18:10:27 +0000 | [diff] [blame] | 141 | size_t required_size; /* Size of len encoding */ |
vlm | da67468 | 2004-08-11 09:07:36 +0000 | [diff] [blame] | 142 | uint8_t *buf = (uint8_t *)bufp; |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 143 | uint8_t *end; |
vlm | 15f28cb | 2004-08-19 18:10:27 +0000 | [diff] [blame] | 144 | size_t i; |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 145 | |
| 146 | if(len <= 127) { |
| 147 | /* Encoded in 1 octet */ |
vlm | 8a09e0f | 2005-02-25 14:20:30 +0000 | [diff] [blame] | 148 | if(size) *buf = (uint8_t)len; |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 149 | return 1; |
| 150 | } |
| 151 | |
| 152 | /* |
| 153 | * Compute the size of the subsequent bytes. |
| 154 | */ |
vlm | 15f28cb | 2004-08-19 18:10:27 +0000 | [diff] [blame] | 155 | for(required_size = 1, i = 8; i < 8 * sizeof(len); i += 8) { |
| 156 | if(len >> i) |
| 157 | required_size++; |
| 158 | else |
| 159 | break; |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 160 | } |
| 161 | |
vlm | b179031 | 2006-04-16 08:57:39 +0000 | [diff] [blame] | 162 | if(size <= required_size) |
vlm | 15f28cb | 2004-08-19 18:10:27 +0000 | [diff] [blame] | 163 | return required_size + 1; |
| 164 | |
vlm | 8a09e0f | 2005-02-25 14:20:30 +0000 | [diff] [blame] | 165 | *buf++ = (uint8_t)(0x80 | required_size); /* Length of the encoding */ |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 166 | |
| 167 | /* |
| 168 | * Produce the len encoding, space permitting. |
| 169 | */ |
vlm | 15f28cb | 2004-08-19 18:10:27 +0000 | [diff] [blame] | 170 | end = buf + required_size; |
| 171 | for(i -= 8; buf < end; i -= 8, buf++) |
vlm | 8a09e0f | 2005-02-25 14:20:30 +0000 | [diff] [blame] | 172 | *buf = (uint8_t)(len >> i); |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 173 | |
vlm | 15f28cb | 2004-08-19 18:10:27 +0000 | [diff] [blame] | 174 | return required_size + 1; |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 175 | } |
| 176 | |