ipsec.c revision 1.151 1 1.151 maxv /* $NetBSD: ipsec.c,v 1.151 2018/03/03 09:54:55 maxv Exp $ */
2 1.129 maxv /* $FreeBSD: src/sys/netipsec/ipsec.c,v 1.2.2.2 2003/07/01 01:38:13 sam Exp $ */
3 1.129 maxv /* $KAME: ipsec.c,v 1.103 2001/05/24 07:14:18 sakane Exp $ */
4 1.1 jonathan
5 1.1 jonathan /*
6 1.1 jonathan * Copyright (C) 1995, 1996, 1997, and 1998 WIDE Project.
7 1.1 jonathan * All rights reserved.
8 1.1 jonathan *
9 1.1 jonathan * Redistribution and use in source and binary forms, with or without
10 1.1 jonathan * modification, are permitted provided that the following conditions
11 1.1 jonathan * are met:
12 1.1 jonathan * 1. Redistributions of source code must retain the above copyright
13 1.26 degroote * notice, this list of conditions and the following disclaimer.
14 1.1 jonathan * 2. Redistributions in binary form must reproduce the above copyright
15 1.26 degroote * notice, this list of conditions and the following disclaimer in the
16 1.26 degroote * documentation and/or other materials provided with the distribution.
17 1.1 jonathan * 3. Neither the name of the project nor the names of its contributors
18 1.26 degroote * may be used to endorse or promote products derived from this software
19 1.26 degroote * without specific prior written permission.
20 1.1 jonathan *
21 1.1 jonathan * THIS SOFTWARE IS PROVIDED BY THE PROJECT AND CONTRIBUTORS ``AS IS'' AND
22 1.1 jonathan * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
23 1.1 jonathan * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
24 1.1 jonathan * ARE DISCLAIMED. IN NO EVENT SHALL THE PROJECT OR CONTRIBUTORS BE LIABLE
25 1.1 jonathan * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
26 1.1 jonathan * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
27 1.1 jonathan * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
28 1.1 jonathan * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
29 1.1 jonathan * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
30 1.1 jonathan * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
31 1.1 jonathan * SUCH DAMAGE.
32 1.1 jonathan */
33 1.1 jonathan
34 1.1 jonathan #include <sys/cdefs.h>
35 1.151 maxv __KERNEL_RCSID(0, "$NetBSD: ipsec.c,v 1.151 2018/03/03 09:54:55 maxv Exp $");
36 1.1 jonathan
37 1.1 jonathan /*
38 1.1 jonathan * IPsec controller part.
39 1.1 jonathan */
40 1.1 jonathan
41 1.71 ozaki #if defined(_KERNEL_OPT)
42 1.1 jonathan #include "opt_inet.h"
43 1.1 jonathan #include "opt_ipsec.h"
44 1.71 ozaki #endif
45 1.1 jonathan
46 1.1 jonathan #include <sys/param.h>
47 1.1 jonathan #include <sys/systm.h>
48 1.1 jonathan #include <sys/mbuf.h>
49 1.1 jonathan #include <sys/domain.h>
50 1.1 jonathan #include <sys/protosw.h>
51 1.1 jonathan #include <sys/socket.h>
52 1.1 jonathan #include <sys/socketvar.h>
53 1.1 jonathan #include <sys/errno.h>
54 1.1 jonathan #include <sys/time.h>
55 1.1 jonathan #include <sys/kernel.h>
56 1.1 jonathan #include <sys/syslog.h>
57 1.1 jonathan #include <sys/sysctl.h>
58 1.1 jonathan #include <sys/proc.h>
59 1.44 elad #include <sys/kauth.h>
60 1.90 ozaki #include <sys/cpu.h>
61 1.90 ozaki #include <sys/kmem.h>
62 1.113 ozaki #include <sys/pserialize.h>
63 1.1 jonathan
64 1.1 jonathan #include <net/if.h>
65 1.1 jonathan #include <net/route.h>
66 1.1 jonathan
67 1.1 jonathan #include <netinet/in.h>
68 1.1 jonathan #include <netinet/in_systm.h>
69 1.1 jonathan #include <netinet/ip.h>
70 1.1 jonathan #include <netinet/ip_var.h>
71 1.1 jonathan #include <netinet/in_var.h>
72 1.1 jonathan #include <netinet/udp.h>
73 1.1 jonathan #include <netinet/udp_var.h>
74 1.1 jonathan #include <netinet/tcp.h>
75 1.1 jonathan #include <netinet/udp.h>
76 1.38 mlelstv #include <netinet/ip_icmp.h>
77 1.60 rmind #include <netinet/ip_private.h>
78 1.1 jonathan
79 1.1 jonathan #include <netinet/ip6.h>
80 1.1 jonathan #ifdef INET6
81 1.1 jonathan #include <netinet6/ip6_var.h>
82 1.1 jonathan #endif
83 1.1 jonathan #include <netinet/in_pcb.h>
84 1.1 jonathan #ifdef INET6
85 1.5 jonathan #include <netinet6/in6_pcb.h>
86 1.1 jonathan #include <netinet/icmp6.h>
87 1.1 jonathan #endif
88 1.1 jonathan
89 1.1 jonathan #include <netipsec/ipsec.h>
90 1.13 jonathan #include <netipsec/ipsec_var.h>
91 1.37 thorpej #include <netipsec/ipsec_private.h>
92 1.1 jonathan #ifdef INET6
93 1.1 jonathan #include <netipsec/ipsec6.h>
94 1.1 jonathan #endif
95 1.1 jonathan #include <netipsec/ah_var.h>
96 1.1 jonathan #include <netipsec/esp_var.h>
97 1.1 jonathan #include <netipsec/ipcomp.h> /*XXX*/
98 1.1 jonathan #include <netipsec/ipcomp_var.h>
99 1.1 jonathan
100 1.4 tls #include <netipsec/key.h>
101 1.4 tls #include <netipsec/keydb.h>
102 1.4 tls #include <netipsec/key_debug.h>
103 1.1 jonathan
104 1.1 jonathan #include <netipsec/xform.h>
105 1.1 jonathan
106 1.63 christos int ipsec_used = 0;
107 1.63 christos int ipsec_enabled = 1;
108 1.63 christos
109 1.1 jonathan #ifdef IPSEC_DEBUG
110 1.1 jonathan int ipsec_debug = 1;
111 1.21 rpaulo
112 1.129 maxv /*
113 1.21 rpaulo * When set to 1, IPsec will send packets with the same sequence number.
114 1.21 rpaulo * This allows to verify if the other side has proper replay attacks detection.
115 1.21 rpaulo */
116 1.21 rpaulo int ipsec_replay = 0;
117 1.21 rpaulo
118 1.129 maxv /*
119 1.21 rpaulo * When set 1, IPsec will send packets with corrupted HMAC.
120 1.21 rpaulo * This allows to verify if the other side properly detects modified packets.
121 1.21 rpaulo */
122 1.21 rpaulo int ipsec_integrity = 0;
123 1.1 jonathan #else
124 1.1 jonathan int ipsec_debug = 0;
125 1.1 jonathan #endif
126 1.1 jonathan
127 1.37 thorpej percpu_t *ipsecstat_percpu;
128 1.129 maxv
129 1.1 jonathan int ip4_ah_offsetmask = 0; /* maybe IP_DF? */
130 1.18 christos int ip4_ipsec_dfbit = 2; /* DF bit on encap. 0: clear 1: set 2: copy */
131 1.1 jonathan int ip4_esp_trans_deflev = IPSEC_LEVEL_USE;
132 1.1 jonathan int ip4_esp_net_deflev = IPSEC_LEVEL_USE;
133 1.1 jonathan int ip4_ah_trans_deflev = IPSEC_LEVEL_USE;
134 1.1 jonathan int ip4_ah_net_deflev = IPSEC_LEVEL_USE;
135 1.1 jonathan struct secpolicy ip4_def_policy;
136 1.1 jonathan int ip4_ipsec_ecn = 0; /* ECN ignore(-1)/forbidden(0)/allowed(1) */
137 1.9 thorpej
138 1.9 thorpej u_int ipsec_spdgen = 1; /* SPD generation # */
139 1.9 thorpej
140 1.119 ozaki static struct secpolicy ipsec_dummy_sp __read_mostly = {
141 1.119 ozaki .state = IPSEC_SPSTATE_ALIVE,
142 1.119 ozaki /* If ENTRUST, the dummy SP never be used. See ipsec_getpolicybysock. */
143 1.119 ozaki .policy = IPSEC_POLICY_ENTRUST,
144 1.119 ozaki };
145 1.119 ozaki
146 1.129 maxv static struct secpolicy *ipsec_checkpcbcache(struct mbuf *,
147 1.129 maxv struct inpcbpolicy *, int);
148 1.129 maxv static int ipsec_fillpcbcache(struct inpcbpolicy *, struct mbuf *,
149 1.129 maxv struct secpolicy *, int);
150 1.129 maxv static int ipsec_invalpcbcache(struct inpcbpolicy *, int);
151 1.9 thorpej
152 1.1 jonathan /*
153 1.1 jonathan * Crypto support requirements:
154 1.1 jonathan *
155 1.1 jonathan * 1 require hardware support
156 1.1 jonathan * -1 require software support
157 1.1 jonathan * 0 take anything
158 1.1 jonathan */
159 1.129 maxv int crypto_support = 0;
160 1.1 jonathan
161 1.5 jonathan static struct secpolicy *ipsec_getpolicybysock(struct mbuf *, u_int,
162 1.75 ozaki struct inpcb_hdr *, int *);
163 1.5 jonathan
164 1.1 jonathan #ifdef INET6
165 1.1 jonathan int ip6_esp_trans_deflev = IPSEC_LEVEL_USE;
166 1.1 jonathan int ip6_esp_net_deflev = IPSEC_LEVEL_USE;
167 1.1 jonathan int ip6_ah_trans_deflev = IPSEC_LEVEL_USE;
168 1.1 jonathan int ip6_ah_net_deflev = IPSEC_LEVEL_USE;
169 1.5 jonathan struct secpolicy ip6_def_policy;
170 1.1 jonathan int ip6_ipsec_ecn = 0; /* ECN ignore(-1)/forbidden(0)/allowed(1) */
171 1.129 maxv #endif
172 1.1 jonathan
173 1.148 maxv static int ipsec_setspidx_inpcb(struct mbuf *, void *);
174 1.129 maxv static int ipsec_setspidx(struct mbuf *, struct secpolicyindex *, int);
175 1.129 maxv static void ipsec4_get_ulp(struct mbuf *m, struct secpolicyindex *, int);
176 1.129 maxv static int ipsec4_setspidx_ipaddr(struct mbuf *, struct secpolicyindex *);
177 1.1 jonathan #ifdef INET6
178 1.129 maxv static void ipsec6_get_ulp(struct mbuf *m, struct secpolicyindex *, int);
179 1.129 maxv static int ipsec6_setspidx_ipaddr(struct mbuf *, struct secpolicyindex *);
180 1.1 jonathan #endif
181 1.129 maxv static void ipsec_delpcbpolicy(struct inpcbpolicy *);
182 1.115 ozaki #if 0 /* unused */
183 1.129 maxv static struct secpolicy *ipsec_deepcopy_policy(const struct secpolicy *);
184 1.115 ozaki #endif
185 1.113 ozaki static void ipsec_destroy_policy(struct secpolicy *);
186 1.132 maxv static int ipsec_sp_reject(const struct secpolicy *, const struct mbuf *);
187 1.129 maxv static void vshiftl(unsigned char *, int, int);
188 1.132 maxv static size_t ipsec_sp_hdrsiz(const struct secpolicy *, const struct mbuf *);
189 1.1 jonathan
190 1.9 thorpej /*
191 1.9 thorpej * Try to validate and use cached policy on a PCB.
192 1.9 thorpej */
193 1.9 thorpej static struct secpolicy *
194 1.9 thorpej ipsec_checkpcbcache(struct mbuf *m, struct inpcbpolicy *pcbsp, int dir)
195 1.9 thorpej {
196 1.9 thorpej struct secpolicyindex spidx;
197 1.113 ozaki struct secpolicy *sp = NULL;
198 1.113 ozaki int s;
199 1.9 thorpej
200 1.81 ozaki KASSERT(IPSEC_DIR_IS_VALID(dir));
201 1.76 ozaki KASSERT(pcbsp != NULL);
202 1.94 ozaki KASSERT(dir < __arraycount(pcbsp->sp_cache));
203 1.84 ozaki KASSERT(inph_locked(pcbsp->sp_inph));
204 1.76 ozaki
205 1.113 ozaki /*
206 1.113 ozaki * Checking the generation and sp->state and taking a reference to an SP
207 1.113 ozaki * must be in a critical section of pserialize. See key_unlink_sp.
208 1.113 ozaki */
209 1.113 ozaki s = pserialize_read_enter();
210 1.9 thorpej /* SPD table change invalidate all the caches. */
211 1.9 thorpej if (ipsec_spdgen != pcbsp->sp_cache[dir].cachegen) {
212 1.9 thorpej ipsec_invalpcbcache(pcbsp, dir);
213 1.113 ozaki goto out;
214 1.9 thorpej }
215 1.113 ozaki sp = pcbsp->sp_cache[dir].cachesp;
216 1.113 ozaki if (sp == NULL)
217 1.113 ozaki goto out;
218 1.113 ozaki if (sp->state != IPSEC_SPSTATE_ALIVE) {
219 1.113 ozaki sp = NULL;
220 1.9 thorpej ipsec_invalpcbcache(pcbsp, dir);
221 1.113 ozaki goto out;
222 1.9 thorpej }
223 1.9 thorpej if ((pcbsp->sp_cacheflags & IPSEC_PCBSP_CONNECTED) == 0) {
224 1.113 ozaki /* NB: assume ipsec_setspidx never sleep */
225 1.113 ozaki if (ipsec_setspidx(m, &spidx, 1) != 0) {
226 1.113 ozaki sp = NULL;
227 1.113 ozaki goto out;
228 1.113 ozaki }
229 1.29 degroote
230 1.29 degroote /*
231 1.29 degroote * We have to make an exact match here since the cached rule
232 1.29 degroote * might have lower priority than a rule that would otherwise
233 1.129 maxv * have matched the packet.
234 1.29 degroote */
235 1.113 ozaki if (memcmp(&pcbsp->sp_cache[dir].cacheidx, &spidx,
236 1.113 ozaki sizeof(spidx))) {
237 1.113 ozaki sp = NULL;
238 1.113 ozaki goto out;
239 1.113 ozaki }
240 1.9 thorpej } else {
241 1.9 thorpej /*
242 1.9 thorpej * The pcb is connected, and the L4 code is sure that:
243 1.9 thorpej * - outgoing side uses inp_[lf]addr
244 1.9 thorpej * - incoming side looks up policy after inpcb lookup
245 1.9 thorpej * and address pair is know to be stable. We do not need
246 1.9 thorpej * to generate spidx again, nor check the address match again.
247 1.9 thorpej *
248 1.9 thorpej * For IPv4/v6 SOCK_STREAM sockets, this assumptions holds
249 1.9 thorpej * and there are calls to ipsec_pcbconn() from in_pcbconnect().
250 1.9 thorpej */
251 1.9 thorpej }
252 1.9 thorpej
253 1.113 ozaki sp->lastused = time_second;
254 1.113 ozaki KEY_SP_REF(sp);
255 1.77 ozaki KEYDEBUG_PRINTF(KEYDEBUG_IPSEC_STAMP,
256 1.77 ozaki "DP cause refcnt++:%d SP:%p\n",
257 1.113 ozaki key_sp_refcnt(sp), pcbsp->sp_cache[dir].cachesp);
258 1.113 ozaki out:
259 1.113 ozaki pserialize_read_exit(s);
260 1.113 ozaki return sp;
261 1.9 thorpej }
262 1.9 thorpej
263 1.9 thorpej static int
264 1.9 thorpej ipsec_fillpcbcache(struct inpcbpolicy *pcbsp, struct mbuf *m,
265 1.129 maxv struct secpolicy *sp, int dir)
266 1.9 thorpej {
267 1.9 thorpej
268 1.81 ozaki KASSERT(IPSEC_DIR_IS_INOROUT(dir));
269 1.94 ozaki KASSERT(dir < __arraycount(pcbsp->sp_cache));
270 1.84 ozaki KASSERT(inph_locked(pcbsp->sp_inph));
271 1.9 thorpej
272 1.9 thorpej pcbsp->sp_cache[dir].cachesp = NULL;
273 1.98 ozaki pcbsp->sp_cache[dir].cachehint = IPSEC_PCBHINT_UNKNOWN;
274 1.9 thorpej if (ipsec_setspidx(m, &pcbsp->sp_cache[dir].cacheidx, 1) != 0) {
275 1.9 thorpej return EINVAL;
276 1.9 thorpej }
277 1.9 thorpej pcbsp->sp_cache[dir].cachesp = sp;
278 1.9 thorpej if (pcbsp->sp_cache[dir].cachesp) {
279 1.9 thorpej /*
280 1.9 thorpej * If the PCB is connected, we can remember a hint to
281 1.9 thorpej * possibly short-circuit IPsec processing in other places.
282 1.9 thorpej */
283 1.9 thorpej if (pcbsp->sp_cacheflags & IPSEC_PCBSP_CONNECTED) {
284 1.9 thorpej switch (pcbsp->sp_cache[dir].cachesp->policy) {
285 1.9 thorpej case IPSEC_POLICY_NONE:
286 1.9 thorpej case IPSEC_POLICY_BYPASS:
287 1.9 thorpej pcbsp->sp_cache[dir].cachehint =
288 1.100 ozaki IPSEC_PCBHINT_NO;
289 1.9 thorpej break;
290 1.9 thorpej default:
291 1.9 thorpej pcbsp->sp_cache[dir].cachehint =
292 1.100 ozaki IPSEC_PCBHINT_YES;
293 1.9 thorpej }
294 1.9 thorpej }
295 1.9 thorpej }
296 1.9 thorpej pcbsp->sp_cache[dir].cachegen = ipsec_spdgen;
297 1.9 thorpej
298 1.9 thorpej return 0;
299 1.9 thorpej }
300 1.9 thorpej
301 1.9 thorpej static int
302 1.9 thorpej ipsec_invalpcbcache(struct inpcbpolicy *pcbsp, int dir)
303 1.9 thorpej {
304 1.9 thorpej int i;
305 1.9 thorpej
306 1.84 ozaki KASSERT(inph_locked(pcbsp->sp_inph));
307 1.84 ozaki
308 1.9 thorpej for (i = IPSEC_DIR_INBOUND; i <= IPSEC_DIR_OUTBOUND; i++) {
309 1.9 thorpej if (dir != IPSEC_DIR_ANY && i != dir)
310 1.9 thorpej continue;
311 1.9 thorpej pcbsp->sp_cache[i].cachesp = NULL;
312 1.98 ozaki pcbsp->sp_cache[i].cachehint = IPSEC_PCBHINT_UNKNOWN;
313 1.9 thorpej pcbsp->sp_cache[i].cachegen = 0;
314 1.41 cegger memset(&pcbsp->sp_cache[i].cacheidx, 0,
315 1.100 ozaki sizeof(pcbsp->sp_cache[i].cacheidx));
316 1.9 thorpej }
317 1.9 thorpej return 0;
318 1.9 thorpej }
319 1.9 thorpej
320 1.9 thorpej void
321 1.9 thorpej ipsec_pcbconn(struct inpcbpolicy *pcbsp)
322 1.9 thorpej {
323 1.9 thorpej
324 1.84 ozaki KASSERT(inph_locked(pcbsp->sp_inph));
325 1.84 ozaki
326 1.9 thorpej pcbsp->sp_cacheflags |= IPSEC_PCBSP_CONNECTED;
327 1.9 thorpej ipsec_invalpcbcache(pcbsp, IPSEC_DIR_ANY);
328 1.9 thorpej }
329 1.9 thorpej
330 1.9 thorpej void
331 1.9 thorpej ipsec_pcbdisconn(struct inpcbpolicy *pcbsp)
332 1.9 thorpej {
333 1.9 thorpej
334 1.84 ozaki KASSERT(inph_locked(pcbsp->sp_inph));
335 1.84 ozaki
336 1.9 thorpej pcbsp->sp_cacheflags &= ~IPSEC_PCBSP_CONNECTED;
337 1.9 thorpej ipsec_invalpcbcache(pcbsp, IPSEC_DIR_ANY);
338 1.9 thorpej }
339 1.9 thorpej
340 1.9 thorpej void
341 1.9 thorpej ipsec_invalpcbcacheall(void)
342 1.9 thorpej {
343 1.9 thorpej
344 1.9 thorpej if (ipsec_spdgen == UINT_MAX)
345 1.9 thorpej ipsec_spdgen = 1;
346 1.9 thorpej else
347 1.9 thorpej ipsec_spdgen++;
348 1.9 thorpej }
349 1.9 thorpej
350 1.1 jonathan /*
351 1.1 jonathan * Return a held reference to the default SP.
352 1.1 jonathan */
353 1.1 jonathan static struct secpolicy *
354 1.101 ozaki key_get_default_sp(int af, const char *where, int tag)
355 1.1 jonathan {
356 1.1 jonathan struct secpolicy *sp;
357 1.1 jonathan
358 1.77 ozaki KEYDEBUG_PRINTF(KEYDEBUG_IPSEC_STAMP, "DP from %s:%u\n", where, tag);
359 1.1 jonathan
360 1.78 ozaki switch(af) {
361 1.78 ozaki case AF_INET:
362 1.78 ozaki sp = &ip4_def_policy;
363 1.78 ozaki break;
364 1.31 degroote #ifdef INET6
365 1.78 ozaki case AF_INET6:
366 1.78 ozaki sp = &ip6_def_policy;
367 1.78 ozaki break;
368 1.31 degroote #endif
369 1.78 ozaki default:
370 1.77 ozaki KEYDEBUG_PRINTF(KEYDEBUG_IPSEC_STAMP,
371 1.77 ozaki "unexpected protocol family %u\n", af);
372 1.78 ozaki return NULL;
373 1.78 ozaki }
374 1.31 degroote
375 1.1 jonathan if (sp->policy != IPSEC_POLICY_DISCARD &&
376 1.132 maxv sp->policy != IPSEC_POLICY_NONE) {
377 1.92 ozaki IPSECLOG(LOG_INFO, "fixed system default policy: %d->%d\n",
378 1.92 ozaki sp->policy, IPSEC_POLICY_NONE);
379 1.1 jonathan sp->policy = IPSEC_POLICY_NONE;
380 1.1 jonathan }
381 1.95 ozaki KEY_SP_REF(sp);
382 1.1 jonathan
383 1.77 ozaki KEYDEBUG_PRINTF(KEYDEBUG_IPSEC_STAMP, "DP returns SP:%p (%u)\n",
384 1.111 ozaki sp, key_sp_refcnt(sp));
385 1.1 jonathan return sp;
386 1.1 jonathan }
387 1.129 maxv
388 1.101 ozaki #define KEY_GET_DEFAULT_SP(af) \
389 1.101 ozaki key_get_default_sp((af), __func__, __LINE__)
390 1.1 jonathan
391 1.1 jonathan /*
392 1.1 jonathan * For OUTBOUND packet having a socket. Searching SPD for packet,
393 1.1 jonathan * and return a pointer to SP.
394 1.1 jonathan * OUT: NULL: no apropreate SP found, the following value is set to error.
395 1.1 jonathan * 0 : bypass
396 1.1 jonathan * EACCES : discard packet.
397 1.1 jonathan * ENOENT : ipsec_acquire() in progress, maybe.
398 1.7 wiz * others : error occurred.
399 1.1 jonathan * others: a pointer to SP
400 1.1 jonathan *
401 1.20 wiz * NOTE: IPv6 mapped address concern is implemented here.
402 1.1 jonathan */
403 1.5 jonathan static struct secpolicy *
404 1.83 ozaki ipsec_getpolicybysock(struct mbuf *m, u_int dir, struct inpcb_hdr *inph,
405 1.75 ozaki int *error)
406 1.1 jonathan {
407 1.1 jonathan struct inpcbpolicy *pcbsp = NULL;
408 1.1 jonathan struct secpolicy *currsp = NULL; /* policy on socket */
409 1.1 jonathan struct secpolicy *sp;
410 1.1 jonathan int af;
411 1.1 jonathan
412 1.73 ozaki KASSERT(m != NULL);
413 1.83 ozaki KASSERT(inph != NULL);
414 1.73 ozaki KASSERT(error != NULL);
415 1.81 ozaki KASSERTMSG(IPSEC_DIR_IS_INOROUT(dir), "invalid direction %u", dir);
416 1.1 jonathan
417 1.83 ozaki KASSERT(inph->inph_socket != NULL);
418 1.84 ozaki KASSERT(inph_locked(inph));
419 1.5 jonathan
420 1.150 maxv /* XXX FIXME inpcb/in6pcb vs socket*/
421 1.83 ozaki af = inph->inph_af;
422 1.73 ozaki KASSERTMSG(af == AF_INET || af == AF_INET6,
423 1.73 ozaki "unexpected protocol family %u", af);
424 1.1 jonathan
425 1.83 ozaki KASSERT(inph->inph_sp != NULL);
426 1.9 thorpej /* If we have a cached entry, and if it is still valid, use it. */
427 1.37 thorpej IPSEC_STATINC(IPSEC_STAT_SPDCACHELOOKUP);
428 1.83 ozaki currsp = ipsec_checkpcbcache(m, inph->inph_sp, dir);
429 1.9 thorpej if (currsp) {
430 1.9 thorpej *error = 0;
431 1.9 thorpej return currsp;
432 1.9 thorpej }
433 1.37 thorpej IPSEC_STATINC(IPSEC_STAT_SPDCACHEMISS);
434 1.9 thorpej
435 1.1 jonathan switch (af) {
436 1.150 maxv case AF_INET:
437 1.5 jonathan #if defined(INET6)
438 1.150 maxv case AF_INET6:
439 1.150 maxv #endif
440 1.150 maxv *error = ipsec_setspidx_inpcb(m, inph);
441 1.150 maxv pcbsp = inph->inph_sp;
442 1.1 jonathan break;
443 1.1 jonathan default:
444 1.1 jonathan *error = EPFNOSUPPORT;
445 1.1 jonathan break;
446 1.1 jonathan }
447 1.1 jonathan if (*error)
448 1.1 jonathan return NULL;
449 1.1 jonathan
450 1.73 ozaki KASSERT(pcbsp != NULL);
451 1.1 jonathan switch (dir) {
452 1.1 jonathan case IPSEC_DIR_INBOUND:
453 1.1 jonathan currsp = pcbsp->sp_in;
454 1.1 jonathan break;
455 1.1 jonathan case IPSEC_DIR_OUTBOUND:
456 1.1 jonathan currsp = pcbsp->sp_out;
457 1.1 jonathan break;
458 1.1 jonathan }
459 1.73 ozaki KASSERT(currsp != NULL);
460 1.1 jonathan
461 1.151 maxv if (pcbsp->priv) { /* when privileged socket */
462 1.1 jonathan switch (currsp->policy) {
463 1.1 jonathan case IPSEC_POLICY_BYPASS:
464 1.1 jonathan case IPSEC_POLICY_IPSEC:
465 1.95 ozaki KEY_SP_REF(currsp);
466 1.1 jonathan sp = currsp;
467 1.1 jonathan break;
468 1.1 jonathan
469 1.1 jonathan case IPSEC_POLICY_ENTRUST:
470 1.1 jonathan /* look for a policy in SPD */
471 1.101 ozaki sp = KEY_LOOKUP_SP_BYSPIDX(&currsp->spidx, dir);
472 1.1 jonathan if (sp == NULL) /* no SP found */
473 1.101 ozaki sp = KEY_GET_DEFAULT_SP(af);
474 1.1 jonathan break;
475 1.1 jonathan
476 1.1 jonathan default:
477 1.92 ozaki IPSECLOG(LOG_ERR, "Invalid policy for PCB %d\n",
478 1.92 ozaki currsp->policy);
479 1.1 jonathan *error = EINVAL;
480 1.1 jonathan return NULL;
481 1.1 jonathan }
482 1.1 jonathan } else { /* unpriv, SPD has policy */
483 1.101 ozaki sp = KEY_LOOKUP_SP_BYSPIDX(&currsp->spidx, dir);
484 1.1 jonathan if (sp == NULL) { /* no SP found */
485 1.1 jonathan switch (currsp->policy) {
486 1.1 jonathan case IPSEC_POLICY_BYPASS:
487 1.92 ozaki IPSECLOG(LOG_ERR, "Illegal policy for "
488 1.92 ozaki "non-priviliged defined %d\n",
489 1.92 ozaki currsp->policy);
490 1.1 jonathan *error = EINVAL;
491 1.1 jonathan return NULL;
492 1.1 jonathan
493 1.1 jonathan case IPSEC_POLICY_ENTRUST:
494 1.101 ozaki sp = KEY_GET_DEFAULT_SP(af);
495 1.1 jonathan break;
496 1.1 jonathan
497 1.1 jonathan case IPSEC_POLICY_IPSEC:
498 1.95 ozaki KEY_SP_REF(currsp);
499 1.1 jonathan sp = currsp;
500 1.1 jonathan break;
501 1.1 jonathan
502 1.1 jonathan default:
503 1.92 ozaki IPSECLOG(LOG_ERR, "Invalid policy for "
504 1.92 ozaki "PCB %d\n", currsp->policy);
505 1.1 jonathan *error = EINVAL;
506 1.1 jonathan return NULL;
507 1.1 jonathan }
508 1.1 jonathan }
509 1.1 jonathan }
510 1.73 ozaki KASSERTMSG(sp != NULL, "null SP (priv %u policy %u", pcbsp->priv,
511 1.73 ozaki currsp->policy);
512 1.77 ozaki KEYDEBUG_PRINTF(KEYDEBUG_IPSEC_STAMP,
513 1.77 ozaki "DP (priv %u policy %u) allocates SP:%p (refcnt %u)\n",
514 1.111 ozaki pcbsp->priv, currsp->policy, sp, key_sp_refcnt(sp));
515 1.9 thorpej ipsec_fillpcbcache(pcbsp, m, sp, dir);
516 1.1 jonathan return sp;
517 1.1 jonathan }
518 1.1 jonathan
519 1.1 jonathan /*
520 1.132 maxv * For FORWARDING packet or OUTBOUND without a socket. Searching SPD for packet,
521 1.1 jonathan * and return a pointer to SP.
522 1.1 jonathan * OUT: positive: a pointer to the entry for security policy leaf matched.
523 1.1 jonathan * NULL: no apropreate SP found, the following value is set to error.
524 1.1 jonathan * 0 : bypass
525 1.1 jonathan * EACCES : discard packet.
526 1.1 jonathan * ENOENT : ipsec_acquire() in progress, maybe.
527 1.7 wiz * others : error occurred.
528 1.1 jonathan */
529 1.131 maxv static struct secpolicy *
530 1.33 degroote ipsec_getpolicybyaddr(struct mbuf *m, u_int dir, int flag, int *error)
531 1.1 jonathan {
532 1.1 jonathan struct secpolicyindex spidx;
533 1.1 jonathan struct secpolicy *sp;
534 1.1 jonathan
535 1.73 ozaki KASSERT(m != NULL);
536 1.73 ozaki KASSERT(error != NULL);
537 1.81 ozaki KASSERTMSG(IPSEC_DIR_IS_INOROUT(dir), "invalid direction %u", dir);
538 1.1 jonathan
539 1.1 jonathan sp = NULL;
540 1.32 degroote
541 1.32 degroote /* Make an index to look for a policy. */
542 1.32 degroote *error = ipsec_setspidx(m, &spidx, (flag & IP_FORWARDING) ? 0 : 1);
543 1.32 degroote if (*error != 0) {
544 1.92 ozaki IPSECLOG(LOG_DEBUG, "setpidx failed, dir %u flag %u\n", dir, flag);
545 1.129 maxv memset(&spidx, 0, sizeof(spidx));
546 1.32 degroote return NULL;
547 1.32 degroote }
548 1.32 degroote
549 1.32 degroote spidx.dir = dir;
550 1.32 degroote
551 1.1 jonathan if (key_havesp(dir)) {
552 1.101 ozaki sp = KEY_LOOKUP_SP_BYSPIDX(&spidx, dir);
553 1.1 jonathan }
554 1.32 degroote
555 1.1 jonathan if (sp == NULL) /* no SP found, use system default */
556 1.101 ozaki sp = KEY_GET_DEFAULT_SP(spidx.dst.sa.sa_family);
557 1.73 ozaki KASSERT(sp != NULL);
558 1.1 jonathan return sp;
559 1.1 jonathan }
560 1.1 jonathan
561 1.131 maxv static struct secpolicy *
562 1.137 maxv ipsec_checkpolicy(struct mbuf *m, u_int dir, u_int flag, int *error,
563 1.137 maxv void *inp)
564 1.1 jonathan {
565 1.1 jonathan struct secpolicy *sp;
566 1.1 jonathan
567 1.1 jonathan *error = 0;
568 1.5 jonathan
569 1.82 ozaki if (inp == NULL) {
570 1.1 jonathan sp = ipsec_getpolicybyaddr(m, dir, flag, error);
571 1.82 ozaki } else {
572 1.133 maxv struct inpcb_hdr *inph = (struct inpcb_hdr *)inp;
573 1.133 maxv KASSERT(inph->inph_socket != NULL);
574 1.133 maxv sp = ipsec_getpolicybysock(m, dir, inph, error);
575 1.82 ozaki }
576 1.1 jonathan if (sp == NULL) {
577 1.73 ozaki KASSERTMSG(*error != 0, "getpolicy failed w/o error");
578 1.37 thorpej IPSEC_STATINC(IPSEC_STAT_OUT_INVAL);
579 1.1 jonathan return NULL;
580 1.1 jonathan }
581 1.73 ozaki KASSERTMSG(*error == 0, "sp w/ error set to %u", *error);
582 1.135 maxv
583 1.1 jonathan switch (sp->policy) {
584 1.1 jonathan case IPSEC_POLICY_ENTRUST:
585 1.1 jonathan default:
586 1.62 christos printf("%s: invalid policy %u\n", __func__, sp->policy);
587 1.1 jonathan /* fall thru... */
588 1.1 jonathan case IPSEC_POLICY_DISCARD:
589 1.37 thorpej IPSEC_STATINC(IPSEC_STAT_OUT_POLVIO);
590 1.1 jonathan *error = -EINVAL; /* packet is discarded by caller */
591 1.1 jonathan break;
592 1.1 jonathan case IPSEC_POLICY_BYPASS:
593 1.1 jonathan case IPSEC_POLICY_NONE:
594 1.113 ozaki KEY_SP_UNREF(&sp);
595 1.1 jonathan sp = NULL; /* NB: force NULL result */
596 1.1 jonathan break;
597 1.1 jonathan case IPSEC_POLICY_IPSEC:
598 1.93 ozaki KASSERT(sp->req != NULL);
599 1.1 jonathan break;
600 1.1 jonathan }
601 1.135 maxv
602 1.1 jonathan if (*error != 0) {
603 1.113 ozaki KEY_SP_UNREF(&sp);
604 1.1 jonathan sp = NULL;
605 1.92 ozaki IPSECLOG(LOG_DEBUG, "done, error %d\n", *error);
606 1.1 jonathan }
607 1.135 maxv
608 1.1 jonathan return sp;
609 1.1 jonathan }
610 1.1 jonathan
611 1.59 rmind int
612 1.70 ozaki ipsec4_output(struct mbuf *m, struct inpcb *inp, int flags,
613 1.87 ozaki u_long *mtu, bool *natt_frag, bool *done)
614 1.59 rmind {
615 1.59 rmind struct secpolicy *sp = NULL;
616 1.151 maxv u_long _mtu = 0;
617 1.59 rmind int error, s;
618 1.59 rmind
619 1.59 rmind /*
620 1.59 rmind * Check the security policy (SP) for the packet and, if required,
621 1.59 rmind * do IPsec-related processing. There are two cases here; the first
622 1.59 rmind * time a packet is sent through it will be untagged and handled by
623 1.137 maxv * ipsec_checkpolicy(). If the packet is resubmitted to ip_output
624 1.59 rmind * (e.g. after AH, ESP, etc. processing), there will be a tag to
625 1.59 rmind * bypass the lookup and related policy checking.
626 1.59 rmind */
627 1.59 rmind if (ipsec_outdone(m)) {
628 1.59 rmind return 0;
629 1.59 rmind }
630 1.59 rmind s = splsoftnet();
631 1.99 ozaki if (inp && ipsec_pcb_skip_ipsec(inp->inp_sp, IPSEC_DIR_OUTBOUND)) {
632 1.59 rmind splx(s);
633 1.59 rmind return 0;
634 1.59 rmind }
635 1.137 maxv sp = ipsec_checkpolicy(m, IPSEC_DIR_OUTBOUND, flags, &error, inp);
636 1.59 rmind
637 1.59 rmind /*
638 1.59 rmind * There are four return cases:
639 1.151 maxv * sp != NULL apply IPsec policy
640 1.151 maxv * sp == NULL, error == 0 no IPsec handling needed
641 1.151 maxv * sp == NULL, error == -EINVAL discard packet w/o error
642 1.151 maxv * sp == NULL, error != 0 discard packet, report error
643 1.59 rmind */
644 1.59 rmind if (sp == NULL) {
645 1.59 rmind splx(s);
646 1.59 rmind if (error) {
647 1.59 rmind /*
648 1.59 rmind * Hack: -EINVAL is used to signal that a packet
649 1.59 rmind * should be silently discarded. This is typically
650 1.59 rmind * because we asked key management for an SA and
651 1.59 rmind * it was delayed (e.g. kicked up to IKE).
652 1.59 rmind */
653 1.59 rmind if (error == -EINVAL)
654 1.59 rmind error = 0;
655 1.59 rmind m_freem(m);
656 1.59 rmind *done = true;
657 1.59 rmind return error;
658 1.59 rmind }
659 1.59 rmind /* No IPsec processing for this packet. */
660 1.59 rmind return 0;
661 1.59 rmind }
662 1.59 rmind
663 1.59 rmind /*
664 1.59 rmind * Do delayed checksums now because we send before
665 1.59 rmind * this is done in the normal processing path.
666 1.59 rmind */
667 1.59 rmind if (m->m_pkthdr.csum_flags & (M_CSUM_TCPv4|M_CSUM_UDPv4)) {
668 1.59 rmind in_delayed_cksum(m);
669 1.59 rmind m->m_pkthdr.csum_flags &= ~(M_CSUM_TCPv4|M_CSUM_UDPv4);
670 1.59 rmind }
671 1.59 rmind
672 1.108 ozaki error = ipsec4_process_packet(m, sp->req, &_mtu);
673 1.108 ozaki if (error == 0 && _mtu != 0) {
674 1.108 ozaki /*
675 1.108 ozaki * NAT-T ESP fragmentation: do not do IPSec processing
676 1.108 ozaki * now, we will do it on each fragmented packet.
677 1.108 ozaki */
678 1.108 ozaki *mtu = _mtu;
679 1.108 ozaki *natt_frag = true;
680 1.113 ozaki KEY_SP_UNREF(&sp);
681 1.108 ozaki splx(s);
682 1.108 ozaki return 0;
683 1.112 ozaki }
684 1.135 maxv
685 1.59 rmind /*
686 1.59 rmind * Preserve KAME behaviour: ENOENT can be returned
687 1.59 rmind * when an SA acquire is in progress. Don't propagate
688 1.59 rmind * this to user-level; it confuses applications.
689 1.59 rmind *
690 1.59 rmind * XXX this will go away when the SADB is redone.
691 1.59 rmind */
692 1.59 rmind if (error == ENOENT)
693 1.59 rmind error = 0;
694 1.113 ozaki KEY_SP_UNREF(&sp);
695 1.59 rmind splx(s);
696 1.59 rmind *done = true;
697 1.59 rmind return error;
698 1.59 rmind }
699 1.59 rmind
700 1.60 rmind int
701 1.60 rmind ipsec4_input(struct mbuf *m, int flags)
702 1.60 rmind {
703 1.60 rmind struct secpolicy *sp;
704 1.60 rmind int error, s;
705 1.60 rmind
706 1.60 rmind s = splsoftnet();
707 1.141 maxv error = ipsec_in_reject(m, NULL);
708 1.60 rmind splx(s);
709 1.60 rmind if (error) {
710 1.141 maxv return EINVAL;
711 1.60 rmind }
712 1.60 rmind
713 1.60 rmind if (flags == 0) {
714 1.60 rmind /* We are done. */
715 1.60 rmind return 0;
716 1.60 rmind }
717 1.60 rmind
718 1.104 ozaki /*
719 1.104 ozaki * Peek at the outbound SP for this packet to determine if
720 1.104 ozaki * it is a Fast Forward candidate.
721 1.104 ozaki */
722 1.60 rmind s = splsoftnet();
723 1.137 maxv sp = ipsec_checkpolicy(m, IPSEC_DIR_OUTBOUND, flags, &error, NULL);
724 1.60 rmind if (sp != NULL) {
725 1.60 rmind m->m_flags &= ~M_CANFASTFWD;
726 1.113 ozaki KEY_SP_UNREF(&sp);
727 1.60 rmind }
728 1.60 rmind splx(s);
729 1.60 rmind return 0;
730 1.60 rmind }
731 1.60 rmind
732 1.60 rmind int
733 1.60 rmind ipsec4_forward(struct mbuf *m, int *destmtu)
734 1.60 rmind {
735 1.60 rmind /*
736 1.60 rmind * If the packet is routed over IPsec tunnel, tell the
737 1.60 rmind * originator the tunnel MTU.
738 1.60 rmind * tunnel MTU = if MTU - sizeof(IP) - ESP/AH hdrsiz
739 1.60 rmind * XXX quickhack!!!
740 1.60 rmind */
741 1.60 rmind struct secpolicy *sp;
742 1.60 rmind size_t ipsechdr;
743 1.60 rmind int error;
744 1.60 rmind
745 1.135 maxv sp = ipsec_getpolicybyaddr(m, IPSEC_DIR_OUTBOUND, IP_FORWARDING,
746 1.135 maxv &error);
747 1.60 rmind if (sp == NULL) {
748 1.60 rmind return EINVAL;
749 1.60 rmind }
750 1.60 rmind
751 1.60 rmind /* Count IPsec header size. */
752 1.142 maxv ipsechdr = ipsec_sp_hdrsiz(sp, m);
753 1.60 rmind
754 1.60 rmind /*
755 1.60 rmind * Find the correct route for outer IPv4 header, compute tunnel MTU.
756 1.60 rmind */
757 1.106 ozaki if (sp->req) {
758 1.121 ozaki struct secasvar *sav;
759 1.60 rmind
760 1.121 ozaki sav = ipsec_lookup_sa(sp->req, m);
761 1.121 ozaki if (sav != NULL) {
762 1.121 ozaki struct route *ro;
763 1.121 ozaki struct rtentry *rt;
764 1.121 ozaki
765 1.121 ozaki ro = &sav->sah->sa_route;
766 1.121 ozaki rt = rtcache_validate(ro);
767 1.121 ozaki if (rt && rt->rt_ifp) {
768 1.121 ozaki *destmtu = rt->rt_rmx.rmx_mtu ?
769 1.121 ozaki rt->rt_rmx.rmx_mtu : rt->rt_ifp->if_mtu;
770 1.121 ozaki *destmtu -= ipsechdr;
771 1.121 ozaki }
772 1.121 ozaki rtcache_unref(rt, ro);
773 1.121 ozaki KEY_SA_UNREF(&sav);
774 1.60 rmind }
775 1.60 rmind }
776 1.113 ozaki KEY_SP_UNREF(&sp);
777 1.60 rmind return 0;
778 1.60 rmind }
779 1.60 rmind
780 1.1 jonathan static int
781 1.148 maxv ipsec_setspidx_inpcb(struct mbuf *m, void *pcb)
782 1.1 jonathan {
783 1.148 maxv struct inpcb_hdr *inph = (struct inpcb_hdr *)pcb;
784 1.1 jonathan int error;
785 1.1 jonathan
786 1.148 maxv KASSERT(inph != NULL);
787 1.148 maxv KASSERT(inph->inph_sp != NULL);
788 1.148 maxv KASSERT(inph->inph_sp->sp_out != NULL);
789 1.148 maxv KASSERT(inph->inph_sp->sp_in != NULL);
790 1.1 jonathan
791 1.148 maxv error = ipsec_setspidx(m, &inph->inph_sp->sp_in->spidx, 1);
792 1.1 jonathan if (error == 0) {
793 1.148 maxv inph->inph_sp->sp_in->spidx.dir = IPSEC_DIR_INBOUND;
794 1.148 maxv inph->inph_sp->sp_out->spidx = inph->inph_sp->sp_in->spidx;
795 1.148 maxv inph->inph_sp->sp_out->spidx.dir = IPSEC_DIR_OUTBOUND;
796 1.1 jonathan } else {
797 1.148 maxv memset(&inph->inph_sp->sp_in->spidx, 0,
798 1.148 maxv sizeof(inph->inph_sp->sp_in->spidx));
799 1.148 maxv memset(&inph->inph_sp->sp_out->spidx, 0,
800 1.148 maxv sizeof(inph->inph_sp->sp_out->spidx));
801 1.1 jonathan }
802 1.1 jonathan return error;
803 1.1 jonathan }
804 1.1 jonathan
805 1.1 jonathan /*
806 1.1 jonathan * configure security policy index (src/dst/proto/sport/dport)
807 1.1 jonathan * by looking at the content of mbuf.
808 1.1 jonathan * the caller is responsible for error recovery (like clearing up spidx).
809 1.1 jonathan */
810 1.1 jonathan static int
811 1.33 degroote ipsec_setspidx(struct mbuf *m, struct secpolicyindex *spidx, int needport)
812 1.1 jonathan {
813 1.1 jonathan struct ip *ip = NULL;
814 1.1 jonathan struct ip ipbuf;
815 1.1 jonathan u_int v;
816 1.1 jonathan struct mbuf *n;
817 1.1 jonathan int len;
818 1.1 jonathan int error;
819 1.1 jonathan
820 1.73 ozaki KASSERT(m != NULL);
821 1.1 jonathan
822 1.1 jonathan /*
823 1.1 jonathan * validate m->m_pkthdr.len. we see incorrect length if we
824 1.1 jonathan * mistakenly call this function with inconsistent mbuf chain
825 1.1 jonathan * (like 4.4BSD tcp/udp processing). XXX should we panic here?
826 1.1 jonathan */
827 1.1 jonathan len = 0;
828 1.1 jonathan for (n = m; n; n = n->m_next)
829 1.1 jonathan len += n->m_len;
830 1.1 jonathan if (m->m_pkthdr.len != len) {
831 1.77 ozaki KEYDEBUG_PRINTF(KEYDEBUG_IPSEC_DUMP,
832 1.77 ozaki "total of m_len(%d) != pkthdr.len(%d), ignored.\n",
833 1.77 ozaki len, m->m_pkthdr.len);
834 1.135 maxv KASSERTMSG(0, "impossible");
835 1.1 jonathan return EINVAL;
836 1.1 jonathan }
837 1.1 jonathan
838 1.1 jonathan if (m->m_pkthdr.len < sizeof(struct ip)) {
839 1.77 ozaki KEYDEBUG_PRINTF(KEYDEBUG_IPSEC_DUMP,
840 1.77 ozaki "pkthdr.len(%d) < sizeof(struct ip), ignored.\n",
841 1.77 ozaki m->m_pkthdr.len);
842 1.1 jonathan return EINVAL;
843 1.1 jonathan }
844 1.1 jonathan
845 1.129 maxv if (m->m_len >= sizeof(*ip)) {
846 1.1 jonathan ip = mtod(m, struct ip *);
847 1.129 maxv } else {
848 1.28 degroote m_copydata(m, 0, sizeof(ipbuf), &ipbuf);
849 1.1 jonathan ip = &ipbuf;
850 1.1 jonathan }
851 1.1 jonathan v = ip->ip_v;
852 1.1 jonathan switch (v) {
853 1.1 jonathan case 4:
854 1.1 jonathan error = ipsec4_setspidx_ipaddr(m, spidx);
855 1.1 jonathan if (error)
856 1.1 jonathan return error;
857 1.1 jonathan ipsec4_get_ulp(m, spidx, needport);
858 1.1 jonathan return 0;
859 1.1 jonathan #ifdef INET6
860 1.1 jonathan case 6:
861 1.1 jonathan if (m->m_pkthdr.len < sizeof(struct ip6_hdr)) {
862 1.77 ozaki KEYDEBUG_PRINTF(KEYDEBUG_IPSEC_DUMP,
863 1.62 christos "pkthdr.len(%d) < sizeof(struct ip6_hdr), "
864 1.77 ozaki "ignored.\n", m->m_pkthdr.len);
865 1.1 jonathan return EINVAL;
866 1.1 jonathan }
867 1.1 jonathan error = ipsec6_setspidx_ipaddr(m, spidx);
868 1.1 jonathan if (error)
869 1.1 jonathan return error;
870 1.1 jonathan ipsec6_get_ulp(m, spidx, needport);
871 1.1 jonathan return 0;
872 1.1 jonathan #endif
873 1.1 jonathan default:
874 1.77 ozaki KEYDEBUG_PRINTF(KEYDEBUG_IPSEC_DUMP,
875 1.77 ozaki "unknown IP version %u, ignored.\n", v);
876 1.1 jonathan return EINVAL;
877 1.1 jonathan }
878 1.1 jonathan }
879 1.1 jonathan
880 1.1 jonathan static void
881 1.1 jonathan ipsec4_get_ulp(struct mbuf *m, struct secpolicyindex *spidx, int needport)
882 1.1 jonathan {
883 1.1 jonathan u_int8_t nxt;
884 1.1 jonathan int off;
885 1.1 jonathan
886 1.73 ozaki KASSERT(m != NULL);
887 1.73 ozaki KASSERTMSG(m->m_pkthdr.len >= sizeof(struct ip), "packet too short");
888 1.1 jonathan
889 1.1 jonathan /* NB: ip_input() flips it into host endian XXX need more checking */
890 1.8 thorpej if (m->m_len >= sizeof(struct ip)) {
891 1.1 jonathan struct ip *ip = mtod(m, struct ip *);
892 1.75 ozaki if (ip->ip_off & htons(IP_MF | IP_OFFMASK))
893 1.1 jonathan goto done;
894 1.1 jonathan off = ip->ip_hl << 2;
895 1.1 jonathan nxt = ip->ip_p;
896 1.1 jonathan } else {
897 1.1 jonathan struct ip ih;
898 1.1 jonathan
899 1.129 maxv m_copydata(m, 0, sizeof(struct ip), &ih);
900 1.75 ozaki if (ih.ip_off & htons(IP_MF | IP_OFFMASK))
901 1.1 jonathan goto done;
902 1.1 jonathan off = ih.ip_hl << 2;
903 1.1 jonathan nxt = ih.ip_p;
904 1.1 jonathan }
905 1.1 jonathan
906 1.1 jonathan while (off < m->m_pkthdr.len) {
907 1.1 jonathan struct ip6_ext ip6e;
908 1.1 jonathan struct tcphdr th;
909 1.1 jonathan struct udphdr uh;
910 1.38 mlelstv struct icmp icmph;
911 1.1 jonathan
912 1.1 jonathan switch (nxt) {
913 1.1 jonathan case IPPROTO_TCP:
914 1.1 jonathan spidx->ul_proto = nxt;
915 1.1 jonathan if (!needport)
916 1.1 jonathan goto done_proto;
917 1.1 jonathan if (off + sizeof(struct tcphdr) > m->m_pkthdr.len)
918 1.1 jonathan goto done;
919 1.129 maxv m_copydata(m, off, sizeof(th), &th);
920 1.1 jonathan spidx->src.sin.sin_port = th.th_sport;
921 1.1 jonathan spidx->dst.sin.sin_port = th.th_dport;
922 1.1 jonathan return;
923 1.1 jonathan case IPPROTO_UDP:
924 1.1 jonathan spidx->ul_proto = nxt;
925 1.1 jonathan if (!needport)
926 1.1 jonathan goto done_proto;
927 1.1 jonathan if (off + sizeof(struct udphdr) > m->m_pkthdr.len)
928 1.1 jonathan goto done;
929 1.129 maxv m_copydata(m, off, sizeof(uh), &uh);
930 1.1 jonathan spidx->src.sin.sin_port = uh.uh_sport;
931 1.1 jonathan spidx->dst.sin.sin_port = uh.uh_dport;
932 1.1 jonathan return;
933 1.1 jonathan case IPPROTO_AH:
934 1.130 maxv if (off + sizeof(ip6e) > m->m_pkthdr.len)
935 1.1 jonathan goto done;
936 1.1 jonathan /* XXX sigh, this works but is totally bogus */
937 1.28 degroote m_copydata(m, off, sizeof(ip6e), &ip6e);
938 1.1 jonathan off += (ip6e.ip6e_len + 2) << 2;
939 1.1 jonathan nxt = ip6e.ip6e_nxt;
940 1.1 jonathan break;
941 1.1 jonathan case IPPROTO_ICMP:
942 1.38 mlelstv spidx->ul_proto = nxt;
943 1.38 mlelstv if (off + sizeof(struct icmp) > m->m_pkthdr.len)
944 1.134 maxv goto done;
945 1.39 degroote m_copydata(m, off, sizeof(icmph), &icmph);
946 1.38 mlelstv ((struct sockaddr_in *)&spidx->src)->sin_port =
947 1.38 mlelstv htons((uint16_t)icmph.icmp_type);
948 1.38 mlelstv ((struct sockaddr_in *)&spidx->dst)->sin_port =
949 1.38 mlelstv htons((uint16_t)icmph.icmp_code);
950 1.38 mlelstv return;
951 1.1 jonathan default:
952 1.1 jonathan /* XXX intermediate headers??? */
953 1.1 jonathan spidx->ul_proto = nxt;
954 1.1 jonathan goto done_proto;
955 1.1 jonathan }
956 1.1 jonathan }
957 1.1 jonathan done:
958 1.1 jonathan spidx->ul_proto = IPSEC_ULPROTO_ANY;
959 1.1 jonathan done_proto:
960 1.1 jonathan spidx->src.sin.sin_port = IPSEC_PORT_ANY;
961 1.1 jonathan spidx->dst.sin.sin_port = IPSEC_PORT_ANY;
962 1.1 jonathan }
963 1.1 jonathan
964 1.1 jonathan static int
965 1.1 jonathan ipsec4_setspidx_ipaddr(struct mbuf *m, struct secpolicyindex *spidx)
966 1.1 jonathan {
967 1.1 jonathan static const struct sockaddr_in template = {
968 1.129 maxv sizeof(struct sockaddr_in),
969 1.1 jonathan AF_INET,
970 1.1 jonathan 0, { 0 }, { 0, 0, 0, 0, 0, 0, 0, 0 }
971 1.1 jonathan };
972 1.1 jonathan
973 1.1 jonathan spidx->src.sin = template;
974 1.1 jonathan spidx->dst.sin = template;
975 1.1 jonathan
976 1.129 maxv if (m->m_len < sizeof(struct ip)) {
977 1.1 jonathan m_copydata(m, offsetof(struct ip, ip_src),
978 1.100 ozaki sizeof(struct in_addr), &spidx->src.sin.sin_addr);
979 1.1 jonathan m_copydata(m, offsetof(struct ip, ip_dst),
980 1.100 ozaki sizeof(struct in_addr), &spidx->dst.sin.sin_addr);
981 1.1 jonathan } else {
982 1.1 jonathan struct ip *ip = mtod(m, struct ip *);
983 1.1 jonathan spidx->src.sin.sin_addr = ip->ip_src;
984 1.1 jonathan spidx->dst.sin.sin_addr = ip->ip_dst;
985 1.1 jonathan }
986 1.1 jonathan
987 1.1 jonathan spidx->prefs = sizeof(struct in_addr) << 3;
988 1.1 jonathan spidx->prefd = sizeof(struct in_addr) << 3;
989 1.1 jonathan
990 1.1 jonathan return 0;
991 1.1 jonathan }
992 1.1 jonathan
993 1.1 jonathan #ifdef INET6
994 1.1 jonathan static void
995 1.129 maxv ipsec6_get_ulp(struct mbuf *m, struct secpolicyindex *spidx, int needport)
996 1.1 jonathan {
997 1.1 jonathan int off, nxt;
998 1.1 jonathan struct tcphdr th;
999 1.1 jonathan struct udphdr uh;
1000 1.38 mlelstv struct icmp6_hdr icmph;
1001 1.1 jonathan
1002 1.80 ozaki KASSERT(m != NULL);
1003 1.1 jonathan
1004 1.77 ozaki if (KEYDEBUG_ON(KEYDEBUG_IPSEC_DUMP)) {
1005 1.120 christos kdebug_mbuf(__func__, m);
1006 1.77 ozaki }
1007 1.1 jonathan
1008 1.1 jonathan /* set default */
1009 1.1 jonathan spidx->ul_proto = IPSEC_ULPROTO_ANY;
1010 1.1 jonathan ((struct sockaddr_in6 *)&spidx->src)->sin6_port = IPSEC_PORT_ANY;
1011 1.1 jonathan ((struct sockaddr_in6 *)&spidx->dst)->sin6_port = IPSEC_PORT_ANY;
1012 1.1 jonathan
1013 1.1 jonathan nxt = -1;
1014 1.1 jonathan off = ip6_lasthdr(m, 0, IPPROTO_IPV6, &nxt);
1015 1.1 jonathan if (off < 0 || m->m_pkthdr.len < off)
1016 1.1 jonathan return;
1017 1.1 jonathan
1018 1.1 jonathan switch (nxt) {
1019 1.1 jonathan case IPPROTO_TCP:
1020 1.1 jonathan spidx->ul_proto = nxt;
1021 1.1 jonathan if (!needport)
1022 1.1 jonathan break;
1023 1.1 jonathan if (off + sizeof(struct tcphdr) > m->m_pkthdr.len)
1024 1.1 jonathan break;
1025 1.28 degroote m_copydata(m, off, sizeof(th), &th);
1026 1.1 jonathan ((struct sockaddr_in6 *)&spidx->src)->sin6_port = th.th_sport;
1027 1.1 jonathan ((struct sockaddr_in6 *)&spidx->dst)->sin6_port = th.th_dport;
1028 1.1 jonathan break;
1029 1.1 jonathan case IPPROTO_UDP:
1030 1.1 jonathan spidx->ul_proto = nxt;
1031 1.1 jonathan if (!needport)
1032 1.1 jonathan break;
1033 1.1 jonathan if (off + sizeof(struct udphdr) > m->m_pkthdr.len)
1034 1.1 jonathan break;
1035 1.28 degroote m_copydata(m, off, sizeof(uh), &uh);
1036 1.1 jonathan ((struct sockaddr_in6 *)&spidx->src)->sin6_port = uh.uh_sport;
1037 1.1 jonathan ((struct sockaddr_in6 *)&spidx->dst)->sin6_port = uh.uh_dport;
1038 1.1 jonathan break;
1039 1.1 jonathan case IPPROTO_ICMPV6:
1040 1.38 mlelstv spidx->ul_proto = nxt;
1041 1.38 mlelstv if (off + sizeof(struct icmp6_hdr) > m->m_pkthdr.len)
1042 1.38 mlelstv break;
1043 1.39 degroote m_copydata(m, off, sizeof(icmph), &icmph);
1044 1.38 mlelstv ((struct sockaddr_in6 *)&spidx->src)->sin6_port =
1045 1.38 mlelstv htons((uint16_t)icmph.icmp6_type);
1046 1.38 mlelstv ((struct sockaddr_in6 *)&spidx->dst)->sin6_port =
1047 1.38 mlelstv htons((uint16_t)icmph.icmp6_code);
1048 1.38 mlelstv break;
1049 1.1 jonathan default:
1050 1.1 jonathan /* XXX intermediate headers??? */
1051 1.1 jonathan spidx->ul_proto = nxt;
1052 1.1 jonathan break;
1053 1.1 jonathan }
1054 1.1 jonathan }
1055 1.1 jonathan
1056 1.1 jonathan static int
1057 1.33 degroote ipsec6_setspidx_ipaddr(struct mbuf *m, struct secpolicyindex *spidx)
1058 1.1 jonathan {
1059 1.1 jonathan struct ip6_hdr *ip6 = NULL;
1060 1.1 jonathan struct ip6_hdr ip6buf;
1061 1.1 jonathan struct sockaddr_in6 *sin6;
1062 1.1 jonathan
1063 1.1 jonathan if (m->m_len >= sizeof(*ip6))
1064 1.1 jonathan ip6 = mtod(m, struct ip6_hdr *);
1065 1.1 jonathan else {
1066 1.28 degroote m_copydata(m, 0, sizeof(ip6buf), &ip6buf);
1067 1.1 jonathan ip6 = &ip6buf;
1068 1.1 jonathan }
1069 1.1 jonathan
1070 1.1 jonathan sin6 = (struct sockaddr_in6 *)&spidx->src;
1071 1.41 cegger memset(sin6, 0, sizeof(*sin6));
1072 1.1 jonathan sin6->sin6_family = AF_INET6;
1073 1.1 jonathan sin6->sin6_len = sizeof(struct sockaddr_in6);
1074 1.43 tsutsui memcpy(&sin6->sin6_addr, &ip6->ip6_src, sizeof(ip6->ip6_src));
1075 1.1 jonathan if (IN6_IS_SCOPE_LINKLOCAL(&ip6->ip6_src)) {
1076 1.1 jonathan sin6->sin6_addr.s6_addr16[1] = 0;
1077 1.1 jonathan sin6->sin6_scope_id = ntohs(ip6->ip6_src.s6_addr16[1]);
1078 1.1 jonathan }
1079 1.1 jonathan spidx->prefs = sizeof(struct in6_addr) << 3;
1080 1.1 jonathan
1081 1.1 jonathan sin6 = (struct sockaddr_in6 *)&spidx->dst;
1082 1.41 cegger memset(sin6, 0, sizeof(*sin6));
1083 1.1 jonathan sin6->sin6_family = AF_INET6;
1084 1.1 jonathan sin6->sin6_len = sizeof(struct sockaddr_in6);
1085 1.43 tsutsui memcpy(&sin6->sin6_addr, &ip6->ip6_dst, sizeof(ip6->ip6_dst));
1086 1.1 jonathan if (IN6_IS_SCOPE_LINKLOCAL(&ip6->ip6_dst)) {
1087 1.1 jonathan sin6->sin6_addr.s6_addr16[1] = 0;
1088 1.1 jonathan sin6->sin6_scope_id = ntohs(ip6->ip6_dst.s6_addr16[1]);
1089 1.1 jonathan }
1090 1.1 jonathan spidx->prefd = sizeof(struct in6_addr) << 3;
1091 1.1 jonathan
1092 1.1 jonathan return 0;
1093 1.1 jonathan }
1094 1.1 jonathan #endif
1095 1.1 jonathan
1096 1.1 jonathan static void
1097 1.33 degroote ipsec_delpcbpolicy(struct inpcbpolicy *p)
1098 1.1 jonathan {
1099 1.90 ozaki
1100 1.91 ozaki kmem_intr_free(p, sizeof(*p));
1101 1.1 jonathan }
1102 1.1 jonathan
1103 1.1 jonathan /* initialize policy in PCB */
1104 1.1 jonathan int
1105 1.57 christos ipsec_init_policy(struct socket *so, struct inpcbpolicy **policy)
1106 1.1 jonathan {
1107 1.1 jonathan struct inpcbpolicy *new;
1108 1.1 jonathan
1109 1.80 ozaki KASSERT(so != NULL);
1110 1.80 ozaki KASSERT(policy != NULL);
1111 1.1 jonathan
1112 1.91 ozaki new = kmem_intr_zalloc(sizeof(*new), KM_NOSLEEP);
1113 1.91 ozaki if (new == NULL) {
1114 1.92 ozaki IPSECLOG(LOG_DEBUG, "No more memory.\n");
1115 1.91 ozaki return ENOBUFS;
1116 1.91 ozaki }
1117 1.1 jonathan
1118 1.1 jonathan if (IPSEC_PRIVILEGED_SO(so))
1119 1.1 jonathan new->priv = 1;
1120 1.1 jonathan else
1121 1.1 jonathan new->priv = 0;
1122 1.1 jonathan
1123 1.113 ozaki /*
1124 1.119 ozaki * Set dummy SPs. Actual SPs will be allocated later if needed.
1125 1.113 ozaki */
1126 1.119 ozaki new->sp_in = &ipsec_dummy_sp;
1127 1.119 ozaki new->sp_out = &ipsec_dummy_sp;
1128 1.1 jonathan
1129 1.57 christos *policy = new;
1130 1.1 jonathan
1131 1.1 jonathan return 0;
1132 1.1 jonathan }
1133 1.1 jonathan
1134 1.115 ozaki #if 0 /* unused */
1135 1.1 jonathan /* copy old ipsec policy into new */
1136 1.1 jonathan int
1137 1.52 christos ipsec_copy_policy(const struct inpcbpolicy *old, struct inpcbpolicy *new)
1138 1.1 jonathan {
1139 1.1 jonathan struct secpolicy *sp;
1140 1.1 jonathan
1141 1.1 jonathan sp = ipsec_deepcopy_policy(old->sp_in);
1142 1.1 jonathan if (sp) {
1143 1.113 ozaki KEY_SP_UNREF(&new->sp_in);
1144 1.1 jonathan new->sp_in = sp;
1145 1.1 jonathan } else
1146 1.1 jonathan return ENOBUFS;
1147 1.1 jonathan
1148 1.1 jonathan sp = ipsec_deepcopy_policy(old->sp_out);
1149 1.1 jonathan if (sp) {
1150 1.113 ozaki KEY_SP_UNREF(&new->sp_out);
1151 1.1 jonathan new->sp_out = sp;
1152 1.1 jonathan } else
1153 1.1 jonathan return ENOBUFS;
1154 1.1 jonathan
1155 1.1 jonathan new->priv = old->priv;
1156 1.1 jonathan
1157 1.1 jonathan return 0;
1158 1.1 jonathan }
1159 1.1 jonathan
1160 1.1 jonathan /* deep-copy a policy in PCB */
1161 1.1 jonathan static struct secpolicy *
1162 1.52 christos ipsec_deepcopy_policy(const struct secpolicy *src)
1163 1.1 jonathan {
1164 1.1 jonathan struct ipsecrequest *newchain = NULL;
1165 1.55 drochner const struct ipsecrequest *p;
1166 1.1 jonathan struct ipsecrequest **q;
1167 1.1 jonathan struct secpolicy *dst;
1168 1.1 jonathan
1169 1.1 jonathan if (src == NULL)
1170 1.1 jonathan return NULL;
1171 1.1 jonathan dst = KEY_NEWSP();
1172 1.1 jonathan if (dst == NULL)
1173 1.1 jonathan return NULL;
1174 1.1 jonathan
1175 1.1 jonathan /*
1176 1.1 jonathan * deep-copy IPsec request chain. This is required since struct
1177 1.1 jonathan * ipsecrequest is not reference counted.
1178 1.1 jonathan */
1179 1.1 jonathan q = &newchain;
1180 1.1 jonathan for (p = src->req; p; p = p->next) {
1181 1.90 ozaki *q = kmem_zalloc(sizeof(**q), KM_SLEEP);
1182 1.1 jonathan (*q)->next = NULL;
1183 1.1 jonathan
1184 1.1 jonathan (*q)->saidx.proto = p->saidx.proto;
1185 1.1 jonathan (*q)->saidx.mode = p->saidx.mode;
1186 1.1 jonathan (*q)->level = p->level;
1187 1.1 jonathan (*q)->saidx.reqid = p->saidx.reqid;
1188 1.1 jonathan
1189 1.43 tsutsui memcpy(&(*q)->saidx.src, &p->saidx.src, sizeof((*q)->saidx.src));
1190 1.43 tsutsui memcpy(&(*q)->saidx.dst, &p->saidx.dst, sizeof((*q)->saidx.dst));
1191 1.1 jonathan
1192 1.1 jonathan (*q)->sp = dst;
1193 1.1 jonathan
1194 1.1 jonathan q = &((*q)->next);
1195 1.1 jonathan }
1196 1.1 jonathan
1197 1.1 jonathan dst->req = newchain;
1198 1.1 jonathan dst->state = src->state;
1199 1.1 jonathan dst->policy = src->policy;
1200 1.1 jonathan /* do not touch the refcnt fields */
1201 1.1 jonathan
1202 1.1 jonathan return dst;
1203 1.1 jonathan }
1204 1.115 ozaki #endif
1205 1.1 jonathan
1206 1.113 ozaki static void
1207 1.113 ozaki ipsec_destroy_policy(struct secpolicy *sp)
1208 1.113 ozaki {
1209 1.113 ozaki
1210 1.119 ozaki if (sp == &ipsec_dummy_sp)
1211 1.119 ozaki ; /* It's dummy. No need to free it. */
1212 1.113 ozaki else {
1213 1.113 ozaki /*
1214 1.113 ozaki * We cannot destroy here because it can be called in
1215 1.113 ozaki * softint. So mark the SP as DEAD and let the timer
1216 1.113 ozaki * destroy it. See key_timehandler_spd.
1217 1.113 ozaki */
1218 1.113 ozaki sp->state = IPSEC_SPSTATE_DEAD;
1219 1.113 ozaki }
1220 1.113 ozaki }
1221 1.113 ozaki
1222 1.146 maxv int
1223 1.146 maxv ipsec_set_policy(void *inp, int optname, const void *request, size_t len,
1224 1.146 maxv kauth_cred_t cred)
1225 1.1 jonathan {
1226 1.146 maxv struct inpcb_hdr *inph = (struct inpcb_hdr *)inp;
1227 1.55 drochner const struct sadb_x_policy *xpl;
1228 1.145 maxv struct secpolicy *newsp, *oldsp;
1229 1.146 maxv struct secpolicy **policy;
1230 1.1 jonathan int error;
1231 1.1 jonathan
1232 1.90 ozaki KASSERT(!cpu_softintr_p());
1233 1.146 maxv KASSERT(inph != NULL);
1234 1.146 maxv KASSERT(inph_locked(inph));
1235 1.146 maxv KASSERT(request != NULL);
1236 1.146 maxv
1237 1.146 maxv if (len < sizeof(*xpl))
1238 1.146 maxv return EINVAL;
1239 1.146 maxv xpl = (const struct sadb_x_policy *)request;
1240 1.146 maxv
1241 1.146 maxv KASSERT(inph->inph_sp != NULL);
1242 1.146 maxv
1243 1.146 maxv /* select direction */
1244 1.146 maxv switch (xpl->sadb_x_policy_dir) {
1245 1.146 maxv case IPSEC_DIR_INBOUND:
1246 1.146 maxv policy = &inph->inph_sp->sp_in;
1247 1.146 maxv break;
1248 1.146 maxv case IPSEC_DIR_OUTBOUND:
1249 1.146 maxv policy = &inph->inph_sp->sp_out;
1250 1.146 maxv break;
1251 1.146 maxv default:
1252 1.146 maxv IPSECLOG(LOG_ERR, "invalid direction=%u\n",
1253 1.146 maxv xpl->sadb_x_policy_dir);
1254 1.146 maxv return EINVAL;
1255 1.146 maxv }
1256 1.90 ozaki
1257 1.1 jonathan /* sanity check. */
1258 1.145 maxv if (policy == NULL || *policy == NULL)
1259 1.1 jonathan return EINVAL;
1260 1.1 jonathan
1261 1.77 ozaki if (KEYDEBUG_ON(KEYDEBUG_IPSEC_DUMP)) {
1262 1.120 christos kdebug_sadb_xpolicy("set passed policy", request);
1263 1.77 ozaki }
1264 1.1 jonathan
1265 1.1 jonathan /* check policy type */
1266 1.1 jonathan /* ipsec_set_policy() accepts IPSEC, ENTRUST and BYPASS. */
1267 1.129 maxv if (xpl->sadb_x_policy_type == IPSEC_POLICY_DISCARD ||
1268 1.129 maxv xpl->sadb_x_policy_type == IPSEC_POLICY_NONE)
1269 1.1 jonathan return EINVAL;
1270 1.1 jonathan
1271 1.1 jonathan /* check privileged socket */
1272 1.44 elad if (xpl->sadb_x_policy_type == IPSEC_POLICY_BYPASS) {
1273 1.56 elad error = kauth_authorize_network(cred, KAUTH_NETWORK_IPSEC,
1274 1.56 elad KAUTH_REQ_NETWORK_IPSEC_BYPASS, NULL, NULL, NULL);
1275 1.44 elad if (error)
1276 1.129 maxv return error;
1277 1.44 elad }
1278 1.1 jonathan
1279 1.1 jonathan /* allocation new SP entry */
1280 1.1 jonathan if ((newsp = key_msg2sp(xpl, len, &error)) == NULL)
1281 1.1 jonathan return error;
1282 1.1 jonathan
1283 1.113 ozaki key_init_sp(newsp);
1284 1.113 ozaki newsp->created = time_uptime;
1285 1.113 ozaki /* Insert the global list for SPs for sockets */
1286 1.113 ozaki key_socksplist_add(newsp);
1287 1.1 jonathan
1288 1.1 jonathan /* clear old SP and set new SP */
1289 1.113 ozaki oldsp = *policy;
1290 1.57 christos *policy = newsp;
1291 1.113 ozaki ipsec_destroy_policy(oldsp);
1292 1.113 ozaki
1293 1.77 ozaki if (KEYDEBUG_ON(KEYDEBUG_IPSEC_DUMP)) {
1294 1.77 ozaki printf("%s: new policy\n", __func__);
1295 1.77 ozaki kdebug_secpolicy(newsp);
1296 1.77 ozaki }
1297 1.1 jonathan
1298 1.1 jonathan return 0;
1299 1.1 jonathan }
1300 1.1 jonathan
1301 1.1 jonathan int
1302 1.144 maxv ipsec_get_policy(void *inp, const void *request, size_t len,
1303 1.129 maxv struct mbuf **mp)
1304 1.1 jonathan {
1305 1.143 maxv struct inpcb_hdr *inph = (struct inpcb_hdr *)inp;
1306 1.55 drochner const struct sadb_x_policy *xpl;
1307 1.57 christos struct secpolicy *policy;
1308 1.1 jonathan
1309 1.1 jonathan /* sanity check. */
1310 1.143 maxv if (inph == NULL || request == NULL || mp == NULL)
1311 1.1 jonathan return EINVAL;
1312 1.143 maxv KASSERT(inph->inph_sp != NULL);
1313 1.1 jonathan if (len < sizeof(*xpl))
1314 1.1 jonathan return EINVAL;
1315 1.55 drochner xpl = (const struct sadb_x_policy *)request;
1316 1.1 jonathan
1317 1.1 jonathan /* select direction */
1318 1.1 jonathan switch (xpl->sadb_x_policy_dir) {
1319 1.1 jonathan case IPSEC_DIR_INBOUND:
1320 1.143 maxv policy = inph->inph_sp->sp_in;
1321 1.1 jonathan break;
1322 1.1 jonathan case IPSEC_DIR_OUTBOUND:
1323 1.143 maxv policy = inph->inph_sp->sp_out;
1324 1.1 jonathan break;
1325 1.1 jonathan default:
1326 1.92 ozaki IPSECLOG(LOG_ERR, "invalid direction=%u\n",
1327 1.92 ozaki xpl->sadb_x_policy_dir);
1328 1.1 jonathan return EINVAL;
1329 1.1 jonathan }
1330 1.1 jonathan
1331 1.145 maxv if (policy == NULL)
1332 1.144 maxv return EINVAL;
1333 1.144 maxv
1334 1.144 maxv *mp = key_sp2msg(policy, M_NOWAIT);
1335 1.144 maxv if (!*mp) {
1336 1.144 maxv IPSECLOG(LOG_DEBUG, "No more memory.\n");
1337 1.144 maxv return ENOBUFS;
1338 1.144 maxv }
1339 1.144 maxv
1340 1.144 maxv (*mp)->m_type = MT_DATA;
1341 1.144 maxv if (KEYDEBUG_ON(KEYDEBUG_IPSEC_DUMP)) {
1342 1.144 maxv kdebug_mbuf(__func__, *mp);
1343 1.144 maxv }
1344 1.144 maxv
1345 1.144 maxv return 0;
1346 1.1 jonathan }
1347 1.1 jonathan
1348 1.1 jonathan int
1349 1.144 maxv ipsec_delete_pcbpolicy(void *inp)
1350 1.1 jonathan {
1351 1.143 maxv struct inpcb_hdr *inph = (struct inpcb_hdr *)inp;
1352 1.73 ozaki
1353 1.143 maxv KASSERT(inph != NULL);
1354 1.1 jonathan
1355 1.143 maxv if (inph->inph_sp == NULL)
1356 1.1 jonathan return 0;
1357 1.1 jonathan
1358 1.143 maxv if (inph->inph_sp->sp_in != NULL)
1359 1.143 maxv ipsec_destroy_policy(inph->inph_sp->sp_in);
1360 1.1 jonathan
1361 1.143 maxv if (inph->inph_sp->sp_out != NULL)
1362 1.143 maxv ipsec_destroy_policy(inph->inph_sp->sp_out);
1363 1.1 jonathan
1364 1.143 maxv ipsec_invalpcbcache(inph->inph_sp, IPSEC_DIR_ANY);
1365 1.49 drochner
1366 1.143 maxv ipsec_delpcbpolicy(inph->inph_sp);
1367 1.143 maxv inph->inph_sp = NULL;
1368 1.1 jonathan
1369 1.1 jonathan return 0;
1370 1.1 jonathan }
1371 1.1 jonathan
1372 1.1 jonathan /*
1373 1.135 maxv * Return the current level (either IPSEC_LEVEL_USE or IPSEC_LEVEL_REQUIRE).
1374 1.1 jonathan */
1375 1.1 jonathan u_int
1376 1.52 christos ipsec_get_reqlevel(const struct ipsecrequest *isr)
1377 1.1 jonathan {
1378 1.1 jonathan u_int level = 0;
1379 1.1 jonathan u_int esp_trans_deflev, esp_net_deflev;
1380 1.1 jonathan u_int ah_trans_deflev, ah_net_deflev;
1381 1.1 jonathan
1382 1.73 ozaki KASSERT(isr != NULL);
1383 1.73 ozaki KASSERT(isr->sp != NULL);
1384 1.73 ozaki KASSERTMSG(
1385 1.73 ozaki isr->sp->spidx.src.sa.sa_family == isr->sp->spidx.dst.sa.sa_family,
1386 1.73 ozaki "af family mismatch, src %u, dst %u",
1387 1.73 ozaki isr->sp->spidx.src.sa.sa_family, isr->sp->spidx.dst.sa.sa_family);
1388 1.1 jonathan
1389 1.1 jonathan /* XXX note that we have ipseclog() expanded here - code sync issue */
1390 1.135 maxv #define IPSEC_CHECK_DEFAULT(lev) \
1391 1.62 christos (((lev) != IPSEC_LEVEL_USE && (lev) != IPSEC_LEVEL_REQUIRE \
1392 1.62 christos && (lev) != IPSEC_LEVEL_UNIQUE) ? \
1393 1.62 christos (ipsec_debug ? log(LOG_INFO, "fixed system default level " #lev \
1394 1.64 plunky ":%d->%d\n", (lev), IPSEC_LEVEL_REQUIRE) : (void)0), \
1395 1.62 christos (lev) = IPSEC_LEVEL_REQUIRE, (lev) \
1396 1.62 christos : (lev))
1397 1.1 jonathan
1398 1.1 jonathan /* set default level */
1399 1.1 jonathan switch (((struct sockaddr *)&isr->sp->spidx.src)->sa_family) {
1400 1.1 jonathan #ifdef INET
1401 1.1 jonathan case AF_INET:
1402 1.1 jonathan esp_trans_deflev = IPSEC_CHECK_DEFAULT(ip4_esp_trans_deflev);
1403 1.1 jonathan esp_net_deflev = IPSEC_CHECK_DEFAULT(ip4_esp_net_deflev);
1404 1.1 jonathan ah_trans_deflev = IPSEC_CHECK_DEFAULT(ip4_ah_trans_deflev);
1405 1.1 jonathan ah_net_deflev = IPSEC_CHECK_DEFAULT(ip4_ah_net_deflev);
1406 1.1 jonathan break;
1407 1.1 jonathan #endif
1408 1.1 jonathan #ifdef INET6
1409 1.1 jonathan case AF_INET6:
1410 1.1 jonathan esp_trans_deflev = IPSEC_CHECK_DEFAULT(ip6_esp_trans_deflev);
1411 1.1 jonathan esp_net_deflev = IPSEC_CHECK_DEFAULT(ip6_esp_net_deflev);
1412 1.1 jonathan ah_trans_deflev = IPSEC_CHECK_DEFAULT(ip6_ah_trans_deflev);
1413 1.1 jonathan ah_net_deflev = IPSEC_CHECK_DEFAULT(ip6_ah_net_deflev);
1414 1.1 jonathan break;
1415 1.1 jonathan #endif /* INET6 */
1416 1.1 jonathan default:
1417 1.62 christos panic("%s: unknown af %u", __func__,
1418 1.62 christos isr->sp->spidx.src.sa.sa_family);
1419 1.1 jonathan }
1420 1.1 jonathan
1421 1.1 jonathan #undef IPSEC_CHECK_DEFAULT
1422 1.1 jonathan
1423 1.1 jonathan /* set level */
1424 1.1 jonathan switch (isr->level) {
1425 1.1 jonathan case IPSEC_LEVEL_DEFAULT:
1426 1.1 jonathan switch (isr->saidx.proto) {
1427 1.1 jonathan case IPPROTO_ESP:
1428 1.1 jonathan if (isr->saidx.mode == IPSEC_MODE_TUNNEL)
1429 1.1 jonathan level = esp_net_deflev;
1430 1.1 jonathan else
1431 1.1 jonathan level = esp_trans_deflev;
1432 1.1 jonathan break;
1433 1.1 jonathan case IPPROTO_AH:
1434 1.1 jonathan if (isr->saidx.mode == IPSEC_MODE_TUNNEL)
1435 1.1 jonathan level = ah_net_deflev;
1436 1.1 jonathan else
1437 1.1 jonathan level = ah_trans_deflev;
1438 1.14 jonathan break;
1439 1.1 jonathan case IPPROTO_IPCOMP:
1440 1.1 jonathan /*
1441 1.1 jonathan * we don't really care, as IPcomp document says that
1442 1.1 jonathan * we shouldn't compress small packets
1443 1.1 jonathan */
1444 1.1 jonathan level = IPSEC_LEVEL_USE;
1445 1.1 jonathan break;
1446 1.1 jonathan default:
1447 1.62 christos panic("%s: Illegal protocol defined %u", __func__,
1448 1.62 christos isr->saidx.proto);
1449 1.1 jonathan }
1450 1.1 jonathan break;
1451 1.1 jonathan
1452 1.1 jonathan case IPSEC_LEVEL_USE:
1453 1.1 jonathan case IPSEC_LEVEL_REQUIRE:
1454 1.1 jonathan level = isr->level;
1455 1.1 jonathan break;
1456 1.1 jonathan case IPSEC_LEVEL_UNIQUE:
1457 1.1 jonathan level = IPSEC_LEVEL_REQUIRE;
1458 1.1 jonathan break;
1459 1.1 jonathan
1460 1.1 jonathan default:
1461 1.62 christos panic("%s: Illegal IPsec level %u", __func__, isr->level);
1462 1.1 jonathan }
1463 1.1 jonathan
1464 1.1 jonathan return level;
1465 1.1 jonathan }
1466 1.1 jonathan
1467 1.1 jonathan /*
1468 1.131 maxv * Check security policy requirements against the actual packet contents.
1469 1.1 jonathan *
1470 1.131 maxv * If the SP requires an IPsec packet, and the packet was neither AH nor ESP,
1471 1.131 maxv * then kick it.
1472 1.1 jonathan */
1473 1.149 maxv static int
1474 1.132 maxv ipsec_sp_reject(const struct secpolicy *sp, const struct mbuf *m)
1475 1.1 jonathan {
1476 1.1 jonathan struct ipsecrequest *isr;
1477 1.1 jonathan
1478 1.77 ozaki if (KEYDEBUG_ON(KEYDEBUG_IPSEC_DATA)) {
1479 1.77 ozaki printf("%s: using SP\n", __func__);
1480 1.77 ozaki kdebug_secpolicy(sp);
1481 1.77 ozaki }
1482 1.1 jonathan
1483 1.1 jonathan /* check policy */
1484 1.1 jonathan switch (sp->policy) {
1485 1.1 jonathan case IPSEC_POLICY_DISCARD:
1486 1.1 jonathan return 1;
1487 1.1 jonathan case IPSEC_POLICY_BYPASS:
1488 1.1 jonathan case IPSEC_POLICY_NONE:
1489 1.1 jonathan return 0;
1490 1.1 jonathan }
1491 1.1 jonathan
1492 1.73 ozaki KASSERTMSG(sp->policy == IPSEC_POLICY_IPSEC,
1493 1.73 ozaki "invalid policy %u", sp->policy);
1494 1.1 jonathan
1495 1.1 jonathan /* XXX should compare policy against ipsec header history */
1496 1.1 jonathan
1497 1.1 jonathan for (isr = sp->req; isr != NULL; isr = isr->next) {
1498 1.1 jonathan if (ipsec_get_reqlevel(isr) != IPSEC_LEVEL_REQUIRE)
1499 1.1 jonathan continue;
1500 1.1 jonathan switch (isr->saidx.proto) {
1501 1.1 jonathan case IPPROTO_ESP:
1502 1.1 jonathan if ((m->m_flags & M_DECRYPTED) == 0) {
1503 1.77 ozaki KEYDEBUG_PRINTF(KEYDEBUG_IPSEC_DUMP,
1504 1.77 ozaki "ESP m_flags:%x\n", m->m_flags);
1505 1.1 jonathan return 1;
1506 1.1 jonathan }
1507 1.1 jonathan break;
1508 1.1 jonathan case IPPROTO_AH:
1509 1.1 jonathan if ((m->m_flags & M_AUTHIPHDR) == 0) {
1510 1.77 ozaki KEYDEBUG_PRINTF(KEYDEBUG_IPSEC_DUMP,
1511 1.77 ozaki "AH m_flags:%x\n", m->m_flags);
1512 1.1 jonathan return 1;
1513 1.1 jonathan }
1514 1.1 jonathan break;
1515 1.1 jonathan case IPPROTO_IPCOMP:
1516 1.1 jonathan /*
1517 1.131 maxv * We don't really care, as IPcomp document
1518 1.1 jonathan * says that we shouldn't compress small
1519 1.1 jonathan * packets, IPComp policy should always be
1520 1.1 jonathan * treated as being in "use" level.
1521 1.1 jonathan */
1522 1.1 jonathan break;
1523 1.1 jonathan }
1524 1.1 jonathan }
1525 1.132 maxv
1526 1.132 maxv return 0;
1527 1.1 jonathan }
1528 1.1 jonathan
1529 1.1 jonathan /*
1530 1.139 maxv * Check security policy requirements.
1531 1.1 jonathan */
1532 1.1 jonathan int
1533 1.139 maxv ipsec_in_reject(struct mbuf *m, void *inp)
1534 1.1 jonathan {
1535 1.133 maxv struct inpcb_hdr *inph = (struct inpcb_hdr *)inp;
1536 1.1 jonathan struct secpolicy *sp;
1537 1.1 jonathan int error;
1538 1.1 jonathan int result;
1539 1.1 jonathan
1540 1.73 ozaki KASSERT(m != NULL);
1541 1.1 jonathan
1542 1.133 maxv if (inph == NULL)
1543 1.131 maxv sp = ipsec_getpolicybyaddr(m, IPSEC_DIR_INBOUND,
1544 1.131 maxv IP_FORWARDING, &error);
1545 1.1 jonathan else
1546 1.5 jonathan sp = ipsec_getpolicybysock(m, IPSEC_DIR_INBOUND,
1547 1.133 maxv inph, &error);
1548 1.1 jonathan
1549 1.1 jonathan if (sp != NULL) {
1550 1.132 maxv result = ipsec_sp_reject(sp, m);
1551 1.1 jonathan if (result)
1552 1.37 thorpej IPSEC_STATINC(IPSEC_STAT_IN_POLVIO);
1553 1.113 ozaki KEY_SP_UNREF(&sp);
1554 1.1 jonathan } else {
1555 1.131 maxv result = 0;
1556 1.1 jonathan }
1557 1.1 jonathan return result;
1558 1.1 jonathan }
1559 1.1 jonathan
1560 1.1 jonathan /*
1561 1.132 maxv * Compute the byte size to be occupied by the IPsec header. If it is
1562 1.132 maxv * tunneled, it includes the size of outer IP header.
1563 1.1 jonathan */
1564 1.1 jonathan static size_t
1565 1.132 maxv ipsec_sp_hdrsiz(const struct secpolicy *sp, const struct mbuf *m)
1566 1.1 jonathan {
1567 1.107 ozaki struct ipsecrequest *isr;
1568 1.1 jonathan size_t siz;
1569 1.1 jonathan
1570 1.77 ozaki if (KEYDEBUG_ON(KEYDEBUG_IPSEC_DATA)) {
1571 1.77 ozaki printf("%s: using SP\n", __func__);
1572 1.77 ozaki kdebug_secpolicy(sp);
1573 1.77 ozaki }
1574 1.1 jonathan
1575 1.1 jonathan switch (sp->policy) {
1576 1.1 jonathan case IPSEC_POLICY_DISCARD:
1577 1.1 jonathan case IPSEC_POLICY_BYPASS:
1578 1.1 jonathan case IPSEC_POLICY_NONE:
1579 1.1 jonathan return 0;
1580 1.1 jonathan }
1581 1.1 jonathan
1582 1.73 ozaki KASSERTMSG(sp->policy == IPSEC_POLICY_IPSEC,
1583 1.73 ozaki "invalid policy %u", sp->policy);
1584 1.1 jonathan
1585 1.1 jonathan siz = 0;
1586 1.1 jonathan for (isr = sp->req; isr != NULL; isr = isr->next) {
1587 1.1 jonathan size_t clen = 0;
1588 1.121 ozaki struct secasvar *sav;
1589 1.1 jonathan
1590 1.1 jonathan switch (isr->saidx.proto) {
1591 1.1 jonathan case IPPROTO_ESP:
1592 1.121 ozaki sav = ipsec_lookup_sa(isr, m);
1593 1.121 ozaki if (sav != NULL) {
1594 1.107 ozaki clen = esp_hdrsiz(sav);
1595 1.116 ozaki KEY_SA_UNREF(&sav);
1596 1.107 ozaki } else
1597 1.107 ozaki clen = esp_hdrsiz(NULL);
1598 1.1 jonathan break;
1599 1.1 jonathan case IPPROTO_AH:
1600 1.121 ozaki sav = ipsec_lookup_sa(isr, m);
1601 1.121 ozaki if (sav != NULL) {
1602 1.107 ozaki clen = ah_hdrsiz(sav);
1603 1.116 ozaki KEY_SA_UNREF(&sav);
1604 1.107 ozaki } else
1605 1.107 ozaki clen = ah_hdrsiz(NULL);
1606 1.1 jonathan break;
1607 1.1 jonathan case IPPROTO_IPCOMP:
1608 1.1 jonathan clen = sizeof(struct ipcomp);
1609 1.1 jonathan break;
1610 1.1 jonathan }
1611 1.1 jonathan
1612 1.1 jonathan if (isr->saidx.mode == IPSEC_MODE_TUNNEL) {
1613 1.1 jonathan switch (isr->saidx.dst.sa.sa_family) {
1614 1.1 jonathan case AF_INET:
1615 1.1 jonathan clen += sizeof(struct ip);
1616 1.1 jonathan break;
1617 1.1 jonathan #ifdef INET6
1618 1.1 jonathan case AF_INET6:
1619 1.1 jonathan clen += sizeof(struct ip6_hdr);
1620 1.1 jonathan break;
1621 1.1 jonathan #endif
1622 1.1 jonathan default:
1623 1.92 ozaki IPSECLOG(LOG_ERR, "unknown AF %d in "
1624 1.92 ozaki "IPsec tunnel SA\n",
1625 1.62 christos ((const struct sockaddr *)&isr->saidx.dst)
1626 1.92 ozaki ->sa_family);
1627 1.1 jonathan break;
1628 1.1 jonathan }
1629 1.1 jonathan }
1630 1.1 jonathan siz += clen;
1631 1.1 jonathan }
1632 1.1 jonathan
1633 1.1 jonathan return siz;
1634 1.1 jonathan }
1635 1.1 jonathan
1636 1.1 jonathan size_t
1637 1.138 maxv ipsec_hdrsiz(struct mbuf *m, u_int dir, void *inp)
1638 1.1 jonathan {
1639 1.133 maxv struct inpcb_hdr *inph = (struct inpcb_hdr *)inp;
1640 1.1 jonathan struct secpolicy *sp;
1641 1.1 jonathan int error;
1642 1.1 jonathan size_t size;
1643 1.1 jonathan
1644 1.73 ozaki KASSERT(m != NULL);
1645 1.133 maxv KASSERTMSG(inph == NULL || inph->inph_socket != NULL,
1646 1.133 maxv "socket w/o inpcb");
1647 1.1 jonathan
1648 1.133 maxv if (inph == NULL)
1649 1.1 jonathan sp = ipsec_getpolicybyaddr(m, dir, IP_FORWARDING, &error);
1650 1.1 jonathan else
1651 1.133 maxv sp = ipsec_getpolicybysock(m, dir, inph, &error);
1652 1.1 jonathan
1653 1.1 jonathan if (sp != NULL) {
1654 1.132 maxv size = ipsec_sp_hdrsiz(sp, m);
1655 1.131 maxv KEYDEBUG_PRINTF(KEYDEBUG_IPSEC_DATA, "size:%zu.\n", size);
1656 1.113 ozaki KEY_SP_UNREF(&sp);
1657 1.1 jonathan } else {
1658 1.133 maxv size = 0;
1659 1.1 jonathan }
1660 1.131 maxv
1661 1.1 jonathan return size;
1662 1.1 jonathan }
1663 1.1 jonathan
1664 1.1 jonathan /*
1665 1.1 jonathan * Check the variable replay window.
1666 1.1 jonathan * ipsec_chkreplay() performs replay check before ICV verification.
1667 1.1 jonathan * ipsec_updatereplay() updates replay bitmap. This must be called after
1668 1.1 jonathan * ICV verification (it also performs replay check, which is usually done
1669 1.1 jonathan * beforehand).
1670 1.1 jonathan * 0 (zero) is returned if packet disallowed, 1 if packet permitted.
1671 1.1 jonathan *
1672 1.1 jonathan * based on RFC 2401.
1673 1.1 jonathan */
1674 1.1 jonathan int
1675 1.50 drochner ipsec_chkreplay(u_int32_t seq, const struct secasvar *sav)
1676 1.1 jonathan {
1677 1.1 jonathan const struct secreplay *replay;
1678 1.1 jonathan u_int32_t diff;
1679 1.1 jonathan int fr;
1680 1.1 jonathan u_int32_t wsizeb; /* constant: bits of window size */
1681 1.1 jonathan int frlast; /* constant: last frame */
1682 1.1 jonathan
1683 1.62 christos IPSEC_SPLASSERT_SOFTNET(__func__);
1684 1.1 jonathan
1685 1.73 ozaki KASSERT(sav != NULL);
1686 1.73 ozaki KASSERT(sav->replay != NULL);
1687 1.1 jonathan
1688 1.1 jonathan replay = sav->replay;
1689 1.1 jonathan
1690 1.1 jonathan if (replay->wsize == 0)
1691 1.1 jonathan return 1; /* no need to check replay. */
1692 1.1 jonathan
1693 1.1 jonathan /* constant */
1694 1.1 jonathan frlast = replay->wsize - 1;
1695 1.1 jonathan wsizeb = replay->wsize << 3;
1696 1.1 jonathan
1697 1.1 jonathan /* sequence number of 0 is invalid */
1698 1.1 jonathan if (seq == 0)
1699 1.1 jonathan return 0;
1700 1.1 jonathan
1701 1.1 jonathan /* first time is always okay */
1702 1.1 jonathan if (replay->count == 0)
1703 1.1 jonathan return 1;
1704 1.1 jonathan
1705 1.1 jonathan if (seq > replay->lastseq) {
1706 1.1 jonathan /* larger sequences are okay */
1707 1.1 jonathan return 1;
1708 1.1 jonathan } else {
1709 1.1 jonathan /* seq is equal or less than lastseq. */
1710 1.1 jonathan diff = replay->lastseq - seq;
1711 1.1 jonathan
1712 1.1 jonathan /* over range to check, i.e. too old or wrapped */
1713 1.1 jonathan if (diff >= wsizeb)
1714 1.1 jonathan return 0;
1715 1.1 jonathan
1716 1.1 jonathan fr = frlast - diff / 8;
1717 1.1 jonathan
1718 1.1 jonathan /* this packet already seen ? */
1719 1.1 jonathan if ((replay->bitmap)[fr] & (1 << (diff % 8)))
1720 1.1 jonathan return 0;
1721 1.1 jonathan
1722 1.1 jonathan /* out of order but good */
1723 1.1 jonathan return 1;
1724 1.1 jonathan }
1725 1.1 jonathan }
1726 1.1 jonathan
1727 1.1 jonathan /*
1728 1.1 jonathan * check replay counter whether to update or not.
1729 1.1 jonathan * OUT: 0: OK
1730 1.1 jonathan * 1: NG
1731 1.1 jonathan */
1732 1.1 jonathan int
1733 1.50 drochner ipsec_updatereplay(u_int32_t seq, const struct secasvar *sav)
1734 1.1 jonathan {
1735 1.1 jonathan struct secreplay *replay;
1736 1.1 jonathan u_int32_t diff;
1737 1.1 jonathan int fr;
1738 1.1 jonathan u_int32_t wsizeb; /* constant: bits of window size */
1739 1.1 jonathan int frlast; /* constant: last frame */
1740 1.1 jonathan
1741 1.62 christos IPSEC_SPLASSERT_SOFTNET(__func__);
1742 1.1 jonathan
1743 1.73 ozaki KASSERT(sav != NULL);
1744 1.73 ozaki KASSERT(sav->replay != NULL);
1745 1.1 jonathan
1746 1.1 jonathan replay = sav->replay;
1747 1.1 jonathan
1748 1.1 jonathan if (replay->wsize == 0)
1749 1.1 jonathan goto ok; /* no need to check replay. */
1750 1.1 jonathan
1751 1.1 jonathan /* constant */
1752 1.1 jonathan frlast = replay->wsize - 1;
1753 1.1 jonathan wsizeb = replay->wsize << 3;
1754 1.1 jonathan
1755 1.1 jonathan /* sequence number of 0 is invalid */
1756 1.1 jonathan if (seq == 0)
1757 1.1 jonathan return 1;
1758 1.1 jonathan
1759 1.1 jonathan /* first time */
1760 1.1 jonathan if (replay->count == 0) {
1761 1.1 jonathan replay->lastseq = seq;
1762 1.41 cegger memset(replay->bitmap, 0, replay->wsize);
1763 1.1 jonathan (replay->bitmap)[frlast] = 1;
1764 1.1 jonathan goto ok;
1765 1.1 jonathan }
1766 1.1 jonathan
1767 1.1 jonathan if (seq > replay->lastseq) {
1768 1.1 jonathan /* seq is larger than lastseq. */
1769 1.1 jonathan diff = seq - replay->lastseq;
1770 1.1 jonathan
1771 1.1 jonathan /* new larger sequence number */
1772 1.1 jonathan if (diff < wsizeb) {
1773 1.1 jonathan /* In window */
1774 1.1 jonathan /* set bit for this packet */
1775 1.1 jonathan vshiftl(replay->bitmap, diff, replay->wsize);
1776 1.1 jonathan (replay->bitmap)[frlast] |= 1;
1777 1.1 jonathan } else {
1778 1.1 jonathan /* this packet has a "way larger" */
1779 1.41 cegger memset(replay->bitmap, 0, replay->wsize);
1780 1.1 jonathan (replay->bitmap)[frlast] = 1;
1781 1.1 jonathan }
1782 1.1 jonathan replay->lastseq = seq;
1783 1.1 jonathan
1784 1.1 jonathan /* larger is good */
1785 1.1 jonathan } else {
1786 1.1 jonathan /* seq is equal or less than lastseq. */
1787 1.1 jonathan diff = replay->lastseq - seq;
1788 1.1 jonathan
1789 1.1 jonathan /* over range to check, i.e. too old or wrapped */
1790 1.1 jonathan if (diff >= wsizeb)
1791 1.1 jonathan return 1;
1792 1.1 jonathan
1793 1.1 jonathan fr = frlast - diff / 8;
1794 1.1 jonathan
1795 1.1 jonathan /* this packet already seen ? */
1796 1.1 jonathan if ((replay->bitmap)[fr] & (1 << (diff % 8)))
1797 1.1 jonathan return 1;
1798 1.1 jonathan
1799 1.1 jonathan /* mark as seen */
1800 1.1 jonathan (replay->bitmap)[fr] |= (1 << (diff % 8));
1801 1.1 jonathan
1802 1.1 jonathan /* out of order but good */
1803 1.1 jonathan }
1804 1.1 jonathan
1805 1.1 jonathan ok:
1806 1.1 jonathan if (replay->count == ~0) {
1807 1.122 ozaki char buf[IPSEC_LOGSASTRLEN];
1808 1.1 jonathan
1809 1.1 jonathan /* set overflow flag */
1810 1.1 jonathan replay->overflow++;
1811 1.1 jonathan
1812 1.1 jonathan /* don't increment, no more packets accepted */
1813 1.1 jonathan if ((sav->flags & SADB_X_EXT_CYCSEQ) == 0)
1814 1.1 jonathan return 1;
1815 1.1 jonathan
1816 1.92 ozaki IPSECLOG(LOG_WARNING, "replay counter made %d cycle. %s\n",
1817 1.92 ozaki replay->overflow, ipsec_logsastr(sav, buf, sizeof(buf)));
1818 1.1 jonathan }
1819 1.1 jonathan
1820 1.1 jonathan replay->count++;
1821 1.1 jonathan
1822 1.1 jonathan return 0;
1823 1.1 jonathan }
1824 1.1 jonathan
1825 1.1 jonathan /*
1826 1.132 maxv * shift variable length buffer to left.
1827 1.1 jonathan * IN: bitmap: pointer to the buffer
1828 1.129 maxv * nbit: the number of to shift.
1829 1.1 jonathan * wsize: buffer size (bytes).
1830 1.1 jonathan */
1831 1.1 jonathan static void
1832 1.33 degroote vshiftl(unsigned char *bitmap, int nbit, int wsize)
1833 1.1 jonathan {
1834 1.1 jonathan int s, j, i;
1835 1.1 jonathan unsigned char over;
1836 1.1 jonathan
1837 1.1 jonathan for (j = 0; j < nbit; j += 8) {
1838 1.1 jonathan s = (nbit - j < 8) ? (nbit - j): 8;
1839 1.1 jonathan bitmap[0] <<= s;
1840 1.1 jonathan for (i = 1; i < wsize; i++) {
1841 1.1 jonathan over = (bitmap[i] >> (8 - s));
1842 1.1 jonathan bitmap[i] <<= s;
1843 1.1 jonathan bitmap[i-1] |= over;
1844 1.1 jonathan }
1845 1.1 jonathan }
1846 1.1 jonathan
1847 1.1 jonathan return;
1848 1.1 jonathan }
1849 1.1 jonathan
1850 1.1 jonathan /* Return a printable string for the address. */
1851 1.17 christos const char *
1852 1.88 ryo ipsec_address(const union sockaddr_union *sa, char *buf, size_t size)
1853 1.1 jonathan {
1854 1.1 jonathan switch (sa->sa.sa_family) {
1855 1.1 jonathan #if INET
1856 1.1 jonathan case AF_INET:
1857 1.88 ryo in_print(buf, size, &sa->sin.sin_addr);
1858 1.88 ryo return buf;
1859 1.129 maxv #endif
1860 1.1 jonathan #if INET6
1861 1.1 jonathan case AF_INET6:
1862 1.88 ryo in6_print(buf, size, &sa->sin6.sin6_addr);
1863 1.88 ryo return buf;
1864 1.129 maxv #endif
1865 1.1 jonathan default:
1866 1.1 jonathan return "(unknown address family)";
1867 1.1 jonathan }
1868 1.1 jonathan }
1869 1.1 jonathan
1870 1.1 jonathan const char *
1871 1.88 ryo ipsec_logsastr(const struct secasvar *sav, char *buf, size_t size)
1872 1.1 jonathan {
1873 1.50 drochner const struct secasindex *saidx = &sav->sah->saidx;
1874 1.88 ryo char sbuf[IPSEC_ADDRSTRLEN], dbuf[IPSEC_ADDRSTRLEN];
1875 1.1 jonathan
1876 1.74 ozaki KASSERTMSG(saidx->src.sa.sa_family == saidx->dst.sa.sa_family,
1877 1.74 ozaki "af family mismatch, src %u, dst %u",
1878 1.74 ozaki saidx->src.sa.sa_family, saidx->dst.sa.sa_family);
1879 1.1 jonathan
1880 1.88 ryo snprintf(buf, size, "SA(SPI=%u src=%s dst=%s)",
1881 1.88 ryo (u_int32_t)ntohl(sav->spi),
1882 1.88 ryo ipsec_address(&saidx->src, sbuf, sizeof(sbuf)),
1883 1.88 ryo ipsec_address(&saidx->dst, dbuf, sizeof(dbuf)));
1884 1.1 jonathan
1885 1.1 jonathan return buf;
1886 1.1 jonathan }
1887 1.1 jonathan
1888 1.1 jonathan void
1889 1.33 degroote ipsec_dumpmbuf(struct mbuf *m)
1890 1.1 jonathan {
1891 1.1 jonathan int totlen;
1892 1.1 jonathan int i;
1893 1.1 jonathan u_char *p;
1894 1.1 jonathan
1895 1.1 jonathan totlen = 0;
1896 1.1 jonathan printf("---\n");
1897 1.1 jonathan while (m) {
1898 1.1 jonathan p = mtod(m, u_char *);
1899 1.1 jonathan for (i = 0; i < m->m_len; i++) {
1900 1.1 jonathan printf("%02x ", p[i]);
1901 1.1 jonathan totlen++;
1902 1.1 jonathan if (totlen % 16 == 0)
1903 1.1 jonathan printf("\n");
1904 1.1 jonathan }
1905 1.1 jonathan m = m->m_next;
1906 1.1 jonathan }
1907 1.1 jonathan if (totlen % 16 != 0)
1908 1.1 jonathan printf("\n");
1909 1.1 jonathan printf("---\n");
1910 1.1 jonathan }
1911 1.1 jonathan
1912 1.26 degroote #ifdef INET6
1913 1.129 maxv struct secpolicy *
1914 1.129 maxv ipsec6_check_policy(struct mbuf *m, struct in6pcb *in6p, int flags,
1915 1.129 maxv int *needipsecp, int *errorp)
1916 1.26 degroote {
1917 1.26 degroote struct secpolicy *sp = NULL;
1918 1.26 degroote int s;
1919 1.26 degroote int error = 0;
1920 1.26 degroote int needipsec = 0;
1921 1.26 degroote
1922 1.151 maxv if (ipsec_outdone(m)) {
1923 1.151 maxv goto skippolicycheck;
1924 1.151 maxv }
1925 1.151 maxv s = splsoftnet();
1926 1.151 maxv if (in6p && ipsec_pcb_skip_ipsec(in6p->in6p_sp, IPSEC_DIR_OUTBOUND)) {
1927 1.151 maxv splx(s);
1928 1.151 maxv goto skippolicycheck;
1929 1.151 maxv }
1930 1.151 maxv sp = ipsec_checkpolicy(m, IPSEC_DIR_OUTBOUND, flags, &error, in6p);
1931 1.151 maxv splx(s);
1932 1.26 degroote
1933 1.151 maxv /*
1934 1.151 maxv * There are four return cases:
1935 1.151 maxv * sp != NULL apply IPsec policy
1936 1.151 maxv * sp == NULL, error == 0 no IPsec handling needed
1937 1.151 maxv * sp == NULL, error == -EINVAL discard packet w/o error
1938 1.151 maxv * sp == NULL, error != 0 discard packet, report error
1939 1.151 maxv */
1940 1.151 maxv if (sp == NULL) {
1941 1.151 maxv needipsec = 0;
1942 1.151 maxv } else {
1943 1.151 maxv needipsec = 1;
1944 1.26 degroote }
1945 1.26 degroote
1946 1.151 maxv skippolicycheck:
1947 1.26 degroote *errorp = error;
1948 1.26 degroote *needipsecp = needipsec;
1949 1.26 degroote return sp;
1950 1.26 degroote }
1951 1.66 ozaki
1952 1.66 ozaki int
1953 1.66 ozaki ipsec6_input(struct mbuf *m)
1954 1.66 ozaki {
1955 1.66 ozaki int s, error;
1956 1.66 ozaki
1957 1.66 ozaki s = splsoftnet();
1958 1.141 maxv error = ipsec_in_reject(m, NULL);
1959 1.141 maxv splx(s);
1960 1.141 maxv if (error) {
1961 1.140 maxv return EINVAL;
1962 1.66 ozaki }
1963 1.140 maxv
1964 1.141 maxv return 0;
1965 1.66 ozaki }
1966 1.66 ozaki #endif /* INET6 */
1967 1.26 degroote
1968 1.135 maxv /*
1969 1.135 maxv * -----------------------------------------------------------------------------
1970 1.135 maxv */
1971 1.26 degroote
1972 1.1 jonathan /* XXX this stuff doesn't belong here... */
1973 1.1 jonathan
1974 1.135 maxv static struct xformsw *xforms = NULL;
1975 1.1 jonathan
1976 1.1 jonathan /*
1977 1.1 jonathan * Register a transform; typically at system startup.
1978 1.1 jonathan */
1979 1.1 jonathan void
1980 1.51 drochner xform_register(struct xformsw *xsp)
1981 1.1 jonathan {
1982 1.1 jonathan xsp->xf_next = xforms;
1983 1.1 jonathan xforms = xsp;
1984 1.1 jonathan }
1985 1.1 jonathan
1986 1.1 jonathan /*
1987 1.1 jonathan * Initialize transform support in an sav.
1988 1.1 jonathan */
1989 1.1 jonathan int
1990 1.1 jonathan xform_init(struct secasvar *sav, int xftype)
1991 1.1 jonathan {
1992 1.1 jonathan struct xformsw *xsp;
1993 1.1 jonathan
1994 1.1 jonathan if (sav->tdb_xform != NULL) /* previously initialized */
1995 1.1 jonathan return 0;
1996 1.1 jonathan for (xsp = xforms; xsp; xsp = xsp->xf_next)
1997 1.1 jonathan if (xsp->xf_type == xftype)
1998 1.1 jonathan return (*xsp->xf_init)(sav, xsp);
1999 1.1 jonathan
2000 1.92 ozaki IPSECLOG(LOG_DEBUG, "no match for xform type %d\n", xftype);
2001 1.1 jonathan return EINVAL;
2002 1.1 jonathan }
2003 1.1 jonathan
2004 1.58 christos void
2005 1.129 maxv nat_t_ports_get(struct mbuf *m, u_int16_t *dport, u_int16_t *sport)
2006 1.129 maxv {
2007 1.58 christos struct m_tag *tag;
2008 1.58 christos
2009 1.58 christos if ((tag = m_tag_find(m, PACKET_TAG_IPSEC_NAT_T_PORTS, NULL))) {
2010 1.58 christos *sport = ((u_int16_t *)(tag + 1))[0];
2011 1.58 christos *dport = ((u_int16_t *)(tag + 1))[1];
2012 1.58 christos } else
2013 1.58 christos *sport = *dport = 0;
2014 1.58 christos }
2015 1.58 christos
2016 1.37 thorpej /*
2017 1.37 thorpej * XXXJRT This should be done as a protosw init call.
2018 1.37 thorpej */
2019 1.1 jonathan void
2020 1.1 jonathan ipsec_attach(void)
2021 1.1 jonathan {
2022 1.37 thorpej
2023 1.118 ozaki ipsec_output_init();
2024 1.118 ozaki
2025 1.37 thorpej ipsecstat_percpu = percpu_alloc(sizeof(uint64_t) * IPSEC_NSTATS);
2026 1.37 thorpej
2027 1.71 ozaki sysctl_net_inet_ipsec_setup(NULL);
2028 1.71 ozaki #ifdef INET6
2029 1.71 ozaki sysctl_net_inet6_ipsec6_setup(NULL);
2030 1.71 ozaki #endif
2031 1.71 ozaki
2032 1.1 jonathan ah_attach();
2033 1.1 jonathan esp_attach();
2034 1.1 jonathan ipcomp_attach();
2035 1.1 jonathan ipe4_attach();
2036 1.12 jonathan #ifdef TCP_SIGNATURE
2037 1.12 jonathan tcpsignature_attach();
2038 1.12 jonathan #endif
2039 1.1 jonathan }
2040