| Daniel Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 1 | /* | 
|  | 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 | */ | 
| junyulai | c4e591a | 2018-11-26 22:36:10 +0900 | [diff] [blame] | 18 | #include <arpa/inet.h> | 
|  | 19 | #include <errno.h> | 
|  | 20 | #include <fcntl.h> | 
| Daniel Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 21 | #include <poll.h> | 
|  | 22 | #include <signal.h> | 
| Maciej Żenczykowski | 1f395ef | 2023-02-16 05:11:54 +0000 | [diff] [blame] | 23 | #include <stdbool.h> | 
| Daniel Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 24 | #include <stdio.h> | 
| junyulai | c4e591a | 2018-11-26 22:36:10 +0900 | [diff] [blame] | 25 | #include <stdlib.h> | 
|  | 26 | #include <string.h> | 
| Daniel Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 27 | #include <sys/ioctl.h> | 
| Elliott Hughes | 3afe9ae | 2014-07-18 17:25:26 -0700 | [diff] [blame] | 28 | #include <sys/prctl.h> | 
| Daniel Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 29 | #include <sys/stat.h> | 
| junyulai | c4e591a | 2018-11-26 22:36:10 +0900 | [diff] [blame] | 30 | #include <sys/types.h> | 
|  | 31 | #include <time.h> | 
| Daniel Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 32 | #include <unistd.h> | 
| Daniel Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 33 |  | 
| Lorenzo Colitti | f08c5aa | 2014-06-03 12:56:38 +0900 | [diff] [blame] | 34 | #include <linux/filter.h> | 
| Daniel Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 35 | #include <linux/if.h> | 
| Daniel Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 36 | #include <linux/if_ether.h> | 
| Lorenzo Colitti | f08c5aa | 2014-06-03 12:56:38 +0900 | [diff] [blame] | 37 | #include <linux/if_packet.h> | 
| junyulai | c4e591a | 2018-11-26 22:36:10 +0900 | [diff] [blame] | 38 | #include <linux/if_tun.h> | 
| Maciej Żenczykowski | 8eb4888 | 2023-03-14 03:55:22 +0000 | [diff] [blame] | 39 | #include <linux/virtio_net.h> | 
| Lorenzo Colitti | f08c5aa | 2014-06-03 12:56:38 +0900 | [diff] [blame] | 40 | #include <net/if.h> | 
| junyulai | c4e591a | 2018-11-26 22:36:10 +0900 | [diff] [blame] | 41 | #include <sys/uio.h> | 
| Daniel Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 42 |  | 
| Daniel Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 43 | #include "clatd.h" | 
| Maciej Żenczykowski | f6ec94e | 2022-07-12 16:17:33 -0700 | [diff] [blame] | 44 | #include "checksum.h" | 
| Daniel Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 45 | #include "config.h" | 
| Daniel Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 46 | #include "dump.h" | 
| junyulai | c4e591a | 2018-11-26 22:36:10 +0900 | [diff] [blame] | 47 | #include "logging.h" | 
| junyulai | c4e591a | 2018-11-26 22:36:10 +0900 | [diff] [blame] | 48 | #include "translate.h" | 
| Daniel Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 49 |  | 
| Maciej Żenczykowski | 5ce6cda | 2020-06-02 14:39:33 -0700 | [diff] [blame] | 50 | struct clat_config Global_Clatd_Config; | 
|  | 51 |  | 
| Daniel Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 52 | volatile sig_atomic_t running = 1; | 
|  | 53 |  | 
| Maciej Żenczykowski | 206b238 | 2023-03-14 03:50:28 +0000 | [diff] [blame] | 54 | // reads IPv6 packet from AF_PACKET socket, translates to IPv4, writes to tun | 
| Maciej Żenczykowski | e6e0c00 | 2023-01-18 23:57:35 +0000 | [diff] [blame] | 55 | void process_packet_6_to_4(struct tun_data *tunnel) { | 
| Maciej Żenczykowski | 4e76417 | 2023-03-13 21:55:54 +0000 | [diff] [blame] | 56 | // 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 Żenczykowski | 206b238 | 2023-03-14 03:50:28 +0000 | [diff] [blame] | 59 | struct { | 
| Maciej Żenczykowski | 8eb4888 | 2023-03-14 03:55:22 +0000 | [diff] [blame] | 60 | struct virtio_net_hdr vnet; | 
| Maciej Żenczykowski | 206b238 | 2023-03-14 03:50:28 +0000 | [diff] [blame] | 61 | uint8_t payload[22 + MAXMTU]; | 
|  | 62 | char pad; // +1 to make packet truncation obvious | 
|  | 63 | } buf; | 
| Maciej Żenczykowski | fe7a167 | 2023-01-17 21:28:22 +0000 | [diff] [blame] | 64 | struct iovec iov = { | 
| Maciej Żenczykowski | 206b238 | 2023-03-14 03:50:28 +0000 | [diff] [blame] | 65 | .iov_base = &buf, | 
| Maciej Żenczykowski | f3eeff9 | 2023-03-13 21:50:01 +0000 | [diff] [blame] | 66 | .iov_len = sizeof(buf), | 
| Maciej Żenczykowski | fe7a167 | 2023-01-17 21:28:22 +0000 | [diff] [blame] | 67 | }; | 
| Maciej Żenczykowski | 4e76417 | 2023-03-13 21:55:54 +0000 | [diff] [blame] | 68 | char cmsg_buf[CMSG_SPACE(sizeof(struct tpacket_auxdata))]; | 
| Maciej Żenczykowski | fe7a167 | 2023-01-17 21:28:22 +0000 | [diff] [blame] | 69 | 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 Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 76 |  | 
| junyulai | c4e591a | 2018-11-26 22:36:10 +0900 | [diff] [blame] | 77 | if (readlen < 0) { | 
| Lorenzo Colitti | 4945481 | 2015-01-31 19:18:47 +0900 | [diff] [blame] | 78 | if (errno != EAGAIN) { | 
| Maciej Żenczykowski | e6e0c00 | 2023-01-18 23:57:35 +0000 | [diff] [blame] | 79 | logmsg(ANDROID_LOG_WARN, "%s: read error: %s", __func__, strerror(errno)); | 
| Lorenzo Colitti | 4945481 | 2015-01-31 19:18:47 +0900 | [diff] [blame] | 80 | } | 
| Daniel Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 81 | return; | 
| junyulai | c4e591a | 2018-11-26 22:36:10 +0900 | [diff] [blame] | 82 | } else if (readlen == 0) { | 
| Maciej Żenczykowski | e6e0c00 | 2023-01-18 23:57:35 +0000 | [diff] [blame] | 83 | logmsg(ANDROID_LOG_WARN, "%s: packet socket removed?", __func__); | 
| Daniel Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 84 | running = 0; | 
| Lorenzo Colitti | f08c5aa | 2014-06-03 12:56:38 +0900 | [diff] [blame] | 85 | return; | 
| Maciej Żenczykowski | f3eeff9 | 2023-03-13 21:50:01 +0000 | [diff] [blame] | 86 | } else if (readlen >= sizeof(buf)) { | 
| Maciej Żenczykowski | e6e0c00 | 2023-01-18 23:57:35 +0000 | [diff] [blame] | 87 | logmsg(ANDROID_LOG_WARN, "%s: read truncation - ignoring pkt", __func__); | 
|  | 88 | return; | 
| Lorenzo Colitti | f08c5aa | 2014-06-03 12:56:38 +0900 | [diff] [blame] | 89 | } | 
|  | 90 |  | 
| Maciej Żenczykowski | 8fe16b0 | 2023-06-01 08:58:43 +0000 | [diff] [blame] | 91 | bool ok = false; | 
| Maciej Żenczykowski | fe7a167 | 2023-01-17 21:28:22 +0000 | [diff] [blame] | 92 | __u32 tp_status = 0; | 
| Maciej Żenczykowski | 4e76417 | 2023-03-13 21:55:54 +0000 | [diff] [blame] | 93 | __u16 tp_net = 0; | 
| Maciej Żenczykowski | fe7a167 | 2023-01-17 21:28:22 +0000 | [diff] [blame] | 94 |  | 
|  | 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 Żenczykowski | 8fe16b0 | 2023-06-01 08:58:43 +0000 | [diff] [blame] | 98 | ok = true; | 
| Maciej Żenczykowski | fe7a167 | 2023-01-17 21:28:22 +0000 | [diff] [blame] | 99 | tp_status = aux->tp_status; | 
| Maciej Żenczykowski | 4e76417 | 2023-03-13 21:55:54 +0000 | [diff] [blame] | 100 | tp_net = aux->tp_net; | 
| Maciej Żenczykowski | fe7a167 | 2023-01-17 21:28:22 +0000 | [diff] [blame] | 101 | break; | 
|  | 102 | } | 
|  | 103 | } | 
|  | 104 |  | 
| Maciej Żenczykowski | 8fe16b0 | 2023-06-01 08:58:43 +0000 | [diff] [blame] | 105 | 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 Żenczykowski | a4df101 | 2023-03-16 02:42:37 +0000 | [diff] [blame] | 114 | 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 Żenczykowski | 4e76417 | 2023-03-13 21:55:54 +0000 | [diff] [blame] | 118 | return; | 
|  | 119 | } | 
|  | 120 |  | 
| Maciej Żenczykowski | a4df101 | 2023-03-16 02:42:37 +0000 | [diff] [blame] | 121 | const int pkt_len = readlen - payload_offset; | 
| Maciej Żenczykowski | aae2fb9 | 2023-03-15 00:51:54 +0000 | [diff] [blame] | 122 |  | 
| Maciej Żenczykowski | fe7a167 | 2023-01-17 21:28:22 +0000 | [diff] [blame] | 123 | // This will detect a skb->ip_summed == CHECKSUM_PARTIAL packet with non-final L4 checksum | 
|  | 124 | if (tp_status & TP_STATUS_CSUMNOTREADY) { | 
| Maciej Żenczykowski | 1f395ef | 2023-02-16 05:11:54 +0000 | [diff] [blame] | 125 | static bool logged = false; | 
|  | 126 | if (!logged) { | 
| Maciej Żenczykowski | aae2fb9 | 2023-03-15 00:51:54 +0000 | [diff] [blame] | 127 | logmsg(ANDROID_LOG_WARN, "%s: L4 checksum calculation required", __func__); | 
| Maciej Żenczykowski | 1f395ef | 2023-02-16 05:11:54 +0000 | [diff] [blame] | 128 | logged = true; | 
|  | 129 | } | 
| Maciej Żenczykowski | aae2fb9 | 2023-03-15 00:51:54 +0000 | [diff] [blame] | 130 |  | 
|  | 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 Żenczykowski | fe7a167 | 2023-01-17 21:28:22 +0000 | [diff] [blame] | 146 | } | 
|  | 147 |  | 
| Maciej Żenczykowski | aae2fb9 | 2023-03-15 00:51:54 +0000 | [diff] [blame] | 148 | translate_packet(tunnel->fd4, 0 /* to_ipv6 */, buf.payload + tp_net, pkt_len - tp_net); | 
| Maciej Żenczykowski | e6e0c00 | 2023-01-18 23:57:35 +0000 | [diff] [blame] | 149 | } | 
|  | 150 |  | 
|  | 151 | // reads TUN_PI + L3 IPv4 packet from tun, translates to IPv6, writes to AF_INET6/RAW socket | 
|  | 152 | void process_packet_4_to_6(struct tun_data *tunnel) { | 
| Maciej Żenczykowski | cfa100f | 2023-03-14 03:04:50 +0000 | [diff] [blame] | 153 | 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 Żenczykowski | e6e0c00 | 2023-01-18 23:57:35 +0000 | [diff] [blame] | 159 |  | 
|  | 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 Żenczykowski | f3eeff9 | 2023-03-13 21:50:01 +0000 | [diff] [blame] | 169 | } else if (readlen >= sizeof(buf)) { | 
| Maciej Żenczykowski | e6e0c00 | 2023-01-18 23:57:35 +0000 | [diff] [blame] | 170 | logmsg(ANDROID_LOG_WARN, "%s: read truncation - ignoring pkt", __func__); | 
| Maciej Żenczykowski | 5030353 | 2020-06-02 14:46:45 -0700 | [diff] [blame] | 171 | return; | 
|  | 172 | } | 
|  | 173 |  | 
| Maciej Żenczykowski | a4df101 | 2023-03-16 02:42:37 +0000 | [diff] [blame] | 174 | const int payload_offset = offsetof(typeof(buf), payload); | 
|  | 175 |  | 
|  | 176 | if (readlen < payload_offset) { | 
| Maciej Żenczykowski | e6e0c00 | 2023-01-18 23:57:35 +0000 | [diff] [blame] | 177 | logmsg(ANDROID_LOG_WARN, "%s: short read: got %ld bytes", __func__, readlen); | 
| Lorenzo Colitti | 9353be2 | 2014-12-03 15:18:29 +0900 | [diff] [blame] | 178 | return; | 
| Daniel Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 179 | } | 
| Lorenzo Colitti | f08c5aa | 2014-06-03 12:56:38 +0900 | [diff] [blame] | 180 |  | 
| Maciej Żenczykowski | a4df101 | 2023-03-16 02:42:37 +0000 | [diff] [blame] | 181 | const int pkt_len = readlen - payload_offset; | 
|  | 182 |  | 
| Maciej Żenczykowski | cfa100f | 2023-03-14 03:04:50 +0000 | [diff] [blame] | 183 | uint16_t proto = ntohs(buf.pi.proto); | 
| Lorenzo Colitti | 9353be2 | 2014-12-03 15:18:29 +0900 | [diff] [blame] | 184 | if (proto != ETH_P_IP) { | 
|  | 185 | logmsg(ANDROID_LOG_WARN, "%s: unknown packet type = 0x%x", __func__, proto); | 
|  | 186 | return; | 
|  | 187 | } | 
|  | 188 |  | 
| Maciej Żenczykowski | cfa100f | 2023-03-14 03:04:50 +0000 | [diff] [blame] | 189 | if (buf.pi.flags != 0) { | 
|  | 190 | logmsg(ANDROID_LOG_WARN, "%s: unexpected flags = %d", __func__, buf.pi.flags); | 
| Lorenzo Colitti | 9353be2 | 2014-12-03 15:18:29 +0900 | [diff] [blame] | 191 | } | 
|  | 192 |  | 
| Maciej Żenczykowski | a4df101 | 2023-03-16 02:42:37 +0000 | [diff] [blame] | 193 | translate_packet(tunnel->write_fd6, 1 /* to_ipv6 */, buf.payload, pkt_len); | 
| Daniel Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 194 | } | 
|  | 195 |  | 
| Maciej Żenczykowski | f6ec94e | 2022-07-12 16:17:33 -0700 | [diff] [blame] | 196 | // 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 Żenczykowski | a1cb0f3 | 2022-07-19 09:22:58 -0700 | [diff] [blame] | 210 | void send_dad(int fd, const struct in6_addr* tgt) { | 
| Maciej Żenczykowski | f6ec94e | 2022-07-12 16:17:33 -0700 | [diff] [blame] | 211 | 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 Żenczykowski | a1cb0f3 | 2022-07-19 09:22:58 -0700 | [diff] [blame] | 240 | .ns_opt_nonce = {},  // opt_len *8 - sizeof u8(opt_nr) - sizeof u8(opt_len) = 6 ranodmized bytes | 
| Maciej Żenczykowski | f6ec94e | 2022-07-12 16:17:33 -0700 | [diff] [blame] | 241 | }; | 
| Maciej Żenczykowski | a1cb0f3 | 2022-07-19 09:22:58 -0700 | [diff] [blame] | 242 | arc4random_buf(&dad_pkt.ns_opt_nonce, sizeof(dad_pkt.ns_opt_nonce)); | 
| Maciej Żenczykowski | f6ec94e | 2022-07-12 16:17:33 -0700 | [diff] [blame] | 243 |  | 
|  | 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 Żenczykowski | a1cb0f3 | 2022-07-19 09:22:58 -0700 | [diff] [blame] | 268 | sendto(fd, &dad_pkt, sizeof(dad_pkt), 0 /*flags*/, (const struct sockaddr *)&dst, sizeof(dst)); | 
| Maciej Żenczykowski | f6ec94e | 2022-07-12 16:17:33 -0700 | [diff] [blame] | 269 | } | 
|  | 270 |  | 
| Daniel Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 271 | /* function: event_loop | 
|  | 272 | * reads packets from the tun network interface and passes them down the stack | 
| junyulai | c4e591a | 2018-11-26 22:36:10 +0900 | [diff] [blame] | 273 | *   tunnel - tun device data | 
| Daniel Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 274 | */ | 
| Lorenzo Colitti | 9353be2 | 2014-12-03 15:18:29 +0900 | [diff] [blame] | 275 | void event_loop(struct tun_data *tunnel) { | 
| Maciej Żenczykowski | f6ec94e | 2022-07-12 16:17:33 -0700 | [diff] [blame] | 276 | // 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 Żenczykowski | a1cb0f3 | 2022-07-19 09:22:58 -0700 | [diff] [blame] | 285 | send_dad(tunnel->write_fd6, &Global_Clatd_Config.ipv6_local_subnet); | 
| Maciej Żenczykowski | f6ec94e | 2022-07-12 16:17:33 -0700 | [diff] [blame] | 286 |  | 
| Lorenzo Colitti | dce3ddf | 2014-08-25 16:07:12 -0700 | [diff] [blame] | 287 | struct pollfd wait_fd[] = { | 
|  | 288 | { tunnel->read_fd6, POLLIN, 0 }, | 
|  | 289 | { tunnel->fd4, POLLIN, 0 }, | 
|  | 290 | }; | 
| Daniel Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 291 |  | 
| junyulai | c4e591a | 2018-11-26 22:36:10 +0900 | [diff] [blame] | 292 | while (running) { | 
| Maciej Żenczykowski | ca9466c | 2023-03-15 17:40:45 +0000 | [diff] [blame] | 293 | if (poll(wait_fd, ARRAY_SIZE(wait_fd), -1) == -1) { | 
| Bernie Innocenti | 69dc60d | 2018-05-14 20:40:49 +0900 | [diff] [blame] | 294 | if (errno != EINTR) { | 
| junyulai | c4e591a | 2018-11-26 22:36:10 +0900 | [diff] [blame] | 295 | logmsg(ANDROID_LOG_WARN, "event_loop/poll returned an error: %s", strerror(errno)); | 
| Daniel Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 296 | } | 
|  | 297 | } else { | 
| Maciej Żenczykowski | e6e0c00 | 2023-01-18 23:57:35 +0000 | [diff] [blame] | 298 | // Call process_packet if the socket has data to be read, but also if an | 
| Lorenzo Colitti | 9353be2 | 2014-12-03 15:18:29 +0900 | [diff] [blame] | 299 | // 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 Żenczykowski | e6e0c00 | 2023-01-18 23:57:35 +0000 | [diff] [blame] | 303 | if (wait_fd[0].revents) process_packet_6_to_4(tunnel); | 
|  | 304 | if (wait_fd[1].revents) process_packet_4_to_6(tunnel); | 
| Daniel Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 305 | } | 
| Daniel Drown | a45056e | 2012-03-23 10:42:54 -0500 | [diff] [blame] | 306 | } | 
|  | 307 | } |