2019-02-21 23:09:03 +01:00
|
|
|
/* -*- P4_16 -*- */
|
|
|
|
#ifndef PARSERS_P4
|
|
|
|
#define PARSERS_P4
|
|
|
|
|
2019-07-10 22:28:37 +02:00
|
|
|
/* to be included into the parser block */
|
2019-02-21 23:09:03 +01:00
|
|
|
|
|
|
|
state start {
|
2019-03-30 17:02:18 +01:00
|
|
|
meta.chk_icmp = 0;
|
|
|
|
meta.chk_icmp6 = 0;
|
2019-03-30 17:01:04 +01:00
|
|
|
meta.chk_icmp6_na_ns = 0;
|
2019-04-11 10:08:11 +02:00
|
|
|
meta.chk_ipv4 = 0;
|
|
|
|
meta.chk_udp_v6 = 0;
|
2019-04-11 10:13:54 +02:00
|
|
|
meta.chk_udp_v4 = 0;
|
|
|
|
meta.chk_tcp_v6 = 0;
|
|
|
|
meta.chk_tcp_v4 = 0;
|
2019-07-10 22:28:37 +02:00
|
|
|
meta.v4sum = 0;
|
|
|
|
meta.v6sum = 0;
|
2019-03-30 14:59:46 +01:00
|
|
|
|
2019-02-21 23:09:03 +01:00
|
|
|
packet.extract(hdr.ethernet);
|
|
|
|
transition select(hdr.ethernet.ethertype){
|
|
|
|
TYPE_IPV4: ipv4;
|
|
|
|
TYPE_IPV6: ipv6;
|
2019-03-31 16:37:21 +02:00
|
|
|
TYPE_ARP: arp;
|
2019-03-23 14:30:20 +01:00
|
|
|
|
2019-02-21 23:09:03 +01:00
|
|
|
default: accept;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
state ipv4 {
|
|
|
|
packet.extract(hdr.ipv4);
|
2019-04-11 10:08:11 +02:00
|
|
|
meta.length_without_ip_header = hdr.ipv4.totalLen - 16w20;
|
2019-02-21 23:09:03 +01:00
|
|
|
|
|
|
|
transition select(hdr.ipv4.protocol){
|
2019-02-22 00:01:53 +01:00
|
|
|
PROTO_TCP: tcp;
|
|
|
|
PROTO_UDP: udp;
|
|
|
|
PROTO_ICMP: icmp;
|
|
|
|
|
2019-02-21 23:09:03 +01:00
|
|
|
default: accept;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
state ipv6 {
|
|
|
|
packet.extract(hdr.ipv6);
|
2019-04-11 10:08:11 +02:00
|
|
|
meta.length_without_ip_header = hdr.ipv6.payload_length;
|
2019-02-21 23:09:03 +01:00
|
|
|
|
|
|
|
transition select(hdr.ipv6.next_header){
|
2019-02-22 00:01:53 +01:00
|
|
|
PROTO_TCP: tcp;
|
|
|
|
PROTO_UDP: udp;
|
|
|
|
PROTO_ICMP6: icmp6;
|
2019-02-21 23:09:03 +01:00
|
|
|
default: accept;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-03-21 20:48:56 +01:00
|
|
|
state icmp6 {
|
|
|
|
packet.extract(hdr.icmp6);
|
2019-03-23 14:30:20 +01:00
|
|
|
transition select(hdr.icmp6.type) {
|
2019-03-23 13:33:25 +01:00
|
|
|
ICMP6_NS: icmp6_neighbor_solicitation;
|
2019-03-21 20:48:56 +01:00
|
|
|
default: accept;
|
|
|
|
}
|
|
|
|
}
|
2019-03-23 13:33:25 +01:00
|
|
|
|
2019-03-21 20:48:56 +01:00
|
|
|
state icmp6_neighbor_solicitation {
|
2019-03-23 14:15:31 +01:00
|
|
|
packet.extract(hdr.icmp6_na_ns);
|
|
|
|
|
|
|
|
/* BUG: This MIGHT fail */
|
|
|
|
packet.extract(hdr.icmp6_option_link_layer_addr);
|
2019-03-23 13:33:25 +01:00
|
|
|
|
2019-03-23 14:15:31 +01:00
|
|
|
transition accept;
|
2019-03-23 13:33:25 +01:00
|
|
|
}
|
2019-03-21 20:48:56 +01:00
|
|
|
|
2019-02-22 00:01:53 +01:00
|
|
|
/* Leaf */
|
2019-02-21 23:09:03 +01:00
|
|
|
state tcp {
|
2019-03-23 14:30:20 +01:00
|
|
|
packet.extract(hdr.tcp);
|
|
|
|
transition accept;
|
2019-02-21 23:09:03 +01:00
|
|
|
}
|
|
|
|
|
2019-02-22 00:01:53 +01:00
|
|
|
state udp {
|
2019-03-23 14:30:20 +01:00
|
|
|
packet.extract(hdr.udp);
|
|
|
|
transition accept;
|
2019-02-22 00:01:53 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
state icmp {
|
2019-03-23 14:30:20 +01:00
|
|
|
packet.extract(hdr.icmp);
|
|
|
|
transition accept;
|
2019-02-22 00:01:53 +01:00
|
|
|
}
|
|
|
|
|
2019-03-31 16:37:21 +02:00
|
|
|
state arp {
|
|
|
|
packet.extract(hdr.arp);
|
|
|
|
transition accept;
|
|
|
|
}
|
|
|
|
|
2019-02-21 23:09:03 +01:00
|
|
|
|
|
|
|
#endif
|