blob: e2e6d02a2ad6bc95ad378b6f67553ad1f4f54c6d [file] [log] [blame]
Ken Chen587d4232022-01-17 17:18:43 +08001/*
2 * Copyright (C) 2018 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
Maciej Żenczykowskic5af9f22023-04-25 15:06:49 -070017// The resulting .o needs to load on the Android T bpfloader
18#define BPFLOADER_MIN_VER BPFLOADER_T_VERSION
Maciej Żenczykowskiacebffb2022-05-16 16:05:15 -070019
Ken Chen587d4232022-01-17 17:18:43 +080020#include <bpf_helpers.h>
21#include <linux/bpf.h>
22#include <linux/if.h>
23#include <linux/if_ether.h>
24#include <linux/if_packet.h>
25#include <linux/in.h>
26#include <linux/in6.h>
27#include <linux/ip.h>
28#include <linux/ipv6.h>
29#include <linux/pkt_cls.h>
30#include <linux/tcp.h>
Ken Chen587d4232022-01-17 17:18:43 +080031#include <stdbool.h>
32#include <stdint.h>
33#include "bpf_net_helpers.h"
Maciej Żenczykowski513474c2022-12-08 16:20:43 +000034#include "netd.h"
Ken Chen587d4232022-01-17 17:18:43 +080035
36// This is defined for cgroup bpf filter only.
Maciej Żenczykowski55474982022-11-20 13:48:39 +000037static const int DROP = 0;
38static const int PASS = 1;
39static const int DROP_UNLESS_DNS = 2; // internal to our program
Ken Chen587d4232022-01-17 17:18:43 +080040
41// This is used for xt_bpf program only.
Maciej Żenczykowski55474982022-11-20 13:48:39 +000042static const int BPF_NOMATCH = 0;
43static const int BPF_MATCH = 1;
Ken Chen587d4232022-01-17 17:18:43 +080044
Ryan Zuklie9419d252023-01-20 17:03:56 -080045// Used for 'bool enable_tracing'
46static const bool TRACE_ON = true;
47static const bool TRACE_OFF = false;
Maciej Żenczykowski879839a12022-08-03 10:48:25 +000048
49// offsetof(struct iphdr, ihl) -- but that's a bitfield
Ken Chen587d4232022-01-17 17:18:43 +080050#define IPPROTO_IHL_OFF 0
Maciej Żenczykowski879839a12022-08-03 10:48:25 +000051
52// This is offsetof(struct tcphdr, "32 bit tcp flag field")
53// The tcp flags are after be16 source, dest & be32 seq, ack_seq, hence 12 bytes in.
54//
55// Note that TCP_FLAG_{ACK,PSH,RST,SYN,FIN} are htonl(0x00{10,08,04,02,01}0000)
56// see include/uapi/linux/tcp.h
57#define TCP_FLAG32_OFF 12
Ken Chen587d4232022-01-17 17:18:43 +080058
Maciej Żenczykowskia4a58a32022-06-13 17:56:06 -070059// For maps netd does not need to access
Ryan Zuklie0c57d852023-01-19 15:26:19 -080060#define DEFINE_BPF_MAP_NO_NETD(the_map, TYPE, TypeOfKey, TypeOfValue, num_entries) \
61 DEFINE_BPF_MAP_EXT(the_map, TYPE, TypeOfKey, TypeOfValue, num_entries, \
62 AID_ROOT, AID_NET_BW_ACCT, 0060, "fs_bpf_net_shared", "", false, \
Maciej Żenczykowski95e07432023-04-19 16:44:11 -070063 BPFLOADER_MIN_VER, BPFLOADER_MAX_VER, LOAD_ON_ENG, \
Maciej Żenczykowskib6232eb2023-04-19 16:44:49 -070064 LOAD_ON_USER, LOAD_ON_USERDEBUG)
Maciej Żenczykowskia4a58a32022-06-13 17:56:06 -070065
66// For maps netd only needs read only access to
Ryan Zuklie0c57d852023-01-19 15:26:19 -080067#define DEFINE_BPF_MAP_RO_NETD(the_map, TYPE, TypeOfKey, TypeOfValue, num_entries) \
68 DEFINE_BPF_MAP_EXT(the_map, TYPE, TypeOfKey, TypeOfValue, num_entries, \
69 AID_ROOT, AID_NET_BW_ACCT, 0460, "fs_bpf_netd_readonly", "", false, \
Maciej Żenczykowski95e07432023-04-19 16:44:11 -070070 BPFLOADER_MIN_VER, BPFLOADER_MAX_VER, LOAD_ON_ENG, \
Maciej Żenczykowskib6232eb2023-04-19 16:44:49 -070071 LOAD_ON_USER, LOAD_ON_USERDEBUG)
Maciej Żenczykowskia4a58a32022-06-13 17:56:06 -070072
73// For maps netd needs to be able to read and write
74#define DEFINE_BPF_MAP_RW_NETD(the_map, TYPE, TypeOfKey, TypeOfValue, num_entries) \
Maciej Żenczykowskicae181d2022-06-16 23:26:33 -070075 DEFINE_BPF_MAP_UGM(the_map, TYPE, TypeOfKey, TypeOfValue, num_entries, \
76 AID_ROOT, AID_NET_BW_ACCT, 0660)
Maciej Żenczykowskia4a58a32022-06-13 17:56:06 -070077
Maciej Żenczykowskib10e0552022-06-16 14:49:27 -070078// Bpf map arrays on creation are preinitialized to 0 and do not support deletion of a key,
79// see: kernel/bpf/arraymap.c array_map_delete_elem() returns -EINVAL (from both syscall and ebpf)
80// Additionally on newer kernels the bpf jit can optimize out the lookups.
81// only valid indexes are [0..CONFIGURATION_MAP_SIZE-1]
82DEFINE_BPF_MAP_RO_NETD(configuration_map, ARRAY, uint32_t, uint32_t, CONFIGURATION_MAP_SIZE)
83
Maciej Żenczykowski1b7c1f12022-11-21 09:39:23 +000084// TODO: consider whether we can merge some of these maps
85// for example it might be possible to merge 2 or 3 of:
86// uid_counterset_map + uid_owner_map + uid_permission_map
Maciej Żenczykowskia4a58a32022-06-13 17:56:06 -070087DEFINE_BPF_MAP_RW_NETD(cookie_tag_map, HASH, uint64_t, UidTagValue, COOKIE_UID_MAP_SIZE)
88DEFINE_BPF_MAP_NO_NETD(uid_counterset_map, HASH, uint32_t, uint8_t, UID_COUNTERSET_MAP_SIZE)
89DEFINE_BPF_MAP_NO_NETD(app_uid_stats_map, HASH, uint32_t, StatsValue, APP_STATS_MAP_SIZE)
90DEFINE_BPF_MAP_RW_NETD(stats_map_A, HASH, StatsKey, StatsValue, STATS_MAP_SIZE)
91DEFINE_BPF_MAP_RO_NETD(stats_map_B, HASH, StatsKey, StatsValue, STATS_MAP_SIZE)
92DEFINE_BPF_MAP_NO_NETD(iface_stats_map, HASH, uint32_t, StatsValue, IFACE_STATS_MAP_SIZE)
Maciej Żenczykowskia4a58a32022-06-13 17:56:06 -070093DEFINE_BPF_MAP_NO_NETD(uid_owner_map, HASH, uint32_t, UidOwnerValue, UID_OWNER_MAP_SIZE)
94DEFINE_BPF_MAP_RW_NETD(uid_permission_map, HASH, uint32_t, uint8_t, UID_OWNER_MAP_SIZE)
Maciej Żenczykowski6109d942023-08-29 18:39:28 +000095DEFINE_BPF_MAP_NO_NETD(ingress_discard_map, HASH, IngressDiscardKey, IngressDiscardValue,
96 INGRESS_DISCARD_MAP_SIZE)
Ken Chen587d4232022-01-17 17:18:43 +080097
98/* never actually used from ebpf */
Maciej Żenczykowskia4a58a32022-06-13 17:56:06 -070099DEFINE_BPF_MAP_NO_NETD(iface_index_name_map, HASH, uint32_t, IfaceValue, IFACE_INDEX_NAME_MAP_SIZE)
Ken Chen587d4232022-01-17 17:18:43 +0800100
Ryan Zuklie9419d252023-01-20 17:03:56 -0800101// A single-element configuration array, packet tracing is enabled when 'true'.
102DEFINE_BPF_MAP_EXT(packet_trace_enabled_map, ARRAY, uint32_t, bool, 1,
103 AID_ROOT, AID_SYSTEM, 0060, "fs_bpf_net_shared", "", false,
Maciej Żenczykowski95e07432023-04-19 16:44:11 -0700104 BPFLOADER_IGNORED_ON_VERSION, BPFLOADER_MAX_VER, LOAD_ON_ENG,
Maciej Żenczykowskib27132f2023-04-19 16:45:07 -0700105 IGNORE_ON_USER, LOAD_ON_USERDEBUG)
Ryan Zuklie9419d252023-01-20 17:03:56 -0800106
107// A ring buffer on which packet information is pushed. This map will only be loaded
108// on eng and userdebug devices. User devices won't load this to save memory.
109DEFINE_BPF_RINGBUF_EXT(packet_trace_ringbuf, PacketTrace, PACKET_TRACE_BUF_SIZE,
110 AID_ROOT, AID_SYSTEM, 0060, "fs_bpf_net_shared", "", false,
Maciej Żenczykowski95e07432023-04-19 16:44:11 -0700111 BPFLOADER_IGNORED_ON_VERSION, BPFLOADER_MAX_VER, LOAD_ON_ENG,
Maciej Żenczykowskib27132f2023-04-19 16:45:07 -0700112 IGNORE_ON_USER, LOAD_ON_USERDEBUG);
Ryan Zuklie9419d252023-01-20 17:03:56 -0800113
Maciej Żenczykowskicae181d2022-06-16 23:26:33 -0700114// iptables xt_bpf programs need to be usable by both netd and netutils_wrappers
Maciej Żenczykowski285f7052022-08-09 17:50:31 +0000115// selinux contexts, because even non-xt_bpf iptables mutations are implemented as
Maciej Żenczykowski06085b02022-08-09 14:15:34 +0000116// a full table dump, followed by an update in userspace, and then a reload into the kernel,
117// where any already in-use xt_bpf matchers are serialized as the path to the pinned
118// program (see XT_BPF_MODE_PATH_PINNED) and then the iptables binary (or rather
119// the kernel acting on behalf of it) must be able to retrieve the pinned program
120// for the reload to succeed
Maciej Żenczykowskicae181d2022-06-16 23:26:33 -0700121#define DEFINE_XTBPF_PROG(SECTION_NAME, prog_uid, prog_gid, the_prog) \
122 DEFINE_BPF_PROG(SECTION_NAME, prog_uid, prog_gid, the_prog)
123
124// programs that need to be usable by netd, but not by netutils_wrappers
Maciej Żenczykowski06085b02022-08-09 14:15:34 +0000125// (this is because these are currently attached by the mainline provided libnetd_updatable .so
126// which is loaded into netd and thus runs as netd uid/gid/selinux context)
Maciej Żenczykowski879839a12022-08-03 10:48:25 +0000127#define DEFINE_NETD_BPF_PROG_KVER_RANGE(SECTION_NAME, prog_uid, prog_gid, the_prog, minKV, maxKV) \
Ryan Zukliecc72fa82023-01-04 16:13:01 -0800128 DEFINE_BPF_PROG_EXT(SECTION_NAME, prog_uid, prog_gid, the_prog, \
129 minKV, maxKV, BPFLOADER_MIN_VER, BPFLOADER_MAX_VER, false, \
130 "fs_bpf_netd_readonly", "", false, false, false)
Maciej Żenczykowskicae181d2022-06-16 23:26:33 -0700131
Lorenzo Colitti3505b582022-10-27 19:36:27 +0900132#define DEFINE_NETD_BPF_PROG_KVER(SECTION_NAME, prog_uid, prog_gid, the_prog, min_kv) \
Maciej Żenczykowski879839a12022-08-03 10:48:25 +0000133 DEFINE_NETD_BPF_PROG_KVER_RANGE(SECTION_NAME, prog_uid, prog_gid, the_prog, min_kv, KVER_INF)
134
135#define DEFINE_NETD_BPF_PROG(SECTION_NAME, prog_uid, prog_gid, the_prog) \
136 DEFINE_NETD_BPF_PROG_KVER(SECTION_NAME, prog_uid, prog_gid, the_prog, KVER_NONE)
Lorenzo Colitti3505b582022-10-27 19:36:27 +0900137
Maciej Żenczykowskicae181d2022-06-16 23:26:33 -0700138// programs that only need to be usable by the system server
139#define DEFINE_SYS_BPF_PROG(SECTION_NAME, prog_uid, prog_gid, the_prog) \
Ryan Zukliecc72fa82023-01-04 16:13:01 -0800140 DEFINE_BPF_PROG_EXT(SECTION_NAME, prog_uid, prog_gid, the_prog, KVER_NONE, KVER_INF, \
141 BPFLOADER_MIN_VER, BPFLOADER_MAX_VER, false, "fs_bpf_net_shared", \
142 "", false, false, false)
Maciej Żenczykowskicae181d2022-06-16 23:26:33 -0700143
Ken Chen587d4232022-01-17 17:18:43 +0800144static __always_inline int is_system_uid(uint32_t uid) {
Maciej Żenczykowskib909d8a2022-06-15 00:40:43 -0700145 // MIN_SYSTEM_UID is AID_ROOT == 0, so uint32_t is *always* >= 0
146 // MAX_SYSTEM_UID is AID_NOBODY == 9999, while AID_APP_START == 10000
147 return (uid < AID_APP_START);
Ken Chen587d4232022-01-17 17:18:43 +0800148}
149
150/*
151 * Note: this blindly assumes an MTU of 1500, and that packets > MTU are always TCP,
152 * and that TCP is using the Linux default settings with TCP timestamp option enabled
153 * which uses 12 TCP option bytes per frame.
154 *
155 * These are not unreasonable assumptions:
156 *
157 * The internet does not really support MTUs greater than 1500, so most TCP traffic will
158 * be at that MTU, or slightly below it (worst case our upwards adjustment is too small).
159 *
160 * The chance our traffic isn't IP at all is basically zero, so the IP overhead correction
161 * is bound to be needed.
162 *
163 * Furthermore, the likelyhood that we're having to deal with GSO (ie. > MTU) packets that
164 * are not IP/TCP is pretty small (few other things are supported by Linux) and worse case
165 * our extra overhead will be slightly off, but probably still better than assuming none.
166 *
167 * Most servers are also Linux and thus support/default to using TCP timestamp option
168 * (and indeed TCP timestamp option comes from RFC 1323 titled "TCP Extensions for High
169 * Performance" which also defined TCP window scaling and are thus absolutely ancient...).
170 *
171 * All together this should be more correct than if we simply ignored GSO frames
172 * (ie. counted them as single packets with no extra overhead)
173 *
174 * Especially since the number of packets is important for any future clat offload correction.
175 * (which adjusts upward by 20 bytes per packet to account for ipv4 -> ipv6 header conversion)
176 */
Maciej Żenczykowski99a1a262022-12-29 11:57:23 +0000177#define DEFINE_UPDATE_STATS(the_stats_map, TypeOfKey) \
178 static __always_inline inline void update_##the_stats_map(const struct __sk_buff* const skb, \
179 const TypeOfKey* const key, \
180 const bool egress, \
181 const unsigned kver) { \
182 StatsValue* value = bpf_##the_stats_map##_lookup_elem(key); \
183 if (!value) { \
184 StatsValue newValue = {}; \
185 bpf_##the_stats_map##_update_elem(key, &newValue, BPF_NOEXIST); \
186 value = bpf_##the_stats_map##_lookup_elem(key); \
187 } \
188 if (value) { \
189 const int mtu = 1500; \
190 uint64_t packets = 1; \
191 uint64_t bytes = skb->len; \
192 if (bytes > mtu) { \
193 bool is_ipv6 = (skb->protocol == htons(ETH_P_IPV6)); \
194 int ip_overhead = (is_ipv6 ? sizeof(struct ipv6hdr) : sizeof(struct iphdr)); \
195 int tcp_overhead = ip_overhead + sizeof(struct tcphdr) + 12; \
196 int mss = mtu - tcp_overhead; \
197 uint64_t payload = bytes - tcp_overhead; \
198 packets = (payload + mss - 1) / mss; \
199 bytes = tcp_overhead * packets + payload; \
200 } \
201 if (egress) { \
202 __sync_fetch_and_add(&value->txPackets, packets); \
203 __sync_fetch_and_add(&value->txBytes, bytes); \
204 } else { \
205 __sync_fetch_and_add(&value->rxPackets, packets); \
206 __sync_fetch_and_add(&value->rxBytes, bytes); \
207 } \
208 } \
Ken Chen587d4232022-01-17 17:18:43 +0800209 }
210
211DEFINE_UPDATE_STATS(app_uid_stats_map, uint32_t)
212DEFINE_UPDATE_STATS(iface_stats_map, uint32_t)
213DEFINE_UPDATE_STATS(stats_map_A, StatsKey)
214DEFINE_UPDATE_STATS(stats_map_B, StatsKey)
215
Maciej Żenczykowski879839a12022-08-03 10:48:25 +0000216// both of these return 0 on success or -EFAULT on failure (and zero out the buffer)
Maciej Żenczykowski0966bbe2022-12-29 11:39:48 +0000217static __always_inline inline int bpf_skb_load_bytes_net(const struct __sk_buff* const skb,
218 const int L3_off,
219 void* const to,
220 const int len,
221 const unsigned kver) {
222 // 'kver' (here and throughout) is the compile time guaranteed minimum kernel version,
223 // ie. we're building (a version of) the bpf program for kver (or newer!) kernels.
224 //
225 // 4.19+ kernels support the 'bpf_skb_load_bytes_relative()' bpf helper function,
226 // so we can use it. On pre-4.19 kernels we cannot use the relative load helper,
227 // and thus will simply get things wrong if there's any L2 (ethernet) header in the skb.
228 //
229 // Luckily, for cellular traffic, there likely isn't any, as cell is usually 'rawip'.
230 //
231 // However, this does mean that wifi (and ethernet) on 4.14 is basically a lost cause:
232 // we'll be making decisions based on the *wrong* bytes (fetched from the wrong offset),
233 // because the 'L3_off' passed to bpf_skb_load_bytes() should be increased by l2_header_size,
234 // which for ethernet is 14 and not 0 like it is for rawip.
235 //
236 // For similar reasons this will fail with non-offloaded VLAN tags on < 4.19 kernels,
237 // since those extend the ethernet header from 14 to 18 bytes.
238 return kver >= KVER(4, 19, 0)
239 ? bpf_skb_load_bytes_relative(skb, L3_off, to, len, BPF_HDR_START_NET)
240 : bpf_skb_load_bytes(skb, L3_off, to, len);
Maciej Żenczykowski879839a12022-08-03 10:48:25 +0000241}
242
Ryan Zuklie9419d252023-01-20 17:03:56 -0800243static __always_inline inline void do_packet_tracing(
244 const struct __sk_buff* const skb, const bool egress, const uint32_t uid,
245 const uint32_t tag, const bool enable_tracing, const unsigned kver) {
246 if (!enable_tracing) return;
247 if (kver < KVER(5, 8, 0)) return;
248
249 uint32_t mapKey = 0;
250 bool* traceConfig = bpf_packet_trace_enabled_map_lookup_elem(&mapKey);
251 if (traceConfig == NULL) return;
252 if (*traceConfig == false) return;
253
254 PacketTrace* pkt = bpf_packet_trace_ringbuf_reserve();
255 if (pkt == NULL) return;
256
257 // Errors from bpf_skb_load_bytes_net are ignored to favor returning something
258 // over returning nothing. In the event of an error, the kernel will fill in
259 // zero for the destination memory. Do not change the default '= 0' below.
260
261 uint8_t proto = 0;
262 uint8_t L4_off = 0;
263 uint8_t ipVersion = 0;
264 if (skb->protocol == htons(ETH_P_IP)) {
265 (void)bpf_skb_load_bytes_net(skb, IP4_OFFSET(protocol), &proto, sizeof(proto), kver);
266 (void)bpf_skb_load_bytes_net(skb, IPPROTO_IHL_OFF, &L4_off, sizeof(L4_off), kver);
267 L4_off = (L4_off & 0x0F) * 4; // IHL calculation.
268 ipVersion = 4;
269 } else if (skb->protocol == htons(ETH_P_IPV6)) {
270 (void)bpf_skb_load_bytes_net(skb, IP6_OFFSET(nexthdr), &proto, sizeof(proto), kver);
271 L4_off = sizeof(struct ipv6hdr);
272 ipVersion = 6;
273 }
274
275 uint8_t flags = 0;
276 __be16 sport = 0, dport = 0;
277 if (proto == IPPROTO_TCP && L4_off >= 20) {
278 (void)bpf_skb_load_bytes_net(skb, L4_off + TCP_FLAG32_OFF + 1, &flags, sizeof(flags), kver);
279 (void)bpf_skb_load_bytes_net(skb, L4_off + TCP_OFFSET(source), &sport, sizeof(sport), kver);
280 (void)bpf_skb_load_bytes_net(skb, L4_off + TCP_OFFSET(dest), &dport, sizeof(dport), kver);
281 } else if (proto == IPPROTO_UDP && L4_off >= 20) {
282 (void)bpf_skb_load_bytes_net(skb, L4_off + UDP_OFFSET(source), &sport, sizeof(sport), kver);
283 (void)bpf_skb_load_bytes_net(skb, L4_off + UDP_OFFSET(dest), &dport, sizeof(dport), kver);
284 }
285
286 pkt->timestampNs = bpf_ktime_get_boot_ns();
287 pkt->ifindex = skb->ifindex;
288 pkt->length = skb->len;
289
290 pkt->uid = uid;
291 pkt->tag = tag;
292 pkt->sport = sport;
293 pkt->dport = dport;
294
295 pkt->egress = egress;
296 pkt->ipProto = proto;
297 pkt->tcpFlags = flags;
298 pkt->ipVersion = ipVersion;
299
300 bpf_packet_trace_ringbuf_submit(pkt);
301}
302
Maciej Żenczykowskibdccc502023-04-18 06:45:35 +0000303static __always_inline inline bool skip_owner_match(struct __sk_buff* skb, bool egress,
304 const unsigned kver) {
Maciej Żenczykowski3621cbd2022-11-20 13:31:06 +0000305 uint32_t flag = 0;
Ken Chen587d4232022-01-17 17:18:43 +0800306 if (skb->protocol == htons(ETH_P_IP)) {
Ken Chen587d4232022-01-17 17:18:43 +0800307 uint8_t proto;
Maciej Żenczykowski879839a12022-08-03 10:48:25 +0000308 // no need to check for success, proto will be zeroed if bpf_skb_load_bytes_net() fails
Ryan Zuklie1db34f32023-01-20 17:00:04 -0800309 (void)bpf_skb_load_bytes_net(skb, IP4_OFFSET(protocol), &proto, sizeof(proto), kver);
Maciej Żenczykowski879839a12022-08-03 10:48:25 +0000310 if (proto == IPPROTO_ESP) return true;
311 if (proto != IPPROTO_TCP) return false; // handles read failure above
312 uint8_t ihl;
313 // we don't check for success, as this cannot fail, as it is earlier in the packet than
314 // proto, the reading of which must have succeeded, additionally the next read
315 // (a little bit deeper in the packet in spite of ihl being zeroed) of the tcp flags
316 // field will also fail, and that failure we already handle correctly
317 // (we also don't check that ihl in [0x45,0x4F] nor that ipv4 header checksum is correct)
Maciej Żenczykowski0966bbe2022-12-29 11:39:48 +0000318 (void)bpf_skb_load_bytes_net(skb, IPPROTO_IHL_OFF, &ihl, sizeof(ihl), kver);
Maciej Żenczykowski879839a12022-08-03 10:48:25 +0000319 // if the read below fails, we'll just assume no TCP flags are set, which is fine.
320 (void)bpf_skb_load_bytes_net(skb, (ihl & 0xF) * 4 + TCP_FLAG32_OFF,
Maciej Żenczykowski0966bbe2022-12-29 11:39:48 +0000321 &flag, sizeof(flag), kver);
Maciej Żenczykowski879839a12022-08-03 10:48:25 +0000322 } else if (skb->protocol == htons(ETH_P_IPV6)) {
323 uint8_t proto;
324 // no need to check for success, proto will be zeroed if bpf_skb_load_bytes_net() fails
Ryan Zuklie1db34f32023-01-20 17:00:04 -0800325 (void)bpf_skb_load_bytes_net(skb, IP6_OFFSET(nexthdr), &proto, sizeof(proto), kver);
Maciej Żenczykowski879839a12022-08-03 10:48:25 +0000326 if (proto == IPPROTO_ESP) return true;
327 if (proto != IPPROTO_TCP) return false; // handles read failure above
Maciej Żenczykowski879839a12022-08-03 10:48:25 +0000328 // if the read below fails, we'll just assume no TCP flags are set, which is fine.
329 (void)bpf_skb_load_bytes_net(skb, sizeof(struct ipv6hdr) + TCP_FLAG32_OFF,
Maciej Żenczykowski0966bbe2022-12-29 11:39:48 +0000330 &flag, sizeof(flag), kver);
Maciej Żenczykowski3621cbd2022-11-20 13:31:06 +0000331 } else {
332 return false;
Ken Chen587d4232022-01-17 17:18:43 +0800333 }
Maciej Żenczykowskibdccc502023-04-18 06:45:35 +0000334 // Always allow RST's, and additionally allow ingress FINs
335 return flag & (TCP_FLAG_RST | (egress ? 0 : TCP_FLAG_FIN)); // false on read failure
Ken Chen587d4232022-01-17 17:18:43 +0800336}
337
Maciej Żenczykowski879839a12022-08-03 10:48:25 +0000338static __always_inline inline BpfConfig getConfig(uint32_t configKey) {
Ken Chen587d4232022-01-17 17:18:43 +0800339 uint32_t mapSettingKey = configKey;
340 BpfConfig* config = bpf_configuration_map_lookup_elem(&mapSettingKey);
341 if (!config) {
342 // Couldn't read configuration entry. Assume everything is disabled.
343 return DEFAULT_CONFIG;
344 }
345 return *config;
346}
347
Maciej Żenczykowski6109d942023-08-29 18:39:28 +0000348static __always_inline inline bool ingress_should_discard(struct __sk_buff* skb,
349 const unsigned kver) {
350 // Require 4.19, since earlier kernels don't have bpf_skb_load_bytes_relative() which
351 // provides relative to L3 header reads. Without that we could fetch the wrong bytes.
352 // Additionally earlier bpf verifiers are much harder to please.
353 if (kver < KVER(4, 19, 0)) return false;
354
355 IngressDiscardKey k = {};
356 if (skb->protocol == htons(ETH_P_IP)) {
357 k.daddr.s6_addr32[2] = htonl(0xFFFF);
358 (void)bpf_skb_load_bytes_net(skb, IP4_OFFSET(daddr), &k.daddr.s6_addr32[3], 4, kver);
359 } else if (skb->protocol == htons(ETH_P_IPV6)) {
360 (void)bpf_skb_load_bytes_net(skb, IP6_OFFSET(daddr), &k.daddr, sizeof(k.daddr), kver);
361 } else {
362 return false; // non IPv4/IPv6, so no IP to match on
363 }
364
365 // we didn't check for load success, because destination bytes will be zeroed if
366 // bpf_skb_load_bytes_net() fails, instead we rely on daddr of '::' and '::ffff:0.0.0.0'
367 // never being present in the map itself
368
369 IngressDiscardValue* v = bpf_ingress_discard_map_lookup_elem(&k);
370 if (!v) return false; // lookup failure -> no protection in place -> allow
371 // if (skb->ifindex == 1) return false; // allow 'lo', but can't happen - see callsite
372 if (skb->ifindex == v->iif[0]) return false; // allowed interface
373 if (skb->ifindex == v->iif[1]) return false; // allowed interface
374 return true; // disallowed interface
375}
376
Maciej Żenczykowski55474982022-11-20 13:48:39 +0000377// DROP_IF_SET is set of rules that DROP if rule is globally enabled, and per-uid bit is set
Maciej Żenczykowski474512a2022-06-07 23:22:53 +0000378#define DROP_IF_SET (STANDBY_MATCH | OEM_DENY_1_MATCH | OEM_DENY_2_MATCH | OEM_DENY_3_MATCH)
379// DROP_IF_UNSET is set of rules that should DROP if globally enabled, and per-uid bit is NOT set
380#define DROP_IF_UNSET (DOZABLE_MATCH | POWERSAVE_MATCH | RESTRICTED_MATCH | LOW_POWER_STANDBY_MATCH)
381
Maciej Żenczykowski879839a12022-08-03 10:48:25 +0000382static __always_inline inline int bpf_owner_match(struct __sk_buff* skb, uint32_t uid,
Maciej Żenczykowski0966bbe2022-12-29 11:39:48 +0000383 bool egress, const unsigned kver) {
Maciej Żenczykowski55474982022-11-20 13:48:39 +0000384 if (is_system_uid(uid)) return PASS;
Ken Chen587d4232022-01-17 17:18:43 +0800385
Maciej Żenczykowskibdccc502023-04-18 06:45:35 +0000386 if (skip_owner_match(skb, egress, kver)) return PASS;
Maciej Żenczykowskie4c04732023-03-02 00:18:05 +0000387
Ken Chen587d4232022-01-17 17:18:43 +0800388 BpfConfig enabledRules = getConfig(UID_RULES_CONFIGURATION_KEY);
389
390 UidOwnerValue* uidEntry = bpf_uid_owner_map_lookup_elem(&uid);
Motomu Utsumi42edc602022-05-12 13:57:42 +0000391 uint32_t uidRules = uidEntry ? uidEntry->rule : 0;
Ken Chen587d4232022-01-17 17:18:43 +0800392 uint32_t allowed_iif = uidEntry ? uidEntry->iif : 0;
393
Maciej Żenczykowski474512a2022-06-07 23:22:53 +0000394 // Warning: funky bit-wise arithmetic: in parallel, for all DROP_IF_SET/UNSET rules
395 // check whether the rules are globally enabled, and if so whether the rules are
Maciej Żenczykowski55474982022-11-20 13:48:39 +0000396 // set/unset for the specific uid. DROP if that is the case for ANY of the rules.
Maciej Żenczykowski474512a2022-06-07 23:22:53 +0000397 // We achieve this by masking out only the bits/rules we're interested in checking,
398 // and negating (via bit-wise xor) the bits/rules that should drop if unset.
Maciej Żenczykowski55474982022-11-20 13:48:39 +0000399 if (enabledRules & (DROP_IF_SET | DROP_IF_UNSET) & (uidRules ^ DROP_IF_UNSET)) return DROP;
Maciej Żenczykowski474512a2022-06-07 23:22:53 +0000400
Maciej Żenczykowski55474982022-11-20 13:48:39 +0000401 if (!egress && skb->ifindex != 1) {
Maciej Żenczykowski6109d942023-08-29 18:39:28 +0000402 if (ingress_should_discard(skb, kver)) return DROP;
Motomu Utsumib08654c2022-05-11 05:56:26 +0000403 if (uidRules & IIF_MATCH) {
404 if (allowed_iif && skb->ifindex != allowed_iif) {
405 // Drops packets not coming from lo nor the allowed interface
406 // allowed interface=0 is a wildcard and does not drop packets
Maciej Żenczykowski55474982022-11-20 13:48:39 +0000407 return DROP_UNLESS_DNS;
Motomu Utsumib08654c2022-05-11 05:56:26 +0000408 }
409 } else if (uidRules & LOCKDOWN_VPN_MATCH) {
410 // Drops packets not coming from lo and rule does not have IIF_MATCH but has
411 // LOCKDOWN_VPN_MATCH
Maciej Żenczykowski55474982022-11-20 13:48:39 +0000412 return DROP_UNLESS_DNS;
Ken Chen587d4232022-01-17 17:18:43 +0800413 }
414 }
Maciej Żenczykowski55474982022-11-20 13:48:39 +0000415 return PASS;
Ken Chen587d4232022-01-17 17:18:43 +0800416}
417
Maciej Żenczykowski99a1a262022-12-29 11:57:23 +0000418static __always_inline inline void update_stats_with_config(const uint32_t selectedMap,
419 const struct __sk_buff* const skb,
420 const StatsKey* const key,
421 const bool egress,
422 const unsigned kver) {
Ken Chen587d4232022-01-17 17:18:43 +0800423 if (selectedMap == SELECT_MAP_A) {
Maciej Żenczykowski99a1a262022-12-29 11:57:23 +0000424 update_stats_map_A(skb, key, egress, kver);
Maciej Żenczykowski28b9a292022-12-29 12:06:33 +0000425 } else {
Maciej Żenczykowski99a1a262022-12-29 11:57:23 +0000426 update_stats_map_B(skb, key, egress, kver);
Ken Chen587d4232022-01-17 17:18:43 +0800427 }
428}
429
Maciej Żenczykowski55474982022-11-20 13:48:39 +0000430static __always_inline inline int bpf_traffic_account(struct __sk_buff* skb, bool egress,
Ryan Zuklie9419d252023-01-20 17:03:56 -0800431 const bool enable_tracing,
Maciej Żenczykowski0966bbe2022-12-29 11:39:48 +0000432 const unsigned kver) {
Ken Chen587d4232022-01-17 17:18:43 +0800433 uint32_t sock_uid = bpf_get_socket_uid(skb);
434 uint64_t cookie = bpf_get_socket_cookie(skb);
435 UidTagValue* utag = bpf_cookie_tag_map_lookup_elem(&cookie);
436 uint32_t uid, tag;
437 if (utag) {
438 uid = utag->uid;
439 tag = utag->tag;
440 } else {
441 uid = sock_uid;
442 tag = 0;
443 }
444
445 // Always allow and never count clat traffic. Only the IPv4 traffic on the stacked
446 // interface is accounted for and subject to usage restrictions.
Maciej Żenczykowski83dde6b2023-05-20 17:24:47 +0000447 // CLAT IPv6 TX sockets are *always* tagged with CLAT uid, see tagSocketAsClat()
Maciej Żenczykowskifca4ee42023-08-29 15:00:01 +0000448 // CLAT daemon receives via an untagged AF_PACKET socket.
449 if (egress && uid == AID_CLAT) return PASS;
Ken Chen587d4232022-01-17 17:18:43 +0800450
Maciej Żenczykowski0966bbe2022-12-29 11:39:48 +0000451 int match = bpf_owner_match(skb, sock_uid, egress, kver);
Ken Chen587d4232022-01-17 17:18:43 +0800452
453// Workaround for secureVPN with VpnIsolation enabled, refer to b/159994981 for details.
454// Keep TAG_SYSTEM_DNS in sync with DnsResolver/include/netd_resolv/resolv.h
455// and TrafficStatsConstants.java
456#define TAG_SYSTEM_DNS 0xFFFFFF82
457 if (tag == TAG_SYSTEM_DNS && uid == AID_DNS) {
458 uid = sock_uid;
Maciej Żenczykowski55474982022-11-20 13:48:39 +0000459 if (match == DROP_UNLESS_DNS) match = PASS;
Ken Chen587d4232022-01-17 17:18:43 +0800460 } else {
Maciej Żenczykowski55474982022-11-20 13:48:39 +0000461 if (match == DROP_UNLESS_DNS) match = DROP;
Ken Chen587d4232022-01-17 17:18:43 +0800462 }
463
Maciej Żenczykowski8e4a7942023-03-02 00:07:00 +0000464 // If an outbound packet is going to be dropped, we do not count that traffic.
465 if (egress && (match == DROP)) return DROP;
466
Ken Chen587d4232022-01-17 17:18:43 +0800467 StatsKey key = {.uid = uid, .tag = tag, .counterSet = 0, .ifaceIndex = skb->ifindex};
468
469 uint8_t* counterSet = bpf_uid_counterset_map_lookup_elem(&uid);
470 if (counterSet) key.counterSet = (uint32_t)*counterSet;
471
472 uint32_t mapSettingKey = CURRENT_STATS_MAP_CONFIGURATION_KEY;
Lorenzo Colitti60cbed32022-03-03 17:49:01 +0900473 uint32_t* selectedMap = bpf_configuration_map_lookup_elem(&mapSettingKey);
Ken Chen587d4232022-01-17 17:18:43 +0800474
Maciej Żenczykowski399c9f22023-05-20 17:11:27 +0000475 if (!selectedMap) return PASS; // cannot happen, needed to keep bpf verifier happy
Ken Chen587d4232022-01-17 17:18:43 +0800476
Ryan Zuklie9419d252023-01-20 17:03:56 -0800477 do_packet_tracing(skb, egress, uid, tag, enable_tracing, kver);
Maciej Żenczykowski99a1a262022-12-29 11:57:23 +0000478 update_stats_with_config(*selectedMap, skb, &key, egress, kver);
479 update_app_uid_stats_map(skb, &uid, egress, kver);
Maciej Żenczykowski399c9f22023-05-20 17:11:27 +0000480
481 // We've already handled DROP_UNLESS_DNS up above, thus when we reach here the only
482 // possible values of match are DROP(0) or PASS(1), however we need to use
483 // "match &= 1" before 'return match' to help the kernel's bpf verifier,
484 // so that it can be 100% certain that the returned value is always 0 or 1.
485 // We use assembly so that it cannot be optimized out by a too smart compiler.
Ken Chen587d4232022-01-17 17:18:43 +0800486 asm("%0 &= 1" : "+r"(match));
487 return match;
488}
489
Ryan Zuklie9419d252023-01-20 17:03:56 -0800490DEFINE_BPF_PROG_EXT("cgroupskb/ingress/stats$trace", AID_ROOT, AID_SYSTEM,
491 bpf_cgroup_ingress_trace, KVER(5, 8, 0), KVER_INF,
492 BPFLOADER_IGNORED_ON_VERSION, BPFLOADER_MAX_VER, false,
493 "fs_bpf_netd_readonly", "", false, true, false)
494(struct __sk_buff* skb) {
495 return bpf_traffic_account(skb, INGRESS, TRACE_ON, KVER(5, 8, 0));
496}
497
Maciej Żenczykowski879839a12022-08-03 10:48:25 +0000498DEFINE_NETD_BPF_PROG_KVER_RANGE("cgroupskb/ingress/stats$4_19", AID_ROOT, AID_SYSTEM,
499 bpf_cgroup_ingress_4_19, KVER(4, 19, 0), KVER_INF)
Ken Chen587d4232022-01-17 17:18:43 +0800500(struct __sk_buff* skb) {
Ryan Zuklie9419d252023-01-20 17:03:56 -0800501 return bpf_traffic_account(skb, INGRESS, TRACE_OFF, KVER(4, 19, 0));
Ken Chen587d4232022-01-17 17:18:43 +0800502}
503
Maciej Żenczykowski879839a12022-08-03 10:48:25 +0000504DEFINE_NETD_BPF_PROG_KVER_RANGE("cgroupskb/ingress/stats$4_14", AID_ROOT, AID_SYSTEM,
505 bpf_cgroup_ingress_4_14, KVER_NONE, KVER(4, 19, 0))
Ken Chen587d4232022-01-17 17:18:43 +0800506(struct __sk_buff* skb) {
Ryan Zuklie9419d252023-01-20 17:03:56 -0800507 return bpf_traffic_account(skb, INGRESS, TRACE_OFF, KVER_NONE);
508}
509
510DEFINE_BPF_PROG_EXT("cgroupskb/egress/stats$trace", AID_ROOT, AID_SYSTEM,
511 bpf_cgroup_egress_trace, KVER(5, 8, 0), KVER_INF,
512 BPFLOADER_IGNORED_ON_VERSION, BPFLOADER_MAX_VER, false,
513 "fs_bpf_netd_readonly", "", false, true, false)
514(struct __sk_buff* skb) {
515 return bpf_traffic_account(skb, EGRESS, TRACE_ON, KVER(5, 8, 0));
Maciej Żenczykowski879839a12022-08-03 10:48:25 +0000516}
517
518DEFINE_NETD_BPF_PROG_KVER_RANGE("cgroupskb/egress/stats$4_19", AID_ROOT, AID_SYSTEM,
519 bpf_cgroup_egress_4_19, KVER(4, 19, 0), KVER_INF)
520(struct __sk_buff* skb) {
Ryan Zuklie9419d252023-01-20 17:03:56 -0800521 return bpf_traffic_account(skb, EGRESS, TRACE_OFF, KVER(4, 19, 0));
Maciej Żenczykowski879839a12022-08-03 10:48:25 +0000522}
523
524DEFINE_NETD_BPF_PROG_KVER_RANGE("cgroupskb/egress/stats$4_14", AID_ROOT, AID_SYSTEM,
525 bpf_cgroup_egress_4_14, KVER_NONE, KVER(4, 19, 0))
526(struct __sk_buff* skb) {
Ryan Zuklie9419d252023-01-20 17:03:56 -0800527 return bpf_traffic_account(skb, EGRESS, TRACE_OFF, KVER_NONE);
Ken Chen587d4232022-01-17 17:18:43 +0800528}
529
Maciej Żenczykowski12057372022-06-14 14:36:34 -0700530// WARNING: Android T's non-updatable netd depends on the name of this program.
Maciej Żenczykowskicae181d2022-06-16 23:26:33 -0700531DEFINE_XTBPF_PROG("skfilter/egress/xtbpf", AID_ROOT, AID_NET_ADMIN, xt_bpf_egress_prog)
Ken Chen587d4232022-01-17 17:18:43 +0800532(struct __sk_buff* skb) {
533 // Clat daemon does not generate new traffic, all its traffic is accounted for already
534 // on the v4-* interfaces (except for the 20 (or 28) extra bytes of IPv6 vs IPv4 overhead,
535 // but that can be corrected for later when merging v4-foo stats into interface foo's).
Maciej Żenczykowski83dde6b2023-05-20 17:24:47 +0000536 // CLAT sockets are created by system server and tagged as uid CLAT, see tagSocketAsClat()
Ken Chen587d4232022-01-17 17:18:43 +0800537 uint32_t sock_uid = bpf_get_socket_uid(skb);
Ken Chen587d4232022-01-17 17:18:43 +0800538 if (sock_uid == AID_SYSTEM) {
539 uint64_t cookie = bpf_get_socket_cookie(skb);
540 UidTagValue* utag = bpf_cookie_tag_map_lookup_elem(&cookie);
541 if (utag && utag->uid == AID_CLAT) return BPF_NOMATCH;
542 }
543
544 uint32_t key = skb->ifindex;
Maciej Żenczykowski99a1a262022-12-29 11:57:23 +0000545 update_iface_stats_map(skb, &key, EGRESS, KVER_NONE);
Ken Chen587d4232022-01-17 17:18:43 +0800546 return BPF_MATCH;
547}
548
Maciej Żenczykowski12057372022-06-14 14:36:34 -0700549// WARNING: Android T's non-updatable netd depends on the name of this program.
Maciej Żenczykowskicae181d2022-06-16 23:26:33 -0700550DEFINE_XTBPF_PROG("skfilter/ingress/xtbpf", AID_ROOT, AID_NET_ADMIN, xt_bpf_ingress_prog)
Ken Chen587d4232022-01-17 17:18:43 +0800551(struct __sk_buff* skb) {
552 // Clat daemon traffic is not accounted by virtue of iptables raw prerouting drop rule
553 // (in clat_raw_PREROUTING chain), which triggers before this (in bw_raw_PREROUTING chain).
554 // It will be accounted for on the v4-* clat interface instead.
555 // Keep that in mind when moving this out of iptables xt_bpf and into tc ingress (or xdp).
556
557 uint32_t key = skb->ifindex;
Maciej Żenczykowski99a1a262022-12-29 11:57:23 +0000558 update_iface_stats_map(skb, &key, INGRESS, KVER_NONE);
Ken Chen587d4232022-01-17 17:18:43 +0800559 return BPF_MATCH;
560}
561
Maciej Żenczykowskicae181d2022-06-16 23:26:33 -0700562DEFINE_SYS_BPF_PROG("schedact/ingress/account", AID_ROOT, AID_NET_ADMIN,
563 tc_bpf_ingress_account_prog)
Ken Chen587d4232022-01-17 17:18:43 +0800564(struct __sk_buff* skb) {
Patrick Rohr148aea82022-02-24 14:12:32 +0100565 if (is_received_skb(skb)) {
566 // Account for ingress traffic before tc drops it.
567 uint32_t key = skb->ifindex;
Maciej Żenczykowski99a1a262022-12-29 11:57:23 +0000568 update_iface_stats_map(skb, &key, INGRESS, KVER_NONE);
Patrick Rohr148aea82022-02-24 14:12:32 +0100569 }
Ken Chen587d4232022-01-17 17:18:43 +0800570 return TC_ACT_UNSPEC;
571}
572
Maciej Żenczykowski12057372022-06-14 14:36:34 -0700573// WARNING: Android T's non-updatable netd depends on the name of this program.
Maciej Żenczykowskicae181d2022-06-16 23:26:33 -0700574DEFINE_XTBPF_PROG("skfilter/allowlist/xtbpf", AID_ROOT, AID_NET_ADMIN, xt_bpf_allowlist_prog)
Ken Chen587d4232022-01-17 17:18:43 +0800575(struct __sk_buff* skb) {
576 uint32_t sock_uid = bpf_get_socket_uid(skb);
577 if (is_system_uid(sock_uid)) return BPF_MATCH;
578
579 // 65534 is the overflow 'nobody' uid, usually this being returned means
580 // that skb->sk is NULL during RX (early decap socket lookup failure),
581 // which commonly happens for incoming packets to an unconnected udp socket.
582 // Additionally bpf_get_socket_cookie() returns 0 if skb->sk is NULL
583 if ((sock_uid == 65534) && !bpf_get_socket_cookie(skb) && is_received_skb(skb))
584 return BPF_MATCH;
585
586 UidOwnerValue* allowlistMatch = bpf_uid_owner_map_lookup_elem(&sock_uid);
587 if (allowlistMatch) return allowlistMatch->rule & HAPPY_BOX_MATCH ? BPF_MATCH : BPF_NOMATCH;
588 return BPF_NOMATCH;
589}
590
Maciej Żenczykowski12057372022-06-14 14:36:34 -0700591// WARNING: Android T's non-updatable netd depends on the name of this program.
Maciej Żenczykowskicae181d2022-06-16 23:26:33 -0700592DEFINE_XTBPF_PROG("skfilter/denylist/xtbpf", AID_ROOT, AID_NET_ADMIN, xt_bpf_denylist_prog)
Ken Chen587d4232022-01-17 17:18:43 +0800593(struct __sk_buff* skb) {
594 uint32_t sock_uid = bpf_get_socket_uid(skb);
595 UidOwnerValue* denylistMatch = bpf_uid_owner_map_lookup_elem(&sock_uid);
596 if (denylistMatch) return denylistMatch->rule & PENALTY_BOX_MATCH ? BPF_MATCH : BPF_NOMATCH;
597 return BPF_NOMATCH;
598}
599
Lorenzo Colitti3505b582022-10-27 19:36:27 +0900600DEFINE_NETD_BPF_PROG_KVER("cgroupsock/inet/create", AID_ROOT, AID_ROOT, inet_socket_create,
601 KVER(4, 14, 0))
Ken Chen587d4232022-01-17 17:18:43 +0800602(struct bpf_sock* sk) {
603 uint64_t gid_uid = bpf_get_current_uid_gid();
604 /*
605 * A given app is guaranteed to have the same app ID in all the profiles in
606 * which it is installed, and install permission is granted to app for all
607 * user at install time so we only check the appId part of a request uid at
608 * run time. See UserHandle#isSameApp for detail.
609 */
Maciej Żenczykowskib909d8a2022-06-15 00:40:43 -0700610 uint32_t appId = (gid_uid & 0xffffffff) % AID_USER_OFFSET; // == PER_USER_RANGE == 100000
Ken Chen587d4232022-01-17 17:18:43 +0800611 uint8_t* permissions = bpf_uid_permission_map_lookup_elem(&appId);
612 if (!permissions) {
613 // UID not in map. Default to just INTERNET permission.
614 return 1;
615 }
616
617 // A return value of 1 means allow, everything else means deny.
618 return (*permissions & BPF_PERMISSION_INTERNET) == BPF_PERMISSION_INTERNET;
619}
620
621LICENSE("Apache 2.0");
Maciej Żenczykowskic41e35d2022-08-04 13:58:46 +0000622CRITICAL("Connectivity and netd");
Maciej Żenczykowskide1342a2023-06-09 05:45:57 +0000623DISABLE_BTF_ON_USER_BUILDS();