1bd4aed0eSJiong Wang /* SPDX-License-Identifier: GPL-2.0 */
2bd4aed0eSJiong Wang // Copyright (c) 2018 Covalent IO, Inc. http://covalent.io
3bd4aed0eSJiong Wang 
4bd4aed0eSJiong Wang #include <stddef.h>
5bd4aed0eSJiong Wang #include <stdbool.h>
6bd4aed0eSJiong Wang #include <string.h>
7bd4aed0eSJiong Wang #include <linux/bpf.h>
8bd4aed0eSJiong Wang #include <linux/if_ether.h>
9bd4aed0eSJiong Wang #include <linux/in.h>
10bd4aed0eSJiong Wang #include <linux/ip.h>
11bd4aed0eSJiong Wang #include <linux/ipv6.h>
12bd4aed0eSJiong Wang #include <linux/pkt_cls.h>
13bd4aed0eSJiong Wang #include <linux/tcp.h>
14bd4aed0eSJiong Wang #include <sys/socket.h>
153e689141SToke Høiland-Jørgensen #include <bpf/bpf_helpers.h>
163e689141SToke Høiland-Jørgensen #include <bpf/bpf_endian.h>
17bd4aed0eSJiong Wang 
18bd4aed0eSJiong Wang char _license[] SEC("license") = "GPL";
19bd4aed0eSJiong Wang 
20bd4aed0eSJiong Wang /* Fill 'tuple' with L3 info, and attempt to find L4. On fail, return NULL. */
get_tuple(void * data,__u64 nh_off,void * data_end,__u16 eth_proto,bool * ipv4)21bd4aed0eSJiong Wang static struct bpf_sock_tuple *get_tuple(void *data, __u64 nh_off,
22bd4aed0eSJiong Wang 					void *data_end, __u16 eth_proto,
23bd4aed0eSJiong Wang 					bool *ipv4)
24bd4aed0eSJiong Wang {
25bd4aed0eSJiong Wang 	struct bpf_sock_tuple *result;
26*ec97a76fSDave Marchevsky 	__u64 ihl_len = 0;
27bd4aed0eSJiong Wang 	__u8 proto = 0;
28bd4aed0eSJiong Wang 
29bd4aed0eSJiong Wang 	if (eth_proto == bpf_htons(ETH_P_IP)) {
30bd4aed0eSJiong Wang 		struct iphdr *iph = (struct iphdr *)(data + nh_off);
31bd4aed0eSJiong Wang 
32bd4aed0eSJiong Wang 		if (iph + 1 > data_end)
33bd4aed0eSJiong Wang 			return NULL;
34bd4aed0eSJiong Wang 		ihl_len = iph->ihl * 4;
35bd4aed0eSJiong Wang 		proto = iph->protocol;
36bd4aed0eSJiong Wang 		*ipv4 = true;
37bd4aed0eSJiong Wang 		result = (struct bpf_sock_tuple *)&iph->saddr;
38bd4aed0eSJiong Wang 	} else if (eth_proto == bpf_htons(ETH_P_IPV6)) {
39bd4aed0eSJiong Wang 		struct ipv6hdr *ip6h = (struct ipv6hdr *)(data + nh_off);
40bd4aed0eSJiong Wang 
41bd4aed0eSJiong Wang 		if (ip6h + 1 > data_end)
42bd4aed0eSJiong Wang 			return NULL;
43bd4aed0eSJiong Wang 		ihl_len = sizeof(*ip6h);
44bd4aed0eSJiong Wang 		proto = ip6h->nexthdr;
45bd4aed0eSJiong Wang 		*ipv4 = true;
46bd4aed0eSJiong Wang 		result = (struct bpf_sock_tuple *)&ip6h->saddr;
47bd4aed0eSJiong Wang 	}
48bd4aed0eSJiong Wang 
49bd4aed0eSJiong Wang 	if (data + nh_off + ihl_len > data_end || proto != IPPROTO_TCP)
50bd4aed0eSJiong Wang 		return NULL;
51bd4aed0eSJiong Wang 
52bd4aed0eSJiong Wang 	return result;
53bd4aed0eSJiong Wang }
54bd4aed0eSJiong Wang 
550d7fefebSAndrii Nakryiko SEC("?tc")
sk_lookup_success(struct __sk_buff * skb)56c22bdd28SAndrii Nakryiko int sk_lookup_success(struct __sk_buff *skb)
57bd4aed0eSJiong Wang {
58bd4aed0eSJiong Wang 	void *data_end = (void *)(long)skb->data_end;
59bd4aed0eSJiong Wang 	void *data = (void *)(long)skb->data;
60bd4aed0eSJiong Wang 	struct ethhdr *eth = (struct ethhdr *)(data);
61bd4aed0eSJiong Wang 	struct bpf_sock_tuple *tuple;
62bd4aed0eSJiong Wang 	struct bpf_sock *sk;
63bd4aed0eSJiong Wang 	size_t tuple_len;
64bd4aed0eSJiong Wang 	bool ipv4;
65bd4aed0eSJiong Wang 
66bd4aed0eSJiong Wang 	if (eth + 1 > data_end)
67bd4aed0eSJiong Wang 		return TC_ACT_SHOT;
68bd4aed0eSJiong Wang 
69bd4aed0eSJiong Wang 	tuple = get_tuple(data, sizeof(*eth), data_end, eth->h_proto, &ipv4);
70bd4aed0eSJiong Wang 	if (!tuple || tuple + sizeof *tuple > data_end)
71bd4aed0eSJiong Wang 		return TC_ACT_SHOT;
72bd4aed0eSJiong Wang 
73bd4aed0eSJiong Wang 	tuple_len = ipv4 ? sizeof(tuple->ipv4) : sizeof(tuple->ipv6);
74bd4aed0eSJiong Wang 	sk = bpf_sk_lookup_tcp(skb, tuple, tuple_len, BPF_F_CURRENT_NETNS, 0);
75d844a71bSJohn Fastabend 	bpf_printk("sk=%d\n", sk ? 1 : 0);
76bd4aed0eSJiong Wang 	if (sk)
77bd4aed0eSJiong Wang 		bpf_sk_release(sk);
78bd4aed0eSJiong Wang 	return sk ? TC_ACT_OK : TC_ACT_UNSPEC;
79bd4aed0eSJiong Wang }
80bd4aed0eSJiong Wang 
810d7fefebSAndrii Nakryiko SEC("?tc")
sk_lookup_success_simple(struct __sk_buff * skb)82c22bdd28SAndrii Nakryiko int sk_lookup_success_simple(struct __sk_buff *skb)
83bd4aed0eSJiong Wang {
84bd4aed0eSJiong Wang 	struct bpf_sock_tuple tuple = {};
85bd4aed0eSJiong Wang 	struct bpf_sock *sk;
86bd4aed0eSJiong Wang 
87bd4aed0eSJiong Wang 	sk = bpf_sk_lookup_tcp(skb, &tuple, sizeof(tuple), BPF_F_CURRENT_NETNS, 0);
88bd4aed0eSJiong Wang 	if (sk)
89bd4aed0eSJiong Wang 		bpf_sk_release(sk);
90bd4aed0eSJiong Wang 	return 0;
91bd4aed0eSJiong Wang }
92bd4aed0eSJiong Wang 
930d7fefebSAndrii Nakryiko SEC("?tc")
err_use_after_free(struct __sk_buff * skb)94c22bdd28SAndrii Nakryiko int err_use_after_free(struct __sk_buff *skb)
95bd4aed0eSJiong Wang {
96bd4aed0eSJiong Wang 	struct bpf_sock_tuple tuple = {};
97bd4aed0eSJiong Wang 	struct bpf_sock *sk;
98bd4aed0eSJiong Wang 	__u32 family = 0;
99bd4aed0eSJiong Wang 
100bd4aed0eSJiong Wang 	sk = bpf_sk_lookup_tcp(skb, &tuple, sizeof(tuple), BPF_F_CURRENT_NETNS, 0);
101bd4aed0eSJiong Wang 	if (sk) {
102bd4aed0eSJiong Wang 		bpf_sk_release(sk);
103bd4aed0eSJiong Wang 		family = sk->family;
104bd4aed0eSJiong Wang 	}
105bd4aed0eSJiong Wang 	return family;
106bd4aed0eSJiong Wang }
107bd4aed0eSJiong Wang 
1080d7fefebSAndrii Nakryiko SEC("?tc")
err_modify_sk_pointer(struct __sk_buff * skb)109c22bdd28SAndrii Nakryiko int err_modify_sk_pointer(struct __sk_buff *skb)
110bd4aed0eSJiong Wang {
111bd4aed0eSJiong Wang 	struct bpf_sock_tuple tuple = {};
112bd4aed0eSJiong Wang 	struct bpf_sock *sk;
113bd4aed0eSJiong Wang 
114bd4aed0eSJiong Wang 	sk = bpf_sk_lookup_tcp(skb, &tuple, sizeof(tuple), BPF_F_CURRENT_NETNS, 0);
115bd4aed0eSJiong Wang 	if (sk) {
116bd4aed0eSJiong Wang 		sk += 1;
117bd4aed0eSJiong Wang 		bpf_sk_release(sk);
118bd4aed0eSJiong Wang 	}
119bd4aed0eSJiong Wang 	return 0;
120bd4aed0eSJiong Wang }
121bd4aed0eSJiong Wang 
1220d7fefebSAndrii Nakryiko SEC("?tc")
err_modify_sk_or_null_pointer(struct __sk_buff * skb)123c22bdd28SAndrii Nakryiko int err_modify_sk_or_null_pointer(struct __sk_buff *skb)
124bd4aed0eSJiong Wang {
125bd4aed0eSJiong Wang 	struct bpf_sock_tuple tuple = {};
126bd4aed0eSJiong Wang 	struct bpf_sock *sk;
127bd4aed0eSJiong Wang 
128bd4aed0eSJiong Wang 	sk = bpf_sk_lookup_tcp(skb, &tuple, sizeof(tuple), BPF_F_CURRENT_NETNS, 0);
129bd4aed0eSJiong Wang 	sk += 1;
130bd4aed0eSJiong Wang 	if (sk)
131bd4aed0eSJiong Wang 		bpf_sk_release(sk);
132bd4aed0eSJiong Wang 	return 0;
133bd4aed0eSJiong Wang }
134bd4aed0eSJiong Wang 
1350d7fefebSAndrii Nakryiko SEC("?tc")
err_no_release(struct __sk_buff * skb)136c22bdd28SAndrii Nakryiko int err_no_release(struct __sk_buff *skb)
137bd4aed0eSJiong Wang {
138bd4aed0eSJiong Wang 	struct bpf_sock_tuple tuple = {};
139bd4aed0eSJiong Wang 
140bd4aed0eSJiong Wang 	bpf_sk_lookup_tcp(skb, &tuple, sizeof(tuple), BPF_F_CURRENT_NETNS, 0);
141bd4aed0eSJiong Wang 	return 0;
142bd4aed0eSJiong Wang }
143bd4aed0eSJiong Wang 
1440d7fefebSAndrii Nakryiko SEC("?tc")
err_release_twice(struct __sk_buff * skb)145c22bdd28SAndrii Nakryiko int err_release_twice(struct __sk_buff *skb)
146bd4aed0eSJiong Wang {
147bd4aed0eSJiong Wang 	struct bpf_sock_tuple tuple = {};
148bd4aed0eSJiong Wang 	struct bpf_sock *sk;
149bd4aed0eSJiong Wang 
150bd4aed0eSJiong Wang 	sk = bpf_sk_lookup_tcp(skb, &tuple, sizeof(tuple), BPF_F_CURRENT_NETNS, 0);
151bd4aed0eSJiong Wang 	bpf_sk_release(sk);
152bd4aed0eSJiong Wang 	bpf_sk_release(sk);
153bd4aed0eSJiong Wang 	return 0;
154bd4aed0eSJiong Wang }
155bd4aed0eSJiong Wang 
1560d7fefebSAndrii Nakryiko SEC("?tc")
err_release_unchecked(struct __sk_buff * skb)157c22bdd28SAndrii Nakryiko int err_release_unchecked(struct __sk_buff *skb)
158bd4aed0eSJiong Wang {
159bd4aed0eSJiong Wang 	struct bpf_sock_tuple tuple = {};
160bd4aed0eSJiong Wang 	struct bpf_sock *sk;
161bd4aed0eSJiong Wang 
162bd4aed0eSJiong Wang 	sk = bpf_sk_lookup_tcp(skb, &tuple, sizeof(tuple), BPF_F_CURRENT_NETNS, 0);
163bd4aed0eSJiong Wang 	bpf_sk_release(sk);
164bd4aed0eSJiong Wang 	return 0;
165bd4aed0eSJiong Wang }
166bd4aed0eSJiong Wang 
lookup_no_release(struct __sk_buff * skb)167bd4aed0eSJiong Wang void lookup_no_release(struct __sk_buff *skb)
168bd4aed0eSJiong Wang {
169bd4aed0eSJiong Wang 	struct bpf_sock_tuple tuple = {};
170bd4aed0eSJiong Wang 	bpf_sk_lookup_tcp(skb, &tuple, sizeof(tuple), BPF_F_CURRENT_NETNS, 0);
171bd4aed0eSJiong Wang }
172bd4aed0eSJiong Wang 
1730d7fefebSAndrii Nakryiko SEC("?tc")
err_no_release_subcall(struct __sk_buff * skb)174c22bdd28SAndrii Nakryiko int err_no_release_subcall(struct __sk_buff *skb)
175bd4aed0eSJiong Wang {
176bd4aed0eSJiong Wang 	lookup_no_release(skb);
177bd4aed0eSJiong Wang 	return 0;
178bd4aed0eSJiong Wang }
179