blob: 7cee4e8eec5410a646626f6f15afbb5be00d698d [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
Lorenzo Colitti57d480d2014-02-09 10:35:38 +090052/* 40 bytes IPv6 header - 20 bytes IPv4 header + 8 bytes fragment header */
53#define MTU_DELTA 28
54
Daniel Drowna45056e2012-03-23 10:42:54 -050055volatile sig_atomic_t running = 1;
56
Maciej Żenczykowski206b2382023-03-14 03:50:28 +000057// reads IPv6 packet from AF_PACKET socket, translates to IPv4, writes to tun
Maciej Żenczykowskie6e0c002023-01-18 23:57:35 +000058void process_packet_6_to_4(struct tun_data *tunnel) {
Maciej Żenczykowski4e764172023-03-13 21:55:54 +000059 // ethernet header is 14 bytes, plus 4 for a normal VLAN tag or 8 for Q-in-Q
60 // we don't really support vlans (or especially Q-in-Q)...
61 // but a few bytes of extra buffer space doesn't hurt...
Maciej Żenczykowski206b2382023-03-14 03:50:28 +000062 struct {
Maciej Żenczykowski8eb48882023-03-14 03:55:22 +000063 struct virtio_net_hdr vnet;
Maciej Żenczykowski206b2382023-03-14 03:50:28 +000064 uint8_t payload[22 + MAXMTU];
65 char pad; // +1 to make packet truncation obvious
66 } buf;
Maciej Żenczykowskife7a1672023-01-17 21:28:22 +000067 struct iovec iov = {
Maciej Żenczykowski206b2382023-03-14 03:50:28 +000068 .iov_base = &buf,
Maciej Żenczykowskif3eeff92023-03-13 21:50:01 +000069 .iov_len = sizeof(buf),
Maciej Żenczykowskife7a1672023-01-17 21:28:22 +000070 };
Maciej Żenczykowski4e764172023-03-13 21:55:54 +000071 char cmsg_buf[CMSG_SPACE(sizeof(struct tpacket_auxdata))];
Maciej Żenczykowskife7a1672023-01-17 21:28:22 +000072 struct msghdr msgh = {
73 .msg_iov = &iov,
74 .msg_iovlen = 1,
75 .msg_control = cmsg_buf,
76 .msg_controllen = sizeof(cmsg_buf),
77 };
78 ssize_t readlen = recvmsg(tunnel->read_fd6, &msgh, /*flags*/ 0);
Daniel Drowna45056e2012-03-23 10:42:54 -050079
junyulaic4e591a2018-11-26 22:36:10 +090080 if (readlen < 0) {
Lorenzo Colitti49454812015-01-31 19:18:47 +090081 if (errno != EAGAIN) {
Maciej Żenczykowskie6e0c002023-01-18 23:57:35 +000082 logmsg(ANDROID_LOG_WARN, "%s: read error: %s", __func__, strerror(errno));
Lorenzo Colitti49454812015-01-31 19:18:47 +090083 }
Daniel Drowna45056e2012-03-23 10:42:54 -050084 return;
junyulaic4e591a2018-11-26 22:36:10 +090085 } else if (readlen == 0) {
Maciej Żenczykowskie6e0c002023-01-18 23:57:35 +000086 logmsg(ANDROID_LOG_WARN, "%s: packet socket removed?", __func__);
Daniel Drowna45056e2012-03-23 10:42:54 -050087 running = 0;
Lorenzo Colittif08c5aa2014-06-03 12:56:38 +090088 return;
Maciej Żenczykowskif3eeff92023-03-13 21:50:01 +000089 } else if (readlen >= sizeof(buf)) {
Maciej Żenczykowskie6e0c002023-01-18 23:57:35 +000090 logmsg(ANDROID_LOG_WARN, "%s: read truncation - ignoring pkt", __func__);
91 return;
Lorenzo Colittif08c5aa2014-06-03 12:56:38 +090092 }
93
Maciej Żenczykowskife7a1672023-01-17 21:28:22 +000094 __u32 tp_status = 0;
Maciej Żenczykowski4e764172023-03-13 21:55:54 +000095 __u16 tp_net = 0;
Maciej Żenczykowskife7a1672023-01-17 21:28:22 +000096
97 for (struct cmsghdr *cmsg = CMSG_FIRSTHDR(&msgh); cmsg != NULL; cmsg = CMSG_NXTHDR(&msgh,cmsg)) {
98 if (cmsg->cmsg_level == SOL_PACKET && cmsg->cmsg_type == PACKET_AUXDATA) {
99 struct tpacket_auxdata *aux = (struct tpacket_auxdata *)CMSG_DATA(cmsg);
100 tp_status = aux->tp_status;
Maciej Żenczykowski4e764172023-03-13 21:55:54 +0000101 tp_net = aux->tp_net;
Maciej Żenczykowskife7a1672023-01-17 21:28:22 +0000102 break;
103 }
104 }
105
Maciej Żenczykowskia4df1012023-03-16 02:42:37 +0000106 const int payload_offset = offsetof(typeof(buf), payload);
107 if (readlen < payload_offset + tp_net) {
108 logmsg(ANDROID_LOG_WARN, "%s: ignoring %zd byte pkt shorter than %d+%u L2 header",
109 __func__, readlen, payload_offset, tp_net);
Maciej Żenczykowski4e764172023-03-13 21:55:54 +0000110 return;
111 }
112
Maciej Żenczykowskia4df1012023-03-16 02:42:37 +0000113 const int pkt_len = readlen - payload_offset;
Maciej Żenczykowskiaae2fb92023-03-15 00:51:54 +0000114
Maciej Żenczykowskife7a1672023-01-17 21:28:22 +0000115 // This will detect a skb->ip_summed == CHECKSUM_PARTIAL packet with non-final L4 checksum
116 if (tp_status & TP_STATUS_CSUMNOTREADY) {
Maciej Żenczykowski1f395ef2023-02-16 05:11:54 +0000117 static bool logged = false;
118 if (!logged) {
Maciej Żenczykowskiaae2fb92023-03-15 00:51:54 +0000119 logmsg(ANDROID_LOG_WARN, "%s: L4 checksum calculation required", __func__);
Maciej Żenczykowski1f395ef2023-02-16 05:11:54 +0000120 logged = true;
121 }
Maciej Żenczykowskiaae2fb92023-03-15 00:51:54 +0000122
123 // These are non-negative by virtue of csum_start/offset being u16
124 const int cs_start = buf.vnet.csum_start;
125 const int cs_offset = cs_start + buf.vnet.csum_offset;
126 if (cs_start > pkt_len) {
127 logmsg(ANDROID_LOG_ERROR, "%s: out of range - checksum start %d > %d",
128 __func__, cs_start, pkt_len);
129 } else if (cs_offset + 1 >= pkt_len) {
130 logmsg(ANDROID_LOG_ERROR, "%s: out of range - checksum offset %d + 1 >= %d",
131 __func__, cs_offset, pkt_len);
132 } else {
133 uint16_t csum = ip_checksum(buf.payload + cs_start, pkt_len - cs_start);
134 if (!csum) csum = 0xFFFF; // required fixup for UDP, TCP must live with it
135 buf.payload[cs_offset] = csum & 0xFF;
136 buf.payload[cs_offset + 1] = csum >> 8;
137 }
Maciej Żenczykowskife7a1672023-01-17 21:28:22 +0000138 }
139
Maciej Żenczykowskiaae2fb92023-03-15 00:51:54 +0000140 translate_packet(tunnel->fd4, 0 /* to_ipv6 */, buf.payload + tp_net, pkt_len - tp_net);
Maciej Żenczykowskie6e0c002023-01-18 23:57:35 +0000141}
142
143// reads TUN_PI + L3 IPv4 packet from tun, translates to IPv6, writes to AF_INET6/RAW socket
144void process_packet_4_to_6(struct tun_data *tunnel) {
Maciej Żenczykowskicfa100f2023-03-14 03:04:50 +0000145 struct {
146 struct tun_pi pi;
147 uint8_t payload[MAXMTU];
148 char pad; // +1 byte to make packet truncation obvious
149 } buf;
150 ssize_t readlen = read(tunnel->fd4, &buf, sizeof(buf));
Maciej Żenczykowskie6e0c002023-01-18 23:57:35 +0000151
152 if (readlen < 0) {
153 if (errno != EAGAIN) {
154 logmsg(ANDROID_LOG_WARN, "%s: read error: %s", __func__, strerror(errno));
155 }
156 return;
157 } else if (readlen == 0) {
158 logmsg(ANDROID_LOG_WARN, "%s: tun interface removed", __func__);
159 running = 0;
160 return;
Maciej Żenczykowskif3eeff92023-03-13 21:50:01 +0000161 } else if (readlen >= sizeof(buf)) {
Maciej Żenczykowskie6e0c002023-01-18 23:57:35 +0000162 logmsg(ANDROID_LOG_WARN, "%s: read truncation - ignoring pkt", __func__);
Maciej Żenczykowski50303532020-06-02 14:46:45 -0700163 return;
164 }
165
Maciej Żenczykowskia4df1012023-03-16 02:42:37 +0000166 const int payload_offset = offsetof(typeof(buf), payload);
167
168 if (readlen < payload_offset) {
Maciej Żenczykowskie6e0c002023-01-18 23:57:35 +0000169 logmsg(ANDROID_LOG_WARN, "%s: short read: got %ld bytes", __func__, readlen);
Lorenzo Colitti9353be22014-12-03 15:18:29 +0900170 return;
Daniel Drowna45056e2012-03-23 10:42:54 -0500171 }
Lorenzo Colittif08c5aa2014-06-03 12:56:38 +0900172
Maciej Żenczykowskia4df1012023-03-16 02:42:37 +0000173 const int pkt_len = readlen - payload_offset;
174
Maciej Żenczykowskicfa100f2023-03-14 03:04:50 +0000175 uint16_t proto = ntohs(buf.pi.proto);
Lorenzo Colitti9353be22014-12-03 15:18:29 +0900176 if (proto != ETH_P_IP) {
177 logmsg(ANDROID_LOG_WARN, "%s: unknown packet type = 0x%x", __func__, proto);
178 return;
179 }
180
Maciej Żenczykowskicfa100f2023-03-14 03:04:50 +0000181 if (buf.pi.flags != 0) {
182 logmsg(ANDROID_LOG_WARN, "%s: unexpected flags = %d", __func__, buf.pi.flags);
Lorenzo Colitti9353be22014-12-03 15:18:29 +0900183 }
184
Maciej Żenczykowskia4df1012023-03-16 02:42:37 +0000185 translate_packet(tunnel->write_fd6, 1 /* to_ipv6 */, buf.payload, pkt_len);
Daniel Drowna45056e2012-03-23 10:42:54 -0500186}
187
Maciej Żenczykowskif6ec94e2022-07-12 16:17:33 -0700188// IPv6 DAD packet format:
189// Ethernet header (if needed) will be added by the kernel:
190// u8[6] src_mac; u8[6] dst_mac '33:33:ff:XX:XX:XX'; be16 ethertype '0x86DD'
191// IPv6 header:
192// be32 0x60000000 - ipv6, tclass 0, flowlabel 0
193// be16 payload_length '32'; u8 nxt_hdr ICMPv6 '58'; u8 hop limit '255'
194// u128 src_ip6 '::'
195// u128 dst_ip6 'ff02::1:ffXX:XXXX'
196// ICMPv6 header:
197// u8 type '135'; u8 code '0'; u16 icmp6 checksum; u32 reserved '0'
198// ICMPv6 neighbour solicitation payload:
199// u128 tgt_ip6
200// ICMPv6 ND options:
201// u8 opt nr '14'; u8 length '1'; u8[6] nonce '6 random bytes'
Maciej Żenczykowskia1cb0f32022-07-19 09:22:58 -0700202void send_dad(int fd, const struct in6_addr* tgt) {
Maciej Żenczykowskif6ec94e2022-07-12 16:17:33 -0700203 struct {
204 struct ip6_hdr ip6h;
205 struct nd_neighbor_solicit ns;
206 uint8_t ns_opt_nr;
207 uint8_t ns_opt_len;
208 uint8_t ns_opt_nonce[6];
209 } dad_pkt = {
210 .ip6h = {
211 .ip6_flow = htonl(6 << 28), // v6, 0 tclass, 0 flowlabel
212 .ip6_plen = htons(sizeof(dad_pkt) - sizeof(struct ip6_hdr)), // payload length, ie. 32
213 .ip6_nxt = IPPROTO_ICMPV6, // 58
214 .ip6_hlim = 255,
215 .ip6_src = {}, // ::
216 .ip6_dst.s6_addr = {
217 0xFF, 0x02, 0, 0,
218 0, 0, 0, 0,
219 0, 0, 0, 1,
220 0xFF, tgt->s6_addr[13], tgt->s6_addr[14], tgt->s6_addr[15],
221 }, // ff02::1:ffXX:XXXX - multicast group address derived from bottom 24-bits of tgt
222 },
223 .ns = {
224 .nd_ns_type = ND_NEIGHBOR_SOLICIT, // 135
225 .nd_ns_code = 0,
226 .nd_ns_cksum = 0, // will be calculated later
227 .nd_ns_reserved = 0,
228 .nd_ns_target = *tgt,
229 },
230 .ns_opt_nr = 14, // icmp6 option 'nonce' from RFC3971
231 .ns_opt_len = 1, // in units of 8 bytes, including option nr and len
Maciej Żenczykowskia1cb0f32022-07-19 09:22:58 -0700232 .ns_opt_nonce = {}, // opt_len *8 - sizeof u8(opt_nr) - sizeof u8(opt_len) = 6 ranodmized bytes
Maciej Żenczykowskif6ec94e2022-07-12 16:17:33 -0700233 };
Maciej Żenczykowskia1cb0f32022-07-19 09:22:58 -0700234 arc4random_buf(&dad_pkt.ns_opt_nonce, sizeof(dad_pkt.ns_opt_nonce));
Maciej Żenczykowskif6ec94e2022-07-12 16:17:33 -0700235
236 // 40 byte IPv6 header + 8 byte ICMPv6 header + 16 byte ipv6 target address + 8 byte nonce option
237 _Static_assert(sizeof(dad_pkt) == 40 + 8 + 16 + 8, "sizeof dad packet != 72");
238
239 // IPv6 header checksum is standard negated 16-bit one's complement sum over the icmpv6 pseudo
240 // header (which includes payload length, nextheader, and src/dst ip) and the icmpv6 payload.
241 //
242 // Src/dst ip immediately prefix the icmpv6 header itself, so can be handled along
243 // with the payload. We thus only need to manually account for payload len & next header.
244 //
245 // The magic '8' is simply the offset of the ip6_src field in the ipv6 header,
246 // ie. we're skipping over the ipv6 version, tclass, flowlabel, payload length, next header
247 // and hop limit fields, because they're not quite where we want them to be.
248 //
249 // ip6_plen is already in network order, while ip6_nxt is a single byte and thus needs htons().
250 uint32_t csum = dad_pkt.ip6h.ip6_plen + htons(dad_pkt.ip6h.ip6_nxt);
251 csum = ip_checksum_add(csum, &dad_pkt.ip6h.ip6_src, sizeof(dad_pkt) - 8);
252 dad_pkt.ns.nd_ns_cksum = ip_checksum_finish(csum);
253
254 const struct sockaddr_in6 dst = {
255 .sin6_family = AF_INET6,
256 .sin6_addr = dad_pkt.ip6h.ip6_dst,
257 .sin6_scope_id = if_nametoindex(Global_Clatd_Config.native_ipv6_interface),
258 };
259
Maciej Żenczykowskia1cb0f32022-07-19 09:22:58 -0700260 sendto(fd, &dad_pkt, sizeof(dad_pkt), 0 /*flags*/, (const struct sockaddr *)&dst, sizeof(dst));
Maciej Żenczykowskif6ec94e2022-07-12 16:17:33 -0700261}
262
Daniel Drowna45056e2012-03-23 10:42:54 -0500263/* function: event_loop
264 * reads packets from the tun network interface and passes them down the stack
junyulaic4e591a2018-11-26 22:36:10 +0900265 * tunnel - tun device data
Daniel Drowna45056e2012-03-23 10:42:54 -0500266 */
Lorenzo Colitti9353be22014-12-03 15:18:29 +0900267void event_loop(struct tun_data *tunnel) {
Maciej Żenczykowskif6ec94e2022-07-12 16:17:33 -0700268 // Apparently some network gear will refuse to perform NS for IPs that aren't DAD'ed,
269 // this would then result in an ipv6-only network with working native ipv6, working
270 // IPv4 via DNS64, but non-functioning IPv4 via CLAT (ie. IPv4 literals + IPv4 only apps).
271 // The kernel itself doesn't do DAD for anycast ips (but does handle IPV6 MLD and handle ND).
272 // So we'll spoof dad here, and yeah, we really should check for a response and in
273 // case of failure pick a different IP. Seeing as 48-bits of the IP are utterly random
274 // (with the other 16 chosen to guarantee checksum neutrality) this seems like a remote
275 // concern...
276 // TODO: actually perform true DAD
Maciej Żenczykowskia1cb0f32022-07-19 09:22:58 -0700277 send_dad(tunnel->write_fd6, &Global_Clatd_Config.ipv6_local_subnet);
Maciej Żenczykowskif6ec94e2022-07-12 16:17:33 -0700278
Lorenzo Colittidce3ddf2014-08-25 16:07:12 -0700279 struct pollfd wait_fd[] = {
280 { tunnel->read_fd6, POLLIN, 0 },
281 { tunnel->fd4, POLLIN, 0 },
282 };
Daniel Drowna45056e2012-03-23 10:42:54 -0500283
junyulaic4e591a2018-11-26 22:36:10 +0900284 while (running) {
Maciej Żenczykowskica9466c2023-03-15 17:40:45 +0000285 if (poll(wait_fd, ARRAY_SIZE(wait_fd), -1) == -1) {
Bernie Innocenti69dc60d2018-05-14 20:40:49 +0900286 if (errno != EINTR) {
junyulaic4e591a2018-11-26 22:36:10 +0900287 logmsg(ANDROID_LOG_WARN, "event_loop/poll returned an error: %s", strerror(errno));
Daniel Drowna45056e2012-03-23 10:42:54 -0500288 }
289 } else {
Maciej Żenczykowskie6e0c002023-01-18 23:57:35 +0000290 // Call process_packet if the socket has data to be read, but also if an
Lorenzo Colitti9353be22014-12-03 15:18:29 +0900291 // error is waiting. If we don't call read() after getting POLLERR, a
292 // subsequent poll() will return immediately with POLLERR again,
293 // causing this code to spin in a loop. Calling read() will clear the
294 // socket error flag instead.
Maciej Żenczykowskie6e0c002023-01-18 23:57:35 +0000295 if (wait_fd[0].revents) process_packet_6_to_4(tunnel);
296 if (wait_fd[1].revents) process_packet_4_to_6(tunnel);
Daniel Drowna45056e2012-03-23 10:42:54 -0500297 }
Daniel Drowna45056e2012-03-23 10:42:54 -0500298 }
299}