blob: 1b8ff1e0ab06fc260448166e13023d5b206e1019 [file] [log] [blame]
Ed Warnickecb9cada2015-12-08 15:45:58 -07001/*
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/ip6_format.c: ip6 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 IP6 address. */
Dave Barachd7cb1b52016-12-09 09:52:16 -050043u8 *
44format_ip6_address (u8 * s, va_list * args)
Ed Warnickecb9cada2015-12-08 15:45:58 -070045{
Dave Barachd7cb1b52016-12-09 09:52:16 -050046 ip6_address_t *a = va_arg (*args, ip6_address_t *);
Ed Warnickecb9cada2015-12-08 15:45:58 -070047 u32 max_zero_run = 0, this_zero_run = 0;
Dave Barachd7cb1b52016-12-09 09:52:16 -050048 int max_zero_run_index = -1, this_zero_run_index = 0;
Ed Warnickecb9cada2015-12-08 15:45:58 -070049 int in_zero_run = 0, i;
50 int last_double_colon = 0;
51
52 /* Ugh, this is a pain. Scan forward looking for runs of 0's */
53 for (i = 0; i < ARRAY_LEN (a->as_u16); i++)
54 {
55 if (a->as_u16[i] == 0)
Dave Barachd7cb1b52016-12-09 09:52:16 -050056 {
57 if (in_zero_run)
58 this_zero_run++;
59 else
60 {
61 in_zero_run = 1;
62 this_zero_run = 1;
63 this_zero_run_index = i;
64 }
65 }
Ed Warnickecb9cada2015-12-08 15:45:58 -070066 else
Dave Barachd7cb1b52016-12-09 09:52:16 -050067 {
68 if (in_zero_run)
69 {
70 /* offer to compress the biggest run of > 1 zero */
71 if (this_zero_run > max_zero_run && this_zero_run > 1)
72 {
73 max_zero_run_index = this_zero_run_index;
74 max_zero_run = this_zero_run;
75 }
76 }
77 in_zero_run = 0;
78 this_zero_run = 0;
79 }
Ed Warnickecb9cada2015-12-08 15:45:58 -070080 }
81
82 if (in_zero_run)
83 {
84 if (this_zero_run > max_zero_run && this_zero_run > 1)
Dave Barachd7cb1b52016-12-09 09:52:16 -050085 {
86 max_zero_run_index = this_zero_run_index;
87 max_zero_run = this_zero_run;
88 }
Ed Warnickecb9cada2015-12-08 15:45:58 -070089 }
Dave Barachd7cb1b52016-12-09 09:52:16 -050090
Ed Warnickecb9cada2015-12-08 15:45:58 -070091 for (i = 0; i < ARRAY_LEN (a->as_u16); i++)
92 {
93 if (i == max_zero_run_index)
Dave Barachd7cb1b52016-12-09 09:52:16 -050094 {
Ed Warnickecb9cada2015-12-08 15:45:58 -070095 s = format (s, "::");
Dave Barachd7cb1b52016-12-09 09:52:16 -050096 i += max_zero_run - 1;
97 last_double_colon = 1;
98 }
Ed Warnickecb9cada2015-12-08 15:45:58 -070099 else
100 {
101 s = format (s, "%s%x",
102 (last_double_colon || i == 0) ? "" : ":",
103 clib_net_to_host_u16 (a->as_u16[i]));
104 last_double_colon = 0;
105 }
106 }
107
108 return s;
109}
110
111/* Format an IP6 route destination and length. */
Dave Barachd7cb1b52016-12-09 09:52:16 -0500112u8 *
113format_ip6_address_and_length (u8 * s, va_list * args)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700114{
Dave Barachd7cb1b52016-12-09 09:52:16 -0500115 ip6_address_t *a = va_arg (*args, ip6_address_t *);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700116 u8 l = va_arg (*args, u32);
117 return format (s, "%U/%d", format_ip6_address, a, l);
118}
119
Damjan Mariona35cc142018-03-16 01:25:27 +0100120u8 *
121format_ip6_address_and_mask (u8 * s, va_list * args)
122{
123 ip6_address_and_mask_t *am = va_arg (*args, ip6_address_and_mask_t *);
124
125 if (am->addr.as_u64[0] == 0 && am->addr.as_u64[1] == 0 &&
126 am->mask.as_u64[0] == 0 && am->mask.as_u64[1] == 0)
127 return format (s, "any");
128
129 if (am->mask.as_u64[0] == ~0 && am->mask.as_u64[1] == ~0)
Chenmin Sune30f9c52020-07-12 08:08:36 +0800130 return format (s, "%U", format_ip6_address, &am->addr);
Damjan Mariona35cc142018-03-16 01:25:27 +0100131
132 return format (s, "%U/%U", format_ip6_address, &am->addr,
Chenmin Sune30f9c52020-07-12 08:08:36 +0800133 format_ip6_address, &am->mask);
Damjan Mariona35cc142018-03-16 01:25:27 +0100134}
135
Ed Warnickecb9cada2015-12-08 15:45:58 -0700136/* Parse an IP6 address. */
Dave Barachd7cb1b52016-12-09 09:52:16 -0500137uword
138unformat_ip6_address (unformat_input_t * input, va_list * args)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700139{
Dave Barachd7cb1b52016-12-09 09:52:16 -0500140 ip6_address_t *result = va_arg (*args, ip6_address_t *);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700141 u16 hex_quads[8];
142 uword hex_quad, n_hex_quads, hex_digit, n_hex_digits;
143 uword c, n_colon, double_colon_index;
144
145 n_hex_quads = hex_quad = n_hex_digits = n_colon = 0;
146 double_colon_index = ARRAY_LEN (hex_quads);
147 while ((c = unformat_get_input (input)) != UNFORMAT_END_OF_INPUT)
148 {
149 hex_digit = 16;
150 if (c >= '0' && c <= '9')
151 hex_digit = c - '0';
152 else if (c >= 'a' && c <= 'f')
153 hex_digit = c + 10 - 'a';
154 else if (c >= 'A' && c <= 'F')
155 hex_digit = c + 10 - 'A';
156 else if (c == ':' && n_colon < 2)
157 n_colon++;
158 else
159 {
160 unformat_put_input (input);
161 break;
162 }
163
164 /* Too many hex quads. */
165 if (n_hex_quads >= ARRAY_LEN (hex_quads))
166 return 0;
167
168 if (hex_digit < 16)
169 {
170 hex_quad = (hex_quad << 4) | hex_digit;
171
172 /* Hex quad must fit in 16 bits. */
173 if (n_hex_digits >= 4)
174 return 0;
175
176 n_colon = 0;
177 n_hex_digits++;
178 }
Dave Barachd7cb1b52016-12-09 09:52:16 -0500179
Ed Warnickecb9cada2015-12-08 15:45:58 -0700180 /* Save position of :: */
181 if (n_colon == 2)
182 {
183 /* More than one :: ? */
184 if (double_colon_index < ARRAY_LEN (hex_quads))
185 return 0;
186 double_colon_index = n_hex_quads;
187 }
188
189 if (n_colon > 0 && n_hex_digits > 0)
190 {
191 hex_quads[n_hex_quads++] = hex_quad;
192 hex_quad = 0;
193 n_hex_digits = 0;
194 }
195 }
196
197 if (n_hex_digits > 0)
198 hex_quads[n_hex_quads++] = hex_quad;
199
200 {
201 word i;
202
203 /* Expand :: to appropriate number of zero hex quads. */
204 if (double_colon_index < ARRAY_LEN (hex_quads))
205 {
206 word n_zero = ARRAY_LEN (hex_quads) - n_hex_quads;
207
208 for (i = n_hex_quads - 1; i >= (signed) double_colon_index; i--)
209 hex_quads[n_zero + i] = hex_quads[i];
210
211 for (i = 0; i < n_zero; i++)
Dave Barachd7cb1b52016-12-09 09:52:16 -0500212 {
213 ASSERT ((double_colon_index + i) < ARRAY_LEN (hex_quads));
214 hex_quads[double_colon_index + i] = 0;
215 }
Ed Warnickecb9cada2015-12-08 15:45:58 -0700216
217 n_hex_quads = ARRAY_LEN (hex_quads);
218 }
219
220 /* Too few hex quads given. */
221 if (n_hex_quads < ARRAY_LEN (hex_quads))
222 return 0;
223
224 for (i = 0; i < ARRAY_LEN (hex_quads); i++)
225 result->as_u16[i] = clib_host_to_net_u16 (hex_quads[i]);
226
227 return 1;
228 }
229}
230
Damjan Mariona35cc142018-03-16 01:25:27 +0100231uword
232unformat_ip6_address_and_mask (unformat_input_t * input, va_list * args)
233{
234 ip6_address_and_mask_t *am = va_arg (*args, ip6_address_and_mask_t *);
235 ip6_address_t addr, mask;
236
Dave Barachb7b92992018-10-17 10:38:51 -0400237 clib_memset (&addr, 0, sizeof (ip6_address_t));
238 clib_memset (&mask, 0, sizeof (ip6_address_t));
Damjan Mariona35cc142018-03-16 01:25:27 +0100239
240 if (unformat (input, "any"))
241 ;
242 else if (unformat (input, "%U/%U", unformat_ip6_address, &addr,
243 unformat_ip6_address, &mask))
244 ;
245 else if (unformat (input, "%U", unformat_ip6_address, &addr))
246 mask.as_u64[0] = mask.as_u64[1] = ~0;
247 else
248 return 0;
249
250 am->addr.as_u64[0] = addr.as_u64[0];
251 am->addr.as_u64[1] = addr.as_u64[1];
252 am->mask.as_u64[0] = mask.as_u64[0];
253 am->mask.as_u64[1] = mask.as_u64[1];
254 return 1;
255}
256
Ed Warnickecb9cada2015-12-08 15:45:58 -0700257/* Format an IP6 header. */
Dave Barachd7cb1b52016-12-09 09:52:16 -0500258u8 *
259format_ip6_header (u8 * s, va_list * args)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700260{
Dave Barachd7cb1b52016-12-09 09:52:16 -0500261 ip6_header_t *ip = va_arg (*args, ip6_header_t *);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700262 u32 max_header_bytes = va_arg (*args, u32);
263 u32 i, ip_version, traffic_class, flow_label;
Christophe Fontained3c008d2017-10-02 18:10:54 +0200264 u32 indent;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700265
266 /* Nothing to do. */
267 if (max_header_bytes < sizeof (ip[0]))
268 return format (s, "IP header truncated");
269
270 indent = format_get_indent (s);
271 indent += 2;
272
273 s = format (s, "%U: %U -> %U",
274 format_ip_protocol, ip->protocol,
275 format_ip6_address, &ip->src_address,
276 format_ip6_address, &ip->dst_address);
277
278 i = clib_net_to_host_u32 (ip->ip_version_traffic_class_and_flow_label);
279 ip_version = (i >> 28);
280 traffic_class = (i >> 20) & 0xff;
281 flow_label = i & pow2_mask (20);
282
283 if (ip_version != 6)
Dave Barachd7cb1b52016-12-09 09:52:16 -0500284 s = format (s, "\n%Uversion %d", format_white_space, indent, ip_version);
285
286 s =
287 format (s,
288 "\n%Utos 0x%02x, flow label 0x%x, hop limit %d, payload length %d",
289 format_white_space, indent, traffic_class, flow_label,
290 ip->hop_limit, clib_net_to_host_u16 (ip->payload_length));
Ed Warnickecb9cada2015-12-08 15:45:58 -0700291
292 /* Recurse into next protocol layer. */
293 if (max_header_bytes != 0 && sizeof (ip[0]) < max_header_bytes)
294 {
Dave Barachd7cb1b52016-12-09 09:52:16 -0500295 ip_main_t *im = &ip_main;
296 ip_protocol_info_t *pi = ip_get_protocol_info (im, ip->protocol);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700297
298 if (pi && pi->format_header)
299 s = format (s, "\n%U%U",
Dave Barachd7cb1b52016-12-09 09:52:16 -0500300 format_white_space, indent - 2, pi->format_header,
301 /* next protocol header */ (void *) (ip + 1),
Ed Warnickecb9cada2015-12-08 15:45:58 -0700302 max_header_bytes - sizeof (ip[0]));
303 }
304
305 return s;
306}
307
308/* Parse an IP6 header. */
Dave Barachd7cb1b52016-12-09 09:52:16 -0500309uword
310unformat_ip6_header (unformat_input_t * input, va_list * args)
Ed Warnickecb9cada2015-12-08 15:45:58 -0700311{
Dave Barachd7cb1b52016-12-09 09:52:16 -0500312 u8 **result = va_arg (*args, u8 **);
313 ip6_header_t *ip;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700314 int old_length;
315
316 /* Allocate space for IP header. */
317 {
Dave Barachd7cb1b52016-12-09 09:52:16 -0500318 void *p;
Ed Warnickecb9cada2015-12-08 15:45:58 -0700319
320 old_length = vec_len (*result);
321 vec_add2 (*result, p, sizeof (ip[0]));
322 ip = p;
323 }
324
Dave Barachb7b92992018-10-17 10:38:51 -0400325 clib_memset (ip, 0, sizeof (ip[0]));
Dave Barachd7cb1b52016-12-09 09:52:16 -0500326 ip->ip_version_traffic_class_and_flow_label =
327 clib_host_to_net_u32 (6 << 28);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700328
Dave Barachd7cb1b52016-12-09 09:52:16 -0500329 if (!unformat (input, "%U: %U -> %U",
330 unformat_ip_protocol, &ip->protocol,
331 unformat_ip6_address, &ip->src_address,
332 unformat_ip6_address, &ip->dst_address))
Ed Warnickecb9cada2015-12-08 15:45:58 -0700333 return 0;
334
335 /* Parse options. */
336 while (1)
337 {
338 int i;
339
340 if (unformat (input, "tos %U", unformat_vlib_number, &i))
Dave Barachd7cb1b52016-12-09 09:52:16 -0500341 ip->ip_version_traffic_class_and_flow_label |=
342 clib_host_to_net_u32 ((i & 0xff) << 20);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700343
344 else if (unformat (input, "hop-limit %U", unformat_vlib_number, &i))
345 ip->hop_limit = i;
346
347 /* Can't parse input: try next protocol level. */
348 else
349 break;
350 }
351
352 /* Recurse into next protocol layer. */
353 {
Dave Barachd7cb1b52016-12-09 09:52:16 -0500354 ip_main_t *im = &ip_main;
355 ip_protocol_info_t *pi = ip_get_protocol_info (im, ip->protocol);
Ed Warnickecb9cada2015-12-08 15:45:58 -0700356
357 if (pi && pi->unformat_header)
358 {
Dave Barachd7cb1b52016-12-09 09:52:16 -0500359 if (!unformat_user (input, pi->unformat_header, result))
Ed Warnickecb9cada2015-12-08 15:45:58 -0700360 return 0;
361
362 /* Result may have moved. */
363 ip = (void *) *result + old_length;
364 }
365 }
366
Dave Barachd7cb1b52016-12-09 09:52:16 -0500367 ip->payload_length =
368 clib_host_to_net_u16 (vec_len (*result) - (old_length + sizeof (ip[0])));
Ed Warnickecb9cada2015-12-08 15:45:58 -0700369
370 return 1;
371}
Pierre Pfister1dabaaf2016-04-25 14:15:15 +0100372
373/* Parse an IP46 address. */
Dave Barachd7cb1b52016-12-09 09:52:16 -0500374uword
375unformat_ip46_address (unformat_input_t * input, va_list * args)
Pierre Pfister1dabaaf2016-04-25 14:15:15 +0100376{
377 ip46_address_t *ip46 = va_arg (*args, ip46_address_t *);
378 ip46_type_t type = va_arg (*args, ip46_type_t);
379 if ((type != IP46_TYPE_IP6) &&
Dave Barachd7cb1b52016-12-09 09:52:16 -0500380 unformat (input, "%U", unformat_ip4_address, &ip46->ip4))
381 {
382 ip46_address_mask_ip4 (ip46);
383 return 1;
384 }
385 else if ((type != IP46_TYPE_IP4) &&
386 unformat (input, "%U", unformat_ip6_address, &ip46->ip6))
387 {
388 return 1;
389 }
Pierre Pfister1dabaaf2016-04-25 14:15:15 +0100390 return 0;
391}
392
393/* Format an IP46 address. */
Dave Barachd7cb1b52016-12-09 09:52:16 -0500394u8 *
395format_ip46_address (u8 * s, va_list * args)
Pierre Pfister1dabaaf2016-04-25 14:15:15 +0100396{
397 ip46_address_t *ip46 = va_arg (*args, ip46_address_t *);
Damjan Marion86be4872016-05-24 23:19:11 +0200398 ip46_type_t type = va_arg (*args, ip46_type_t);
399 int is_ip4 = 1;
400
401 switch (type)
402 {
Dave Barachd7cb1b52016-12-09 09:52:16 -0500403 case IP46_TYPE_ANY:
404 is_ip4 = ip46_address_is_ip4 (ip46);
405 break;
406 case IP46_TYPE_IP4:
407 is_ip4 = 1;
408 break;
409 case IP46_TYPE_IP6:
410 is_ip4 = 0;
411 break;
Damjan Marion86be4872016-05-24 23:19:11 +0200412 }
413
414 return is_ip4 ?
Dave Barachd7cb1b52016-12-09 09:52:16 -0500415 format (s, "%U", format_ip4_address, &ip46->ip4) :
416 format (s, "%U", format_ip6_address, &ip46->ip6);
Pierre Pfister1dabaaf2016-04-25 14:15:15 +0100417}
Dave Barachd7cb1b52016-12-09 09:52:16 -0500418
Klement Sekera8563cb32019-10-10 17:03:57 +0000419u8 *
420format_ip6_frag_hdr (u8 * s, va_list * args)
421{
422 ip6_frag_hdr_t *h = va_arg (*args, ip6_frag_hdr_t *);
423 u32 max_header_bytes = va_arg (*args, u32);
424 u32 header_bytes;
425
426 header_bytes = sizeof (h[0]);
427 if (max_header_bytes != 0 && header_bytes > max_header_bytes)
428 return format (s, "ipv6 frag header truncated");
429
430 s =
431 format (s,
432 "IPV6_FRAG_HDR: next_hdr: %u, rsv: %u, frag_offset_and_more: %u, id: %u",
433 h->next_hdr, h->rsv, h->fragment_offset_and_more,
434 clib_net_to_host_u32 (h->identification));
435 return s;
436}
437
Dave Barachd7cb1b52016-12-09 09:52:16 -0500438/*
439 * fd.io coding-style-patch-verification: ON
440 *
441 * Local Variables:
442 * eval: (c-set-style "gnu")
443 * End:
444 */