| 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 | } |