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