ipsec_input.c revision 1.58 1 1.58 maxv /* $NetBSD: ipsec_input.c,v 1.58 2018/02/21 16:48:28 maxv Exp $ */
2 1.7 thorpej /* $FreeBSD: /usr/local/www/cvsroot/FreeBSD/src/sys/netipsec/ipsec_input.c,v 1.2.4.2 2003/03/28 20:32:53 sam Exp $ */
3 1.7 thorpej /* $OpenBSD: ipsec_input.c,v 1.63 2003/02/20 18:35:43 deraadt Exp $ */
4 1.7 thorpej
5 1.7 thorpej /*
6 1.7 thorpej * The authors of this code are John Ioannidis (ji (at) tla.org),
7 1.7 thorpej * Angelos D. Keromytis (kermit (at) csd.uch.gr) and
8 1.7 thorpej * Niels Provos (provos (at) physnet.uni-hamburg.de).
9 1.7 thorpej *
10 1.7 thorpej * This code was written by John Ioannidis for BSD/OS in Athens, Greece,
11 1.7 thorpej * in November 1995.
12 1.7 thorpej *
13 1.7 thorpej * Ported to OpenBSD and NetBSD, with additional transforms, in December 1996,
14 1.7 thorpej * by Angelos D. Keromytis.
15 1.7 thorpej *
16 1.7 thorpej * Additional transforms and features in 1997 and 1998 by Angelos D. Keromytis
17 1.7 thorpej * and Niels Provos.
18 1.7 thorpej *
19 1.7 thorpej * Additional features in 1999 by Angelos D. Keromytis.
20 1.7 thorpej *
21 1.7 thorpej * Copyright (C) 1995, 1996, 1997, 1998, 1999 by John Ioannidis,
22 1.7 thorpej * Angelos D. Keromytis and Niels Provos.
23 1.7 thorpej * Copyright (c) 2001, Angelos D. Keromytis.
24 1.7 thorpej *
25 1.7 thorpej * Permission to use, copy, and modify this software with or without fee
26 1.7 thorpej * is hereby granted, provided that this entire notice is included in
27 1.7 thorpej * all copies of any software which is or includes a copy or
28 1.7 thorpej * modification of this software.
29 1.7 thorpej * You may use this code under the GNU public license if you so wish. Please
30 1.7 thorpej * contribute changes back to the authors under this freer than GPL license
31 1.7 thorpej * so that we may further the use of strong encryption without limitations to
32 1.7 thorpej * all.
33 1.7 thorpej *
34 1.7 thorpej * THIS SOFTWARE IS BEING PROVIDED "AS IS", WITHOUT ANY EXPRESS OR
35 1.7 thorpej * IMPLIED WARRANTY. IN PARTICULAR, NONE OF THE AUTHORS MAKES ANY
36 1.7 thorpej * REPRESENTATION OR WARRANTY OF ANY KIND CONCERNING THE
37 1.7 thorpej * MERCHANTABILITY OF THIS SOFTWARE OR ITS FITNESS FOR ANY PARTICULAR
38 1.7 thorpej * PURPOSE.
39 1.7 thorpej */
40 1.1 jonathan
41 1.1 jonathan #include <sys/cdefs.h>
42 1.58 maxv __KERNEL_RCSID(0, "$NetBSD: ipsec_input.c,v 1.58 2018/02/21 16:48:28 maxv Exp $");
43 1.1 jonathan
44 1.1 jonathan /*
45 1.1 jonathan * IPsec input processing.
46 1.1 jonathan */
47 1.1 jonathan
48 1.38 ozaki #if defined(_KERNEL_OPT)
49 1.1 jonathan #include "opt_inet.h"
50 1.38 ozaki #endif
51 1.1 jonathan
52 1.1 jonathan #include <sys/param.h>
53 1.1 jonathan #include <sys/systm.h>
54 1.1 jonathan #include <sys/malloc.h>
55 1.1 jonathan #include <sys/mbuf.h>
56 1.1 jonathan #include <sys/domain.h>
57 1.1 jonathan #include <sys/protosw.h>
58 1.1 jonathan #include <sys/socket.h>
59 1.1 jonathan #include <sys/errno.h>
60 1.1 jonathan #include <sys/syslog.h>
61 1.1 jonathan
62 1.1 jonathan #include <net/if.h>
63 1.1 jonathan #include <net/route.h>
64 1.1 jonathan
65 1.1 jonathan #include <netinet/in.h>
66 1.1 jonathan #include <netinet/in_systm.h>
67 1.1 jonathan #include <netinet/ip.h>
68 1.1 jonathan #include <netinet/ip_var.h>
69 1.1 jonathan #include <netinet/in_var.h>
70 1.29 drochner #include <netinet/in_proto.h>
71 1.44 christos #include <netinet/udp.h>
72 1.44 christos #include <netinet/tcp.h>
73 1.1 jonathan
74 1.1 jonathan #include <netinet/ip6.h>
75 1.1 jonathan #ifdef INET6
76 1.1 jonathan #include <netinet6/ip6_var.h>
77 1.19 thorpej #include <netinet6/ip6_private.h>
78 1.26 drochner #include <netinet6/scope6_var.h>
79 1.1 jonathan #endif
80 1.1 jonathan #include <netinet/in_pcb.h>
81 1.1 jonathan #ifdef INET6
82 1.1 jonathan #include <netinet/icmp6.h>
83 1.1 jonathan #endif
84 1.1 jonathan
85 1.1 jonathan #include <netipsec/ipsec.h>
86 1.20 thorpej #include <netipsec/ipsec_private.h>
87 1.1 jonathan #ifdef INET6
88 1.1 jonathan #include <netipsec/ipsec6.h>
89 1.1 jonathan #endif
90 1.1 jonathan #include <netipsec/ah_var.h>
91 1.1 jonathan #include <netipsec/esp.h>
92 1.1 jonathan #include <netipsec/esp_var.h>
93 1.1 jonathan #include <netipsec/ipcomp_var.h>
94 1.1 jonathan
95 1.6 tls #include <netipsec/key.h>
96 1.6 tls #include <netipsec/keydb.h>
97 1.1 jonathan
98 1.1 jonathan #include <netipsec/xform.h>
99 1.1 jonathan #include <netinet6/ip6protosw.h>
100 1.1 jonathan
101 1.20 thorpej #define IPSEC_ISTAT(p, x, y, z) \
102 1.20 thorpej do { \
103 1.20 thorpej switch (p) { \
104 1.20 thorpej case IPPROTO_ESP: \
105 1.20 thorpej ESP_STATINC(x); \
106 1.20 thorpej break; \
107 1.20 thorpej case IPPROTO_AH: \
108 1.20 thorpej AH_STATINC(y); \
109 1.20 thorpej break; \
110 1.20 thorpej default: \
111 1.20 thorpej IPCOMP_STATINC(z); \
112 1.20 thorpej break; \
113 1.20 thorpej } \
114 1.20 thorpej } while (/*CONSTCOND*/0)
115 1.1 jonathan
116 1.1 jonathan /*
117 1.44 christos * fixup TCP/UDP checksum
118 1.44 christos *
119 1.44 christos * XXX: if we have NAT-OA payload from IKE server,
120 1.44 christos * we must do the differential update of checksum.
121 1.44 christos *
122 1.44 christos * XXX: NAT-OAi/NAT-OAr drived from IKE initiator/responder.
123 1.44 christos * how to know the IKE side from kernel?
124 1.44 christos */
125 1.44 christos static struct mbuf *
126 1.44 christos ipsec4_fixup_checksum(struct mbuf *m)
127 1.44 christos {
128 1.52 ozaki struct ip *ip;
129 1.52 ozaki struct tcphdr *th;
130 1.52 ozaki struct udphdr *uh;
131 1.52 ozaki int poff, off;
132 1.52 ozaki int plen;
133 1.52 ozaki
134 1.53 ozaki if (m->m_len < sizeof(*ip)) {
135 1.52 ozaki m = m_pullup(m, sizeof(*ip));
136 1.53 ozaki if (m == NULL)
137 1.53 ozaki return NULL;
138 1.53 ozaki }
139 1.52 ozaki ip = mtod(m, struct ip *);
140 1.52 ozaki poff = ip->ip_hl << 2;
141 1.52 ozaki plen = ntohs(ip->ip_len) - poff;
142 1.52 ozaki
143 1.52 ozaki switch (ip->ip_p) {
144 1.52 ozaki case IPPROTO_TCP:
145 1.52 ozaki IP6_EXTHDR_GET(th, struct tcphdr *, m, poff, sizeof(*th));
146 1.52 ozaki if (th == NULL)
147 1.52 ozaki return NULL;
148 1.52 ozaki off = th->th_off << 2;
149 1.52 ozaki if (off < sizeof(*th) || off > plen) {
150 1.52 ozaki m_freem(m);
151 1.52 ozaki return NULL;
152 1.52 ozaki }
153 1.52 ozaki th->th_sum = 0;
154 1.52 ozaki th->th_sum = in4_cksum(m, IPPROTO_TCP, poff, plen);
155 1.52 ozaki break;
156 1.52 ozaki case IPPROTO_UDP:
157 1.52 ozaki IP6_EXTHDR_GET(uh, struct udphdr *, m, poff, sizeof(*uh));
158 1.52 ozaki if (uh == NULL)
159 1.52 ozaki return NULL;
160 1.52 ozaki off = sizeof(*uh);
161 1.52 ozaki if (off > plen) {
162 1.52 ozaki m_freem(m);
163 1.52 ozaki return NULL;
164 1.52 ozaki }
165 1.52 ozaki uh->uh_sum = 0;
166 1.52 ozaki uh->uh_sum = in4_cksum(m, IPPROTO_UDP, poff, plen);
167 1.52 ozaki break;
168 1.52 ozaki default:
169 1.52 ozaki /* no checksum */
170 1.52 ozaki return m;
171 1.52 ozaki }
172 1.44 christos
173 1.52 ozaki return m;
174 1.44 christos }
175 1.44 christos
176 1.44 christos /*
177 1.1 jonathan * ipsec_common_input gets called when an IPsec-protected packet
178 1.1 jonathan * is received by IPv4 or IPv6. It's job is to find the right SA
179 1.1 jonathan # and call the appropriate transform. The transform callback
180 1.1 jonathan * takes care of further processing (like ingress filtering).
181 1.1 jonathan */
182 1.1 jonathan static int
183 1.1 jonathan ipsec_common_input(struct mbuf *m, int skip, int protoff, int af, int sproto)
184 1.1 jonathan {
185 1.42 ryo char buf[IPSEC_ADDRSTRLEN];
186 1.1 jonathan union sockaddr_union dst_address;
187 1.1 jonathan struct secasvar *sav;
188 1.1 jonathan u_int32_t spi;
189 1.30 christos u_int16_t sport;
190 1.30 christos u_int16_t dport;
191 1.1 jonathan int s, error;
192 1.1 jonathan
193 1.20 thorpej IPSEC_ISTAT(sproto, ESP_STAT_INPUT, AH_STAT_INPUT,
194 1.20 thorpej IPCOMP_STAT_INPUT);
195 1.1 jonathan
196 1.40 ozaki KASSERT(m != NULL);
197 1.1 jonathan
198 1.1 jonathan if ((sproto == IPPROTO_ESP && !esp_enable) ||
199 1.1 jonathan (sproto == IPPROTO_AH && !ah_enable) ||
200 1.1 jonathan (sproto == IPPROTO_IPCOMP && !ipcomp_enable)) {
201 1.1 jonathan m_freem(m);
202 1.20 thorpej IPSEC_ISTAT(sproto, ESP_STAT_PDROPS, AH_STAT_PDROPS,
203 1.20 thorpej IPCOMP_STAT_PDROPS);
204 1.1 jonathan return EOPNOTSUPP;
205 1.1 jonathan }
206 1.1 jonathan
207 1.1 jonathan if (m->m_pkthdr.len - skip < 2 * sizeof (u_int32_t)) {
208 1.1 jonathan m_freem(m);
209 1.20 thorpej IPSEC_ISTAT(sproto, ESP_STAT_HDROPS, AH_STAT_HDROPS,
210 1.20 thorpej IPCOMP_STAT_HDROPS);
211 1.43 ozaki IPSECLOG(LOG_DEBUG, "packet too small\n");
212 1.1 jonathan return EINVAL;
213 1.1 jonathan }
214 1.1 jonathan
215 1.1 jonathan /* Retrieve the SPI from the relevant IPsec header */
216 1.1 jonathan if (sproto == IPPROTO_ESP)
217 1.16 degroote m_copydata(m, skip, sizeof(u_int32_t), &spi);
218 1.1 jonathan else if (sproto == IPPROTO_AH)
219 1.16 degroote m_copydata(m, skip + sizeof(u_int32_t), sizeof(u_int32_t), &spi);
220 1.1 jonathan else if (sproto == IPPROTO_IPCOMP) {
221 1.1 jonathan u_int16_t cpi;
222 1.16 degroote m_copydata(m, skip + sizeof(u_int16_t), sizeof(u_int16_t), &cpi);
223 1.1 jonathan spi = ntohl(htons(cpi));
224 1.17 degroote } else {
225 1.17 degroote panic("ipsec_common_input called with bad protocol number :"
226 1.17 degroote "%d\n", sproto);
227 1.1 jonathan }
228 1.17 degroote
229 1.17 degroote
230 1.17 degroote /* find the source port for NAT-T */
231 1.30 christos nat_t_ports_get(m, &dport, &sport);
232 1.1 jonathan
233 1.1 jonathan /*
234 1.1 jonathan * Find the SA and (indirectly) call the appropriate
235 1.1 jonathan * kernel crypto routine. The resulting mbuf chain is a valid
236 1.1 jonathan * IP packet ready to go through input processing.
237 1.1 jonathan */
238 1.21 cegger memset(&dst_address, 0, sizeof (dst_address));
239 1.1 jonathan dst_address.sa.sa_family = af;
240 1.1 jonathan switch (af) {
241 1.1 jonathan #ifdef INET
242 1.1 jonathan case AF_INET:
243 1.1 jonathan dst_address.sin.sin_len = sizeof(struct sockaddr_in);
244 1.1 jonathan m_copydata(m, offsetof(struct ip, ip_dst),
245 1.1 jonathan sizeof(struct in_addr),
246 1.16 degroote &dst_address.sin.sin_addr);
247 1.1 jonathan break;
248 1.1 jonathan #endif /* INET */
249 1.1 jonathan #ifdef INET6
250 1.1 jonathan case AF_INET6:
251 1.1 jonathan dst_address.sin6.sin6_len = sizeof(struct sockaddr_in6);
252 1.1 jonathan m_copydata(m, offsetof(struct ip6_hdr, ip6_dst),
253 1.1 jonathan sizeof(struct in6_addr),
254 1.16 degroote &dst_address.sin6.sin6_addr);
255 1.26 drochner if (sa6_recoverscope(&dst_address.sin6)) {
256 1.26 drochner m_freem(m);
257 1.26 drochner return EINVAL;
258 1.26 drochner }
259 1.1 jonathan break;
260 1.1 jonathan #endif /* INET6 */
261 1.1 jonathan default:
262 1.43 ozaki IPSECLOG(LOG_DEBUG, "unsupported protocol family %u\n", af);
263 1.1 jonathan m_freem(m);
264 1.20 thorpej IPSEC_ISTAT(sproto, ESP_STAT_NOPF, AH_STAT_NOPF,
265 1.20 thorpej IPCOMP_STAT_NOPF);
266 1.1 jonathan return EPFNOSUPPORT;
267 1.1 jonathan }
268 1.1 jonathan
269 1.1 jonathan s = splsoftnet();
270 1.1 jonathan
271 1.47 ozaki /* NB: only pass dst since key_lookup_sa follows RFC2401 */
272 1.47 ozaki sav = KEY_LOOKUP_SA(&dst_address, sproto, spi, sport, dport);
273 1.1 jonathan if (sav == NULL) {
274 1.43 ozaki IPSECLOG(LOG_DEBUG,
275 1.43 ozaki "no key association found for SA %s/%08lx/%u/%u\n",
276 1.43 ozaki ipsec_address(&dst_address, buf, sizeof(buf)),
277 1.43 ozaki (u_long) ntohl(spi), sproto, ntohs(dport));
278 1.20 thorpej IPSEC_ISTAT(sproto, ESP_STAT_NOTDB, AH_STAT_NOTDB,
279 1.20 thorpej IPCOMP_STAT_NOTDB);
280 1.1 jonathan splx(s);
281 1.1 jonathan m_freem(m);
282 1.1 jonathan return ENOENT;
283 1.1 jonathan }
284 1.1 jonathan
285 1.46 ozaki KASSERT(sav->tdb_xform != NULL);
286 1.1 jonathan
287 1.1 jonathan /*
288 1.1 jonathan * Call appropriate transform and return -- callback takes care of
289 1.1 jonathan * everything else.
290 1.1 jonathan */
291 1.1 jonathan error = (*sav->tdb_xform->xf_input)(m, sav, skip, protoff);
292 1.51 ozaki KEY_SA_UNREF(&sav);
293 1.1 jonathan splx(s);
294 1.1 jonathan return error;
295 1.1 jonathan }
296 1.1 jonathan
297 1.1 jonathan #ifdef INET
298 1.1 jonathan /*
299 1.1 jonathan * Common input handler for IPv4 AH, ESP, and IPCOMP.
300 1.1 jonathan */
301 1.2 jonathan void
302 1.1 jonathan ipsec4_common_input(struct mbuf *m, ...)
303 1.1 jonathan {
304 1.1 jonathan va_list ap;
305 1.1 jonathan int off, nxt;
306 1.1 jonathan
307 1.1 jonathan va_start(ap, m);
308 1.1 jonathan off = va_arg(ap, int);
309 1.1 jonathan nxt = va_arg(ap, int);
310 1.1 jonathan va_end(ap);
311 1.1 jonathan
312 1.2 jonathan (void) ipsec_common_input(m, off, offsetof(struct ip, ip_p),
313 1.1 jonathan AF_INET, nxt);
314 1.1 jonathan }
315 1.1 jonathan
316 1.1 jonathan /*
317 1.1 jonathan * IPsec input callback for INET protocols.
318 1.1 jonathan * This routine is called as the transform callback.
319 1.1 jonathan * Takes care of filtering and other sanity checks on
320 1.1 jonathan * the processed packet.
321 1.1 jonathan */
322 1.1 jonathan int
323 1.1 jonathan ipsec4_common_input_cb(struct mbuf *m, struct secasvar *sav,
324 1.45 ozaki int skip, int protoff)
325 1.1 jonathan {
326 1.31 mrg int prot, af __diagused, sproto;
327 1.1 jonathan struct ip *ip;
328 1.1 jonathan struct secasindex *saidx;
329 1.1 jonathan int error;
330 1.1 jonathan
331 1.1 jonathan IPSEC_SPLASSERT_SOFTNET("ipsec4_common_input_cb");
332 1.1 jonathan
333 1.40 ozaki KASSERT(m != NULL);
334 1.40 ozaki KASSERT(sav != NULL);
335 1.1 jonathan saidx = &sav->sah->saidx;
336 1.1 jonathan af = saidx->dst.sa.sa_family;
337 1.40 ozaki KASSERTMSG(af == AF_INET, "unexpected af %u", af);
338 1.1 jonathan sproto = saidx->proto;
339 1.40 ozaki KASSERTMSG(sproto == IPPROTO_ESP || sproto == IPPROTO_AH ||
340 1.40 ozaki sproto == IPPROTO_IPCOMP,
341 1.40 ozaki "unexpected security protocol %u", sproto);
342 1.1 jonathan
343 1.1 jonathan /* Sanity check */
344 1.1 jonathan if (m == NULL) {
345 1.43 ozaki IPSECLOG(LOG_DEBUG, "null mbuf");
346 1.20 thorpej IPSEC_ISTAT(sproto, ESP_STAT_BADKCR, AH_STAT_BADKCR,
347 1.20 thorpej IPCOMP_STAT_BADKCR);
348 1.1 jonathan return EINVAL;
349 1.1 jonathan }
350 1.1 jonathan
351 1.29 drochner /* Fix IPv4 header */
352 1.44 christos if (skip != 0) {
353 1.44 christos if (m->m_len < skip && (m = m_pullup(m, skip)) == NULL) {
354 1.44 christos char buf[IPSEC_ADDRSTRLEN];
355 1.44 christos cantpull:
356 1.44 christos IPSECLOG(LOG_DEBUG,
357 1.44 christos "processing failed for SA %s/%08lx\n",
358 1.44 christos ipsec_address(&sav->sah->saidx.dst, buf,
359 1.44 christos sizeof(buf)), (u_long) ntohl(sav->spi));
360 1.44 christos IPSEC_ISTAT(sproto, ESP_STAT_HDROPS, AH_STAT_HDROPS,
361 1.44 christos IPCOMP_STAT_HDROPS);
362 1.44 christos error = ENOBUFS;
363 1.44 christos goto bad;
364 1.44 christos }
365 1.44 christos
366 1.44 christos ip = mtod(m, struct ip *);
367 1.44 christos ip->ip_len = htons(m->m_pkthdr.len);
368 1.44 christos ip->ip_sum = 0;
369 1.44 christos ip->ip_sum = in_cksum(m, ip->ip_hl << 2);
370 1.44 christos } else {
371 1.54 maxv /* XXX this branch is never taken */
372 1.44 christos ip = mtod(m, struct ip *);
373 1.29 drochner }
374 1.1 jonathan
375 1.44 christos /*
376 1.44 christos * Update TCP/UDP checksum
377 1.44 christos * XXX: should only do it in NAT-T case
378 1.44 christos * XXX: should do it incrementally, see FreeBSD code.
379 1.44 christos */
380 1.44 christos m = ipsec4_fixup_checksum(m);
381 1.44 christos if (m == NULL)
382 1.44 christos goto cantpull;
383 1.54 maxv ip = mtod(m, struct ip *);
384 1.44 christos
385 1.1 jonathan prot = ip->ip_p;
386 1.1 jonathan
387 1.57 maxv #ifdef notyet
388 1.1 jonathan /* IP-in-IP encapsulation */
389 1.1 jonathan if (prot == IPPROTO_IPIP) {
390 1.1 jonathan struct ip ipn;
391 1.1 jonathan
392 1.1 jonathan /* ipn will now contain the inner IPv4 header */
393 1.57 maxv /* XXX: check m_pkthdr.len */
394 1.16 degroote m_copydata(m, ip->ip_hl << 2, sizeof(struct ip), &ipn);
395 1.1 jonathan
396 1.1 jonathan /* XXX PROXY address isn't recorded in SAH */
397 1.1 jonathan /*
398 1.1 jonathan * Check that the inner source address is the same as
399 1.1 jonathan * the proxy address, if available.
400 1.1 jonathan */
401 1.1 jonathan if ((saidx->proxy.sa.sa_family == AF_INET &&
402 1.1 jonathan saidx->proxy.sin.sin_addr.s_addr !=
403 1.1 jonathan INADDR_ANY &&
404 1.1 jonathan ipn.ip_src.s_addr !=
405 1.1 jonathan saidx->proxy.sin.sin_addr.s_addr) ||
406 1.1 jonathan (saidx->proxy.sa.sa_family != AF_INET &&
407 1.1 jonathan saidx->proxy.sa.sa_family != 0)) {
408 1.1 jonathan
409 1.42 ryo char ipbuf[INET_ADDRSTRLEN];
410 1.43 ozaki IPSECLOG(LOG_DEBUG,
411 1.43 ozaki "inner source address %s doesn't correspond to "
412 1.1 jonathan "expected proxy source %s, SA %s/%08lx\n",
413 1.42 ryo IN_PRINT(ipbuf, ipn.ip_src),
414 1.1 jonathan ipsp_address(saidx->proxy),
415 1.1 jonathan ipsp_address(saidx->dst),
416 1.43 ozaki (u_long) ntohl(sav->spi));
417 1.1 jonathan
418 1.20 thorpej IPSEC_ISTAT(sproto, ESP_STAT_PDROPS,
419 1.20 thorpej AH_STAT_PDROPS,
420 1.20 thorpej IPCOMP_STAT_PDROPS);
421 1.1 jonathan error = EACCES;
422 1.1 jonathan goto bad;
423 1.1 jonathan }
424 1.1 jonathan }
425 1.1 jonathan #if INET6
426 1.1 jonathan /* IPv6-in-IP encapsulation. */
427 1.1 jonathan if (prot == IPPROTO_IPV6) {
428 1.1 jonathan struct ip6_hdr ip6n;
429 1.1 jonathan
430 1.1 jonathan /* ip6n will now contain the inner IPv6 header. */
431 1.57 maxv /* XXX: check m_pkthdr.len */
432 1.16 degroote m_copydata(m, ip->ip_hl << 2, sizeof(struct ip6_hdr), &ip6n);
433 1.1 jonathan
434 1.1 jonathan /*
435 1.1 jonathan * Check that the inner source address is the same as
436 1.1 jonathan * the proxy address, if available.
437 1.1 jonathan */
438 1.1 jonathan if ((saidx->proxy.sa.sa_family == AF_INET6 &&
439 1.1 jonathan !IN6_IS_ADDR_UNSPECIFIED(&saidx->proxy.sin6.sin6_addr) &&
440 1.1 jonathan !IN6_ARE_ADDR_EQUAL(&ip6n.ip6_src,
441 1.1 jonathan &saidx->proxy.sin6.sin6_addr)) ||
442 1.1 jonathan (saidx->proxy.sa.sa_family != AF_INET6 &&
443 1.1 jonathan saidx->proxy.sa.sa_family != 0)) {
444 1.1 jonathan
445 1.37 ryo char ip6buf[INET6_ADDRSTRLEN];
446 1.42 ryo char pbuf[IPSEC_ADDRSTRLEN], dbuf[IPSEC_ADDRSTRLEN];
447 1.43 ozaki IPSECLOG(LOG_DEBUG,
448 1.43 ozaki "inner source address %s doesn't correspond to "
449 1.1 jonathan "expected proxy source %s, SA %s/%08lx\n",
450 1.37 ryo ip6_sprintf(ip6buf, &ip6n.ip6_src),
451 1.42 ryo ipsec_address(&saidx->proxy, pbuf, sizeof(pbuf)),
452 1.42 ryo ipsec_address(&saidx->dst, dbuf, sizeof(dbuf)),
453 1.43 ozaki (u_long) ntohl(sav->spi));
454 1.1 jonathan
455 1.20 thorpej IPSEC_ISTAT(sproto, ESP_STAT_PDROPS,
456 1.20 thorpej AH_STAT_PDROPS,
457 1.20 thorpej IPCOMP_STAT_PDROPS);
458 1.1 jonathan error = EACCES;
459 1.1 jonathan goto bad;
460 1.1 jonathan }
461 1.1 jonathan }
462 1.1 jonathan #endif /* INET6 */
463 1.57 maxv #endif /* notyet */
464 1.1 jonathan
465 1.1 jonathan key_sa_recordxfer(sav, m); /* record data transfer */
466 1.1 jonathan
467 1.35 riastrad if ((inetsw[ip_protox[prot]].pr_flags & PR_LASTHDR) != 0 &&
468 1.29 drochner ipsec4_in_reject(m, NULL)) {
469 1.29 drochner error = EINVAL;
470 1.29 drochner goto bad;
471 1.1 jonathan }
472 1.35 riastrad (*inetsw[ip_protox[prot]].pr_input)(m, skip, prot);
473 1.1 jonathan return 0;
474 1.1 jonathan bad:
475 1.1 jonathan m_freem(m);
476 1.1 jonathan return error;
477 1.1 jonathan }
478 1.1 jonathan #endif /* INET */
479 1.1 jonathan
480 1.1 jonathan #ifdef INET6
481 1.1 jonathan /* IPv6 AH wrapper. */
482 1.1 jonathan int
483 1.1 jonathan ipsec6_common_input(struct mbuf **mp, int *offp, int proto)
484 1.1 jonathan {
485 1.1 jonathan int l = 0;
486 1.27 drochner int protoff, nxt;
487 1.1 jonathan struct ip6_ext ip6e;
488 1.1 jonathan
489 1.1 jonathan if (*offp < sizeof(struct ip6_hdr)) {
490 1.43 ozaki IPSECLOG(LOG_DEBUG, "bad offset %u\n", *offp);
491 1.25 drochner IPSEC_ISTAT(proto, ESP_STAT_HDROPS, AH_STAT_HDROPS,
492 1.25 drochner IPCOMP_STAT_HDROPS);
493 1.25 drochner m_freem(*mp);
494 1.1 jonathan return IPPROTO_DONE;
495 1.1 jonathan } else if (*offp == sizeof(struct ip6_hdr)) {
496 1.1 jonathan protoff = offsetof(struct ip6_hdr, ip6_nxt);
497 1.1 jonathan } else {
498 1.1 jonathan /* Chase down the header chain... */
499 1.1 jonathan protoff = sizeof(struct ip6_hdr);
500 1.27 drochner nxt = (mtod(*mp, struct ip6_hdr *))->ip6_nxt;
501 1.1 jonathan
502 1.1 jonathan do {
503 1.1 jonathan protoff += l;
504 1.16 degroote m_copydata(*mp, protoff, sizeof(ip6e), &ip6e);
505 1.1 jonathan
506 1.27 drochner if (nxt == IPPROTO_AH)
507 1.1 jonathan l = (ip6e.ip6e_len + 2) << 2;
508 1.55 maxv else if (nxt == IPPROTO_FRAGMENT)
509 1.55 maxv l = sizeof(struct ip6_frag);
510 1.1 jonathan else
511 1.1 jonathan l = (ip6e.ip6e_len + 1) << 3;
512 1.40 ozaki KASSERT(l > 0);
513 1.27 drochner
514 1.27 drochner nxt = ip6e.ip6e_nxt;
515 1.1 jonathan } while (protoff + l < *offp);
516 1.1 jonathan
517 1.1 jonathan /* Malformed packet check */
518 1.1 jonathan if (protoff + l != *offp) {
519 1.43 ozaki IPSECLOG(LOG_DEBUG, "bad packet header chain, "
520 1.43 ozaki "protoff %u, l %u, off %u\n", protoff, l, *offp);
521 1.20 thorpej IPSEC_ISTAT(proto, ESP_STAT_HDROPS,
522 1.20 thorpej AH_STAT_HDROPS,
523 1.20 thorpej IPCOMP_STAT_HDROPS);
524 1.1 jonathan m_freem(*mp);
525 1.1 jonathan *mp = NULL;
526 1.1 jonathan return IPPROTO_DONE;
527 1.1 jonathan }
528 1.1 jonathan protoff += offsetof(struct ip6_ext, ip6e_nxt);
529 1.1 jonathan }
530 1.1 jonathan (void) ipsec_common_input(*mp, *offp, protoff, AF_INET6, proto);
531 1.1 jonathan return IPPROTO_DONE;
532 1.1 jonathan }
533 1.1 jonathan
534 1.9 jonathan extern const struct ip6protosw inet6sw[];
535 1.1 jonathan extern u_char ip6_protox[];
536 1.1 jonathan
537 1.1 jonathan /*
538 1.1 jonathan * IPsec input callback, called by the transform callback. Takes care of
539 1.1 jonathan * filtering and other sanity checks on the processed packet.
540 1.1 jonathan */
541 1.1 jonathan int
542 1.45 ozaki ipsec6_common_input_cb(struct mbuf *m, struct secasvar *sav, int skip,
543 1.45 ozaki int protoff)
544 1.1 jonathan {
545 1.32 ozaki int af __diagused, sproto;
546 1.1 jonathan struct ip6_hdr *ip6;
547 1.1 jonathan struct secasindex *saidx;
548 1.1 jonathan int nxt;
549 1.24 drochner u_int8_t prot, nxt8;
550 1.1 jonathan int error, nest;
551 1.1 jonathan
552 1.40 ozaki KASSERT(m != NULL);
553 1.40 ozaki KASSERT(sav != NULL);
554 1.1 jonathan saidx = &sav->sah->saidx;
555 1.1 jonathan af = saidx->dst.sa.sa_family;
556 1.40 ozaki KASSERTMSG(af == AF_INET6, "unexpected af %u", af);
557 1.1 jonathan sproto = saidx->proto;
558 1.40 ozaki KASSERTMSG(sproto == IPPROTO_ESP || sproto == IPPROTO_AH ||
559 1.40 ozaki sproto == IPPROTO_IPCOMP,
560 1.40 ozaki "unexpected security protocol %u", sproto);
561 1.1 jonathan
562 1.1 jonathan /* Sanity check */
563 1.1 jonathan if (m == NULL) {
564 1.43 ozaki IPSECLOG(LOG_DEBUG, "null mbuf");
565 1.20 thorpej IPSEC_ISTAT(sproto, ESP_STAT_BADKCR, AH_STAT_BADKCR,
566 1.20 thorpej IPCOMP_STAT_BADKCR);
567 1.1 jonathan error = EINVAL;
568 1.1 jonathan goto bad;
569 1.1 jonathan }
570 1.1 jonathan
571 1.1 jonathan /* Fix IPv6 header */
572 1.1 jonathan if (m->m_len < sizeof(struct ip6_hdr) &&
573 1.1 jonathan (m = m_pullup(m, sizeof(struct ip6_hdr))) == NULL) {
574 1.1 jonathan
575 1.42 ryo char buf[IPSEC_ADDRSTRLEN];
576 1.43 ozaki IPSECLOG(LOG_DEBUG, "processing failed for SA %s/%08lx\n",
577 1.43 ozaki ipsec_address(&sav->sah->saidx.dst,
578 1.43 ozaki buf, sizeof(buf)), (u_long) ntohl(sav->spi));
579 1.1 jonathan
580 1.20 thorpej IPSEC_ISTAT(sproto, ESP_STAT_HDROPS, AH_STAT_HDROPS,
581 1.20 thorpej IPCOMP_STAT_HDROPS);
582 1.1 jonathan error = EACCES;
583 1.1 jonathan goto bad;
584 1.1 jonathan }
585 1.1 jonathan
586 1.1 jonathan ip6 = mtod(m, struct ip6_hdr *);
587 1.1 jonathan ip6->ip6_plen = htons(m->m_pkthdr.len - sizeof(struct ip6_hdr));
588 1.1 jonathan
589 1.1 jonathan /* Save protocol */
590 1.24 drochner m_copydata(m, protoff, 1, &prot);
591 1.1 jonathan
592 1.58 maxv #ifdef notyet
593 1.1 jonathan #ifdef INET
594 1.1 jonathan /* IP-in-IP encapsulation */
595 1.1 jonathan if (prot == IPPROTO_IPIP) {
596 1.1 jonathan struct ip ipn;
597 1.1 jonathan
598 1.1 jonathan /* ipn will now contain the inner IPv4 header */
599 1.58 maxv /* XXX: check m_pkthdr.len */
600 1.16 degroote m_copydata(m, skip, sizeof(struct ip), &ipn);
601 1.1 jonathan
602 1.1 jonathan /*
603 1.1 jonathan * Check that the inner source address is the same as
604 1.1 jonathan * the proxy address, if available.
605 1.1 jonathan */
606 1.1 jonathan if ((saidx->proxy.sa.sa_family == AF_INET &&
607 1.1 jonathan saidx->proxy.sin.sin_addr.s_addr != INADDR_ANY &&
608 1.1 jonathan ipn.ip_src.s_addr != saidx->proxy.sin.sin_addr.s_addr) ||
609 1.1 jonathan (saidx->proxy.sa.sa_family != AF_INET &&
610 1.1 jonathan saidx->proxy.sa.sa_family != 0)) {
611 1.1 jonathan
612 1.42 ryo char ipbuf[INET_ADDRSTRLEN];
613 1.42 ryo char pbuf[IPSEC_ADDRSTRLEN], dbuf[IPSEC_ADDRSTRLEN];
614 1.43 ozaki IPSECLOG(LOG_DEBUG,
615 1.43 ozaki "inner source address %s doesn't correspond to "
616 1.1 jonathan "expected proxy source %s, SA %s/%08lx\n",
617 1.42 ryo IN_PRINT(ipbuf, ipn.ip_src),
618 1.42 ryo ipsec_address(&saidx->proxy, pbuf, sizeof(pbuf)),
619 1.42 ryo ipsec_address(&saidx->dst, dbuf, sizeof(dbuf)),
620 1.43 ozaki (u_long) ntohl(sav->spi));
621 1.1 jonathan
622 1.20 thorpej IPSEC_ISTAT(sproto, ESP_STAT_PDROPS,
623 1.20 thorpej AH_STAT_PDROPS, IPCOMP_STAT_PDROPS);
624 1.1 jonathan error = EACCES;
625 1.1 jonathan goto bad;
626 1.1 jonathan }
627 1.1 jonathan }
628 1.1 jonathan #endif /* INET */
629 1.1 jonathan /* IPv6-in-IP encapsulation */
630 1.1 jonathan if (prot == IPPROTO_IPV6) {
631 1.1 jonathan struct ip6_hdr ip6n;
632 1.1 jonathan
633 1.1 jonathan /* ip6n will now contain the inner IPv6 header. */
634 1.58 maxv /* XXX: check m_pkthdr.len */
635 1.16 degroote m_copydata(m, skip, sizeof(struct ip6_hdr), &ip6n);
636 1.1 jonathan
637 1.1 jonathan /*
638 1.1 jonathan * Check that the inner source address is the same as
639 1.1 jonathan * the proxy address, if available.
640 1.1 jonathan */
641 1.1 jonathan if ((saidx->proxy.sa.sa_family == AF_INET6 &&
642 1.1 jonathan !IN6_IS_ADDR_UNSPECIFIED(&saidx->proxy.sin6.sin6_addr) &&
643 1.1 jonathan !IN6_ARE_ADDR_EQUAL(&ip6n.ip6_src,
644 1.1 jonathan &saidx->proxy.sin6.sin6_addr)) ||
645 1.1 jonathan (saidx->proxy.sa.sa_family != AF_INET6 &&
646 1.1 jonathan saidx->proxy.sa.sa_family != 0)) {
647 1.1 jonathan
648 1.37 ryo char ip6buf[INET6_ADDRSTRLEN];
649 1.42 ryo char pbuf[IPSEC_ADDRSTRLEN], dbuf[IPSEC_ADDRSTRLEN];
650 1.43 ozaki IPSECLOG(LOG_DEBUG,
651 1.43 ozaki "inner source address %s doesn't correspond to "
652 1.1 jonathan "expected proxy source %s, SA %s/%08lx\n",
653 1.37 ryo ip6_sprintf(ip6buf, &ip6n.ip6_src),
654 1.42 ryo ipsec_address(&saidx->proxy, pbuf, sizeof(pbuf)),
655 1.42 ryo ipsec_address(&saidx->dst, dbuf, sizeof(dbuf)),
656 1.43 ozaki (u_long) ntohl(sav->spi));
657 1.1 jonathan
658 1.20 thorpej IPSEC_ISTAT(sproto, ESP_STAT_PDROPS,
659 1.20 thorpej AH_STAT_PDROPS, IPCOMP_STAT_PDROPS);
660 1.1 jonathan error = EACCES;
661 1.1 jonathan goto bad;
662 1.1 jonathan }
663 1.1 jonathan }
664 1.58 maxv #endif /* notyet */
665 1.1 jonathan
666 1.1 jonathan key_sa_recordxfer(sav, m);
667 1.1 jonathan
668 1.1 jonathan /* Retrieve new protocol */
669 1.16 degroote m_copydata(m, protoff, sizeof(u_int8_t), &nxt8);
670 1.1 jonathan
671 1.1 jonathan /*
672 1.1 jonathan * See the end of ip6_input for this logic.
673 1.1 jonathan * IPPROTO_IPV[46] case will be processed just like other ones
674 1.1 jonathan */
675 1.1 jonathan nest = 0;
676 1.1 jonathan nxt = nxt8;
677 1.1 jonathan while (nxt != IPPROTO_DONE) {
678 1.1 jonathan if (ip6_hdrnestlimit && (++nest > ip6_hdrnestlimit)) {
679 1.19 thorpej IP6_STATINC(IP6_STAT_TOOMANYHDR);
680 1.1 jonathan error = EINVAL;
681 1.1 jonathan goto bad;
682 1.1 jonathan }
683 1.1 jonathan
684 1.1 jonathan /*
685 1.1 jonathan * Protection against faulty packet - there should be
686 1.1 jonathan * more sanity checks in header chain processing.
687 1.1 jonathan */
688 1.1 jonathan if (m->m_pkthdr.len < skip) {
689 1.19 thorpej IP6_STATINC(IP6_STAT_TOOSHORT);
690 1.36 ozaki in6_ifstat_inc(m_get_rcvif_NOMPSAFE(m),
691 1.36 ozaki ifs6_in_truncated);
692 1.1 jonathan error = EINVAL;
693 1.1 jonathan goto bad;
694 1.1 jonathan }
695 1.1 jonathan /*
696 1.1 jonathan * Enforce IPsec policy checking if we are seeing last header.
697 1.1 jonathan * note that we do not visit this with protocols with pcb layer
698 1.1 jonathan * code - like udp/tcp/raw ip.
699 1.1 jonathan */
700 1.1 jonathan if ((inet6sw[ip6_protox[nxt]].pr_flags & PR_LASTHDR) != 0 &&
701 1.1 jonathan ipsec6_in_reject(m, NULL)) {
702 1.1 jonathan error = EINVAL;
703 1.1 jonathan goto bad;
704 1.1 jonathan }
705 1.1 jonathan nxt = (*inet6sw[ip6_protox[nxt]].pr_input)(&m, &skip, nxt);
706 1.1 jonathan }
707 1.1 jonathan return 0;
708 1.1 jonathan bad:
709 1.1 jonathan if (m)
710 1.1 jonathan m_freem(m);
711 1.1 jonathan return error;
712 1.1 jonathan }
713 1.1 jonathan #endif /* INET6 */
714