Home | History | Annotate | Line # | Download | only in netipsec
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