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