Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2015 Cisco and/or its affiliates. |
| 3 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 4 | * you may not use this file except in compliance with the License. |
| 5 | * You may obtain a copy of the License at: |
| 6 | * |
| 7 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 8 | * |
| 9 | * Unless required by applicable law or agreed to in writing, software |
| 10 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 11 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 12 | * See the License for the specific language governing permissions and |
| 13 | * limitations under the License. |
| 14 | */ |
| 15 | /* |
| 16 | * ip/ip4_format.c: ip4 formatting |
| 17 | * |
| 18 | * Copyright (c) 2008 Eliot Dresselhaus |
| 19 | * |
| 20 | * Permission is hereby granted, free of charge, to any person obtaining |
| 21 | * a copy of this software and associated documentation files (the |
| 22 | * "Software"), to deal in the Software without restriction, including |
| 23 | * without limitation the rights to use, copy, modify, merge, publish, |
| 24 | * distribute, sublicense, and/or sell copies of the Software, and to |
| 25 | * permit persons to whom the Software is furnished to do so, subject to |
| 26 | * the following conditions: |
| 27 | * |
| 28 | * The above copyright notice and this permission notice shall be |
| 29 | * included in all copies or substantial portions of the Software. |
| 30 | * |
| 31 | * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, |
| 32 | * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF |
| 33 | * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND |
| 34 | * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE |
| 35 | * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION |
| 36 | * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION |
| 37 | * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. |
| 38 | */ |
| 39 | |
| 40 | #include <vnet/ip/ip.h> |
| 41 | |
| 42 | /* Format an IP4 address. */ |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 43 | u8 * |
| 44 | format_ip4_address (u8 * s, va_list * args) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 45 | { |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 46 | u8 *a = va_arg (*args, u8 *); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 47 | return format (s, "%d.%d.%d.%d", a[0], a[1], a[2], a[3]); |
| 48 | } |
| 49 | |
| 50 | /* Format an IP4 route destination and length. */ |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 51 | u8 * |
| 52 | format_ip4_address_and_length (u8 * s, va_list * args) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 53 | { |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 54 | u8 *a = va_arg (*args, u8 *); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 55 | u8 l = va_arg (*args, u32); |
| 56 | return format (s, "%U/%d", format_ip4_address, a, l); |
| 57 | } |
| 58 | |
Damjan Marion | a35cc14 | 2018-03-16 01:25:27 +0100 | [diff] [blame^] | 59 | u8 * |
| 60 | format_ip4_address_and_mask (u8 * s, va_list * args) |
| 61 | { |
| 62 | ip4_address_and_mask_t *am = va_arg (*args, ip4_address_and_mask_t *); |
| 63 | |
| 64 | if (am->addr.as_u32 == 0 && am->mask.as_u32 == 0) |
| 65 | return format (s, "any"); |
| 66 | |
| 67 | if (am->mask.as_u32 == ~0) |
| 68 | return format (s, "%U", format_ip4_address, &am->addr); |
| 69 | |
| 70 | return format (s, "%U/%U", format_ip4_address, &am->addr, |
| 71 | format_ip4_address, &am->mask); |
| 72 | } |
| 73 | |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 74 | /* Parse an IP4 address %d.%d.%d.%d. */ |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 75 | uword |
| 76 | unformat_ip4_address (unformat_input_t * input, va_list * args) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 77 | { |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 78 | u8 *result = va_arg (*args, u8 *); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 79 | unsigned a[4]; |
| 80 | |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 81 | if (!unformat (input, "%d.%d.%d.%d", &a[0], &a[1], &a[2], &a[3])) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 82 | return 0; |
| 83 | |
| 84 | if (a[0] >= 256 || a[1] >= 256 || a[2] >= 256 || a[3] >= 256) |
| 85 | return 0; |
| 86 | |
| 87 | result[0] = a[0]; |
| 88 | result[1] = a[1]; |
| 89 | result[2] = a[2]; |
| 90 | result[3] = a[3]; |
| 91 | |
| 92 | return 1; |
| 93 | } |
| 94 | |
Damjan Marion | a35cc14 | 2018-03-16 01:25:27 +0100 | [diff] [blame^] | 95 | uword |
| 96 | unformat_ip4_address_and_mask (unformat_input_t * input, va_list * args) |
| 97 | { |
| 98 | ip4_address_and_mask_t *am = va_arg (*args, ip4_address_and_mask_t *); |
| 99 | u32 addr = 0, mask = 0; |
| 100 | |
| 101 | if (unformat (input, "any")) |
| 102 | ; |
| 103 | else if (unformat (input, "%U/%U", unformat_ip4_address, &addr, |
| 104 | unformat_ip4_address, &mask)) |
| 105 | ; |
| 106 | else if (unformat (input, "%U", unformat_ip4_address, &addr)) |
| 107 | mask = ~0; |
| 108 | else |
| 109 | return 0; |
| 110 | |
| 111 | am->addr.as_u32 = addr; |
| 112 | am->mask.as_u32 = mask; |
| 113 | return 1; |
| 114 | } |
| 115 | |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 116 | /* Format an IP4 header. */ |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 117 | u8 * |
| 118 | format_ip4_header (u8 * s, va_list * args) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 119 | { |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 120 | ip4_header_t *ip = va_arg (*args, ip4_header_t *); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 121 | u32 max_header_bytes = va_arg (*args, u32); |
| 122 | u32 ip_version, header_bytes; |
Christophe Fontaine | d3c008d | 2017-10-02 18:10:54 +0200 | [diff] [blame] | 123 | u32 indent; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 124 | |
| 125 | /* Nothing to do. */ |
| 126 | if (max_header_bytes < sizeof (ip[0])) |
| 127 | return format (s, "IP header truncated"); |
| 128 | |
| 129 | indent = format_get_indent (s); |
| 130 | indent += 2; |
| 131 | |
| 132 | ip_version = (ip->ip_version_and_header_length >> 4); |
| 133 | header_bytes = (ip->ip_version_and_header_length & 0xf) * sizeof (u32); |
| 134 | |
| 135 | s = format (s, "%U: %U -> %U", |
| 136 | format_ip_protocol, ip->protocol, |
| 137 | format_ip4_address, ip->src_address.data, |
| 138 | format_ip4_address, ip->dst_address.data); |
| 139 | |
| 140 | /* Show IP version and header length only with unexpected values. */ |
| 141 | if (ip_version != 4 || header_bytes != sizeof (ip4_header_t)) |
| 142 | s = format (s, "\n%Uversion %d, header length %d", |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 143 | format_white_space, indent, ip_version, header_bytes); |
| 144 | |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 145 | s = format (s, "\n%Utos 0x%02x, ttl %d, length %d, checksum 0x%04x", |
| 146 | format_white_space, indent, |
| 147 | ip->tos, ip->ttl, |
| 148 | clib_net_to_host_u16 (ip->length), |
| 149 | clib_net_to_host_u16 (ip->checksum)); |
| 150 | |
| 151 | /* Check and report invalid checksums. */ |
| 152 | { |
| 153 | u16 c = ip4_header_checksum (ip); |
| 154 | if (c != ip->checksum) |
| 155 | s = format (s, " (should be 0x%04x)", clib_net_to_host_u16 (c)); |
| 156 | } |
| 157 | |
| 158 | { |
| 159 | u32 f = clib_net_to_host_u16 (ip->flags_and_fragment_offset); |
| 160 | u32 o; |
| 161 | |
| 162 | s = format (s, "\n%Ufragment id 0x%04x", |
| 163 | format_white_space, indent, |
| 164 | clib_net_to_host_u16 (ip->fragment_id)); |
| 165 | |
| 166 | /* Fragment offset. */ |
| 167 | o = 8 * (f & 0x1fff); |
| 168 | f ^= o; |
| 169 | if (o != 0) |
| 170 | s = format (s, " offset %d", o); |
| 171 | |
| 172 | if (f != 0) |
| 173 | { |
| 174 | s = format (s, ", flags "); |
| 175 | #define _(l) if (f & IP4_HEADER_FLAG_##l) s = format (s, #l); |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 176 | _(MORE_FRAGMENTS); |
| 177 | _(DONT_FRAGMENT); |
| 178 | _(CONGESTION); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 179 | #undef _ |
| 180 | } |
| 181 | } |
| 182 | |
| 183 | /* Recurse into next protocol layer. */ |
| 184 | if (max_header_bytes != 0 && header_bytes < max_header_bytes) |
| 185 | { |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 186 | ip_main_t *im = &ip_main; |
| 187 | ip_protocol_info_t *pi = ip_get_protocol_info (im, ip->protocol); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 188 | |
| 189 | if (pi && pi->format_header) |
| 190 | s = format (s, "\n%U%U", |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 191 | format_white_space, indent - 2, pi->format_header, |
| 192 | /* next protocol header */ (void *) ip + header_bytes, |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 193 | max_header_bytes - header_bytes); |
| 194 | } |
| 195 | |
| 196 | return s; |
| 197 | } |
| 198 | |
| 199 | /* Parse an IP4 header. */ |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 200 | uword |
| 201 | unformat_ip4_header (unformat_input_t * input, va_list * args) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 202 | { |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 203 | u8 **result = va_arg (*args, u8 **); |
| 204 | ip4_header_t *ip; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 205 | int old_length; |
| 206 | |
| 207 | /* Allocate space for IP header. */ |
| 208 | { |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 209 | void *p; |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 210 | |
| 211 | old_length = vec_len (*result); |
| 212 | vec_add2 (*result, p, sizeof (ip4_header_t)); |
| 213 | ip = p; |
| 214 | } |
| 215 | |
| 216 | memset (ip, 0, sizeof (ip[0])); |
| 217 | ip->ip_version_and_header_length = IP4_VERSION_AND_HEADER_LENGTH_NO_OPTIONS; |
| 218 | |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 219 | if (!unformat (input, "%U: %U -> %U", |
| 220 | unformat_ip_protocol, &ip->protocol, |
| 221 | unformat_ip4_address, &ip->src_address, |
| 222 | unformat_ip4_address, &ip->dst_address)) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 223 | return 0; |
| 224 | |
| 225 | /* Parse options. */ |
| 226 | while (1) |
| 227 | { |
| 228 | int i, j; |
| 229 | |
| 230 | if (unformat (input, "tos %U", unformat_vlib_number, &i)) |
| 231 | ip->tos = i; |
| 232 | |
| 233 | else if (unformat (input, "ttl %U", unformat_vlib_number, &i)) |
| 234 | ip->ttl = i; |
| 235 | |
| 236 | else if (unformat (input, "fragment id %U offset %U", |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 237 | unformat_vlib_number, &i, unformat_vlib_number, &j)) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 238 | { |
| 239 | ip->fragment_id = clib_host_to_net_u16 (i); |
| 240 | ip->flags_and_fragment_offset |= |
| 241 | clib_host_to_net_u16 ((i / 8) & 0x1fff); |
| 242 | } |
| 243 | |
| 244 | /* Flags. */ |
| 245 | else if (unformat (input, "mf") || unformat (input, "MF")) |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 246 | ip->flags_and_fragment_offset |= |
| 247 | clib_host_to_net_u16 (IP4_HEADER_FLAG_MORE_FRAGMENTS); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 248 | |
| 249 | else if (unformat (input, "df") || unformat (input, "DF")) |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 250 | ip->flags_and_fragment_offset |= |
| 251 | clib_host_to_net_u16 (IP4_HEADER_FLAG_DONT_FRAGMENT); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 252 | |
| 253 | else if (unformat (input, "ce") || unformat (input, "CE")) |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 254 | ip->flags_and_fragment_offset |= |
| 255 | clib_host_to_net_u16 (IP4_HEADER_FLAG_CONGESTION); |
| 256 | |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 257 | /* Can't parse input: try next protocol level. */ |
| 258 | else |
| 259 | break; |
| 260 | } |
| 261 | |
| 262 | /* Fill in checksum. */ |
| 263 | ip->checksum = ip4_header_checksum (ip); |
| 264 | |
| 265 | /* Recurse into next protocol layer. */ |
| 266 | { |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 267 | ip_main_t *im = &ip_main; |
| 268 | ip_protocol_info_t *pi = ip_get_protocol_info (im, ip->protocol); |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 269 | |
| 270 | if (pi && pi->unformat_header) |
| 271 | { |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 272 | if (!unformat_user (input, pi->unformat_header, result)) |
Ed Warnicke | cb9cada | 2015-12-08 15:45:58 -0700 | [diff] [blame] | 273 | return 0; |
| 274 | |
| 275 | /* Result may have moved. */ |
| 276 | ip = (void *) *result + old_length; |
| 277 | } |
| 278 | } |
| 279 | |
| 280 | /* Fill in IP length. */ |
| 281 | ip->length = clib_host_to_net_u16 (vec_len (*result) - old_length); |
| 282 | |
| 283 | return 1; |
| 284 | } |
Dave Barach | d7cb1b5 | 2016-12-09 09:52:16 -0500 | [diff] [blame] | 285 | |
| 286 | /* |
| 287 | * fd.io coding-style-patch-verification: ON |
| 288 | * |
| 289 | * Local Variables: |
| 290 | * eval: (c-set-style "gnu") |
| 291 | * End: |
| 292 | */ |