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