blob: bac8b1da4f1b27ec36b4e735ac618ba0259b8b93 [file] [log] [blame]
Daniel Drowna45056e2012-03-23 10:42:54 -05001/*
2 * Copyright 2012 Daniel Drown
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 * clatd.c - tun interface setup and main event loop
17 */
junyulaic4e591a2018-11-26 22:36:10 +090018#include <arpa/inet.h>
19#include <errno.h>
20#include <fcntl.h>
Daniel Drowna45056e2012-03-23 10:42:54 -050021#include <poll.h>
22#include <signal.h>
Maciej Żenczykowski1f395ef2023-02-16 05:11:54 +000023#include <stdbool.h>
Daniel Drowna45056e2012-03-23 10:42:54 -050024#include <stdio.h>
junyulaic4e591a2018-11-26 22:36:10 +090025#include <stdlib.h>
26#include <string.h>
Daniel Drowna45056e2012-03-23 10:42:54 -050027#include <sys/ioctl.h>
Elliott Hughes3afe9ae2014-07-18 17:25:26 -070028#include <sys/prctl.h>
Daniel Drowna45056e2012-03-23 10:42:54 -050029#include <sys/stat.h>
junyulaic4e591a2018-11-26 22:36:10 +090030#include <sys/types.h>
31#include <time.h>
Daniel Drowna45056e2012-03-23 10:42:54 -050032#include <unistd.h>
Daniel Drowna45056e2012-03-23 10:42:54 -050033
Lorenzo Colittif08c5aa2014-06-03 12:56:38 +090034#include <linux/filter.h>
Daniel Drowna45056e2012-03-23 10:42:54 -050035#include <linux/if.h>
Daniel Drowna45056e2012-03-23 10:42:54 -050036#include <linux/if_ether.h>
Lorenzo Colittif08c5aa2014-06-03 12:56:38 +090037#include <linux/if_packet.h>
junyulaic4e591a2018-11-26 22:36:10 +090038#include <linux/if_tun.h>
Maciej Żenczykowski8eb48882023-03-14 03:55:22 +000039#include <linux/virtio_net.h>
Lorenzo Colittif08c5aa2014-06-03 12:56:38 +090040#include <net/if.h>
junyulaic4e591a2018-11-26 22:36:10 +090041#include <sys/uio.h>
Daniel Drowna45056e2012-03-23 10:42:54 -050042
Daniel Drowna45056e2012-03-23 10:42:54 -050043#include "clatd.h"
Maciej Żenczykowskif6ec94e2022-07-12 16:17:33 -070044#include "checksum.h"
Daniel Drowna45056e2012-03-23 10:42:54 -050045#include "config.h"
Daniel Drowna45056e2012-03-23 10:42:54 -050046#include "dump.h"
junyulaic4e591a2018-11-26 22:36:10 +090047#include "logging.h"
junyulaic4e591a2018-11-26 22:36:10 +090048#include "translate.h"
Daniel Drowna45056e2012-03-23 10:42:54 -050049
Maciej Żenczykowski5ce6cda2020-06-02 14:39:33 -070050struct clat_config Global_Clatd_Config;
51
Daniel Drowna45056e2012-03-23 10:42:54 -050052volatile sig_atomic_t running = 1;
53
Maciej Żenczykowski206b2382023-03-14 03:50:28 +000054// reads IPv6 packet from AF_PACKET socket, translates to IPv4, writes to tun
Maciej Żenczykowskie6e0c002023-01-18 23:57:35 +000055void process_packet_6_to_4(struct tun_data *tunnel) {
Maciej Żenczykowski4e764172023-03-13 21:55:54 +000056 // ethernet header is 14 bytes, plus 4 for a normal VLAN tag or 8 for Q-in-Q
57 // we don't really support vlans (or especially Q-in-Q)...
58 // but a few bytes of extra buffer space doesn't hurt...
Maciej Żenczykowski206b2382023-03-14 03:50:28 +000059 struct {
Maciej Żenczykowski8eb48882023-03-14 03:55:22 +000060 struct virtio_net_hdr vnet;
Maciej Żenczykowski206b2382023-03-14 03:50:28 +000061 uint8_t payload[22 + MAXMTU];
62 char pad; // +1 to make packet truncation obvious
63 } buf;
Maciej Żenczykowskife7a1672023-01-17 21:28:22 +000064 struct iovec iov = {
Maciej Żenczykowski206b2382023-03-14 03:50:28 +000065 .iov_base = &buf,
Maciej Żenczykowskif3eeff92023-03-13 21:50:01 +000066 .iov_len = sizeof(buf),
Maciej Żenczykowskife7a1672023-01-17 21:28:22 +000067 };
Maciej Żenczykowski4e764172023-03-13 21:55:54 +000068 char cmsg_buf[CMSG_SPACE(sizeof(struct tpacket_auxdata))];
Maciej Żenczykowskife7a1672023-01-17 21:28:22 +000069 struct msghdr msgh = {
70 .msg_iov = &iov,
71 .msg_iovlen = 1,
72 .msg_control = cmsg_buf,
73 .msg_controllen = sizeof(cmsg_buf),
74 };
75 ssize_t readlen = recvmsg(tunnel->read_fd6, &msgh, /*flags*/ 0);
Daniel Drowna45056e2012-03-23 10:42:54 -050076
junyulaic4e591a2018-11-26 22:36:10 +090077 if (readlen < 0) {
Lorenzo Colitti49454812015-01-31 19:18:47 +090078 if (errno != EAGAIN) {
Maciej Żenczykowskie6e0c002023-01-18 23:57:35 +000079 logmsg(ANDROID_LOG_WARN, "%s: read error: %s", __func__, strerror(errno));
Lorenzo Colitti49454812015-01-31 19:18:47 +090080 }
Daniel Drowna45056e2012-03-23 10:42:54 -050081 return;
junyulaic4e591a2018-11-26 22:36:10 +090082 } else if (readlen == 0) {
Maciej Żenczykowskie6e0c002023-01-18 23:57:35 +000083 logmsg(ANDROID_LOG_WARN, "%s: packet socket removed?", __func__);
Daniel Drowna45056e2012-03-23 10:42:54 -050084 running = 0;
Lorenzo Colittif08c5aa2014-06-03 12:56:38 +090085 return;
Maciej Żenczykowskif3eeff92023-03-13 21:50:01 +000086 } else if (readlen >= sizeof(buf)) {
Maciej Żenczykowskie6e0c002023-01-18 23:57:35 +000087 logmsg(ANDROID_LOG_WARN, "%s: read truncation - ignoring pkt", __func__);
88 return;
Lorenzo Colittif08c5aa2014-06-03 12:56:38 +090089 }
90
Maciej Żenczykowski8fe16b02023-06-01 08:58:43 +000091 bool ok = false;
Maciej Żenczykowskife7a1672023-01-17 21:28:22 +000092 __u32 tp_status = 0;
Maciej Żenczykowski4e764172023-03-13 21:55:54 +000093 __u16 tp_net = 0;
Maciej Żenczykowskife7a1672023-01-17 21:28:22 +000094
95 for (struct cmsghdr *cmsg = CMSG_FIRSTHDR(&msgh); cmsg != NULL; cmsg = CMSG_NXTHDR(&msgh,cmsg)) {
96 if (cmsg->cmsg_level == SOL_PACKET && cmsg->cmsg_type == PACKET_AUXDATA) {
97 struct tpacket_auxdata *aux = (struct tpacket_auxdata *)CMSG_DATA(cmsg);
Maciej Żenczykowski8fe16b02023-06-01 08:58:43 +000098 ok = true;
Maciej Żenczykowskife7a1672023-01-17 21:28:22 +000099 tp_status = aux->tp_status;
Maciej Żenczykowski4e764172023-03-13 21:55:54 +0000100 tp_net = aux->tp_net;
Maciej Żenczykowskife7a1672023-01-17 21:28:22 +0000101 break;
102 }
103 }
104
Maciej Żenczykowski8fe16b02023-06-01 08:58:43 +0000105 if (!ok) {
106 // theoretically this should not happen...
107 static bool logged = false;
108 if (!logged) {
109 logmsg(ANDROID_LOG_ERROR, "%s: failed to fetch tpacket_auxdata cmsg", __func__);
110 logged = true;
111 }
112 }
113
Maciej Żenczykowskia4df1012023-03-16 02:42:37 +0000114 const int payload_offset = offsetof(typeof(buf), payload);
115 if (readlen < payload_offset + tp_net) {
116 logmsg(ANDROID_LOG_WARN, "%s: ignoring %zd byte pkt shorter than %d+%u L2 header",
117 __func__, readlen, payload_offset, tp_net);
Maciej Żenczykowski4e764172023-03-13 21:55:54 +0000118 return;
119 }
120
Maciej Żenczykowskia4df1012023-03-16 02:42:37 +0000121 const int pkt_len = readlen - payload_offset;
Maciej Żenczykowskiaae2fb92023-03-15 00:51:54 +0000122
Maciej Żenczykowskife7a1672023-01-17 21:28:22 +0000123 // This will detect a skb->ip_summed == CHECKSUM_PARTIAL packet with non-final L4 checksum
124 if (tp_status & TP_STATUS_CSUMNOTREADY) {
Maciej Żenczykowski1f395ef2023-02-16 05:11:54 +0000125 static bool logged = false;
126 if (!logged) {
Maciej Żenczykowskiaae2fb92023-03-15 00:51:54 +0000127 logmsg(ANDROID_LOG_WARN, "%s: L4 checksum calculation required", __func__);
Maciej Żenczykowski1f395ef2023-02-16 05:11:54 +0000128 logged = true;
129 }
Maciej Żenczykowskiaae2fb92023-03-15 00:51:54 +0000130
131 // These are non-negative by virtue of csum_start/offset being u16
132 const int cs_start = buf.vnet.csum_start;
133 const int cs_offset = cs_start + buf.vnet.csum_offset;
134 if (cs_start > pkt_len) {
135 logmsg(ANDROID_LOG_ERROR, "%s: out of range - checksum start %d > %d",
136 __func__, cs_start, pkt_len);
137 } else if (cs_offset + 1 >= pkt_len) {
138 logmsg(ANDROID_LOG_ERROR, "%s: out of range - checksum offset %d + 1 >= %d",
139 __func__, cs_offset, pkt_len);
140 } else {
141 uint16_t csum = ip_checksum(buf.payload + cs_start, pkt_len - cs_start);
142 if (!csum) csum = 0xFFFF; // required fixup for UDP, TCP must live with it
143 buf.payload[cs_offset] = csum & 0xFF;
144 buf.payload[cs_offset + 1] = csum >> 8;
145 }
Maciej Żenczykowskife7a1672023-01-17 21:28:22 +0000146 }
147
Maciej Żenczykowskiaae2fb92023-03-15 00:51:54 +0000148 translate_packet(tunnel->fd4, 0 /* to_ipv6 */, buf.payload + tp_net, pkt_len - tp_net);
Maciej Żenczykowskie6e0c002023-01-18 23:57:35 +0000149}
150
151// reads TUN_PI + L3 IPv4 packet from tun, translates to IPv6, writes to AF_INET6/RAW socket
152void process_packet_4_to_6(struct tun_data *tunnel) {
Maciej Żenczykowskicfa100f2023-03-14 03:04:50 +0000153 struct {
154 struct tun_pi pi;
155 uint8_t payload[MAXMTU];
156 char pad; // +1 byte to make packet truncation obvious
157 } buf;
158 ssize_t readlen = read(tunnel->fd4, &buf, sizeof(buf));
Maciej Żenczykowskie6e0c002023-01-18 23:57:35 +0000159
160 if (readlen < 0) {
161 if (errno != EAGAIN) {
162 logmsg(ANDROID_LOG_WARN, "%s: read error: %s", __func__, strerror(errno));
163 }
164 return;
165 } else if (readlen == 0) {
166 logmsg(ANDROID_LOG_WARN, "%s: tun interface removed", __func__);
167 running = 0;
168 return;
Maciej Żenczykowskif3eeff92023-03-13 21:50:01 +0000169 } else if (readlen >= sizeof(buf)) {
Maciej Żenczykowskie6e0c002023-01-18 23:57:35 +0000170 logmsg(ANDROID_LOG_WARN, "%s: read truncation - ignoring pkt", __func__);
Maciej Żenczykowski50303532020-06-02 14:46:45 -0700171 return;
172 }
173
Maciej Żenczykowskia4df1012023-03-16 02:42:37 +0000174 const int payload_offset = offsetof(typeof(buf), payload);
175
176 if (readlen < payload_offset) {
Maciej Żenczykowskie6e0c002023-01-18 23:57:35 +0000177 logmsg(ANDROID_LOG_WARN, "%s: short read: got %ld bytes", __func__, readlen);
Lorenzo Colitti9353be22014-12-03 15:18:29 +0900178 return;
Daniel Drowna45056e2012-03-23 10:42:54 -0500179 }
Lorenzo Colittif08c5aa2014-06-03 12:56:38 +0900180
Maciej Żenczykowskia4df1012023-03-16 02:42:37 +0000181 const int pkt_len = readlen - payload_offset;
182
Maciej Żenczykowskicfa100f2023-03-14 03:04:50 +0000183 uint16_t proto = ntohs(buf.pi.proto);
Lorenzo Colitti9353be22014-12-03 15:18:29 +0900184 if (proto != ETH_P_IP) {
185 logmsg(ANDROID_LOG_WARN, "%s: unknown packet type = 0x%x", __func__, proto);
186 return;
187 }
188
Maciej Żenczykowskicfa100f2023-03-14 03:04:50 +0000189 if (buf.pi.flags != 0) {
190 logmsg(ANDROID_LOG_WARN, "%s: unexpected flags = %d", __func__, buf.pi.flags);
Lorenzo Colitti9353be22014-12-03 15:18:29 +0900191 }
192
Maciej Żenczykowskia4df1012023-03-16 02:42:37 +0000193 translate_packet(tunnel->write_fd6, 1 /* to_ipv6 */, buf.payload, pkt_len);
Daniel Drowna45056e2012-03-23 10:42:54 -0500194}
195
Maciej Żenczykowskif6ec94e2022-07-12 16:17:33 -0700196// IPv6 DAD packet format:
197// Ethernet header (if needed) will be added by the kernel:
198// u8[6] src_mac; u8[6] dst_mac '33:33:ff:XX:XX:XX'; be16 ethertype '0x86DD'
199// IPv6 header:
200// be32 0x60000000 - ipv6, tclass 0, flowlabel 0
201// be16 payload_length '32'; u8 nxt_hdr ICMPv6 '58'; u8 hop limit '255'
202// u128 src_ip6 '::'
203// u128 dst_ip6 'ff02::1:ffXX:XXXX'
204// ICMPv6 header:
205// u8 type '135'; u8 code '0'; u16 icmp6 checksum; u32 reserved '0'
206// ICMPv6 neighbour solicitation payload:
207// u128 tgt_ip6
208// ICMPv6 ND options:
209// u8 opt nr '14'; u8 length '1'; u8[6] nonce '6 random bytes'
Maciej Żenczykowskia1cb0f32022-07-19 09:22:58 -0700210void send_dad(int fd, const struct in6_addr* tgt) {
Maciej Żenczykowskif6ec94e2022-07-12 16:17:33 -0700211 struct {
212 struct ip6_hdr ip6h;
213 struct nd_neighbor_solicit ns;
214 uint8_t ns_opt_nr;
215 uint8_t ns_opt_len;
216 uint8_t ns_opt_nonce[6];
217 } dad_pkt = {
218 .ip6h = {
219 .ip6_flow = htonl(6 << 28), // v6, 0 tclass, 0 flowlabel
220 .ip6_plen = htons(sizeof(dad_pkt) - sizeof(struct ip6_hdr)), // payload length, ie. 32
221 .ip6_nxt = IPPROTO_ICMPV6, // 58
222 .ip6_hlim = 255,
223 .ip6_src = {}, // ::
224 .ip6_dst.s6_addr = {
225 0xFF, 0x02, 0, 0,
226 0, 0, 0, 0,
227 0, 0, 0, 1,
228 0xFF, tgt->s6_addr[13], tgt->s6_addr[14], tgt->s6_addr[15],
229 }, // ff02::1:ffXX:XXXX - multicast group address derived from bottom 24-bits of tgt
230 },
231 .ns = {
232 .nd_ns_type = ND_NEIGHBOR_SOLICIT, // 135
233 .nd_ns_code = 0,
234 .nd_ns_cksum = 0, // will be calculated later
235 .nd_ns_reserved = 0,
236 .nd_ns_target = *tgt,
237 },
238 .ns_opt_nr = 14, // icmp6 option 'nonce' from RFC3971
239 .ns_opt_len = 1, // in units of 8 bytes, including option nr and len
Maciej Żenczykowskia1cb0f32022-07-19 09:22:58 -0700240 .ns_opt_nonce = {}, // opt_len *8 - sizeof u8(opt_nr) - sizeof u8(opt_len) = 6 ranodmized bytes
Maciej Żenczykowskif6ec94e2022-07-12 16:17:33 -0700241 };
Maciej Żenczykowskia1cb0f32022-07-19 09:22:58 -0700242 arc4random_buf(&dad_pkt.ns_opt_nonce, sizeof(dad_pkt.ns_opt_nonce));
Maciej Żenczykowskif6ec94e2022-07-12 16:17:33 -0700243
244 // 40 byte IPv6 header + 8 byte ICMPv6 header + 16 byte ipv6 target address + 8 byte nonce option
245 _Static_assert(sizeof(dad_pkt) == 40 + 8 + 16 + 8, "sizeof dad packet != 72");
246
247 // IPv6 header checksum is standard negated 16-bit one's complement sum over the icmpv6 pseudo
248 // header (which includes payload length, nextheader, and src/dst ip) and the icmpv6 payload.
249 //
250 // Src/dst ip immediately prefix the icmpv6 header itself, so can be handled along
251 // with the payload. We thus only need to manually account for payload len & next header.
252 //
253 // The magic '8' is simply the offset of the ip6_src field in the ipv6 header,
254 // ie. we're skipping over the ipv6 version, tclass, flowlabel, payload length, next header
255 // and hop limit fields, because they're not quite where we want them to be.
256 //
257 // ip6_plen is already in network order, while ip6_nxt is a single byte and thus needs htons().
258 uint32_t csum = dad_pkt.ip6h.ip6_plen + htons(dad_pkt.ip6h.ip6_nxt);
259 csum = ip_checksum_add(csum, &dad_pkt.ip6h.ip6_src, sizeof(dad_pkt) - 8);
260 dad_pkt.ns.nd_ns_cksum = ip_checksum_finish(csum);
261
262 const struct sockaddr_in6 dst = {
263 .sin6_family = AF_INET6,
264 .sin6_addr = dad_pkt.ip6h.ip6_dst,
265 .sin6_scope_id = if_nametoindex(Global_Clatd_Config.native_ipv6_interface),
266 };
267
Maciej Żenczykowskia1cb0f32022-07-19 09:22:58 -0700268 sendto(fd, &dad_pkt, sizeof(dad_pkt), 0 /*flags*/, (const struct sockaddr *)&dst, sizeof(dst));
Maciej Żenczykowskif6ec94e2022-07-12 16:17:33 -0700269}
270
Daniel Drowna45056e2012-03-23 10:42:54 -0500271/* function: event_loop
272 * reads packets from the tun network interface and passes them down the stack
junyulaic4e591a2018-11-26 22:36:10 +0900273 * tunnel - tun device data
Daniel Drowna45056e2012-03-23 10:42:54 -0500274 */
Lorenzo Colitti9353be22014-12-03 15:18:29 +0900275void event_loop(struct tun_data *tunnel) {
Maciej Żenczykowskif6ec94e2022-07-12 16:17:33 -0700276 // Apparently some network gear will refuse to perform NS for IPs that aren't DAD'ed,
277 // this would then result in an ipv6-only network with working native ipv6, working
278 // IPv4 via DNS64, but non-functioning IPv4 via CLAT (ie. IPv4 literals + IPv4 only apps).
279 // The kernel itself doesn't do DAD for anycast ips (but does handle IPV6 MLD and handle ND).
280 // So we'll spoof dad here, and yeah, we really should check for a response and in
281 // case of failure pick a different IP. Seeing as 48-bits of the IP are utterly random
282 // (with the other 16 chosen to guarantee checksum neutrality) this seems like a remote
283 // concern...
284 // TODO: actually perform true DAD
Maciej Żenczykowskia1cb0f32022-07-19 09:22:58 -0700285 send_dad(tunnel->write_fd6, &Global_Clatd_Config.ipv6_local_subnet);
Maciej Żenczykowskif6ec94e2022-07-12 16:17:33 -0700286
Lorenzo Colittidce3ddf2014-08-25 16:07:12 -0700287 struct pollfd wait_fd[] = {
288 { tunnel->read_fd6, POLLIN, 0 },
289 { tunnel->fd4, POLLIN, 0 },
290 };
Daniel Drowna45056e2012-03-23 10:42:54 -0500291
junyulaic4e591a2018-11-26 22:36:10 +0900292 while (running) {
Maciej Żenczykowskica9466c2023-03-15 17:40:45 +0000293 if (poll(wait_fd, ARRAY_SIZE(wait_fd), -1) == -1) {
Bernie Innocenti69dc60d2018-05-14 20:40:49 +0900294 if (errno != EINTR) {
junyulaic4e591a2018-11-26 22:36:10 +0900295 logmsg(ANDROID_LOG_WARN, "event_loop/poll returned an error: %s", strerror(errno));
Daniel Drowna45056e2012-03-23 10:42:54 -0500296 }
297 } else {
Maciej Żenczykowskie6e0c002023-01-18 23:57:35 +0000298 // Call process_packet if the socket has data to be read, but also if an
Lorenzo Colitti9353be22014-12-03 15:18:29 +0900299 // error is waiting. If we don't call read() after getting POLLERR, a
300 // subsequent poll() will return immediately with POLLERR again,
301 // causing this code to spin in a loop. Calling read() will clear the
302 // socket error flag instead.
Maciej Żenczykowskie6e0c002023-01-18 23:57:35 +0000303 if (wait_fd[0].revents) process_packet_6_to_4(tunnel);
304 if (wait_fd[1].revents) process_packet_4_to_6(tunnel);
Daniel Drowna45056e2012-03-23 10:42:54 -0500305 }
Daniel Drowna45056e2012-03-23 10:42:54 -0500306 }
307}