2 * xfrm_replay.c - xfrm replay detection, derived from xfrm_state.c.
4 * Copyright (C) 2010 secunet Security Networks AG
5 * Copyright (C) 2010 Steffen Klassert <steffen.klassert@secunet.com>
7 * This program is free software; you can redistribute it and/or modify it
8 * under the terms and conditions of the GNU General Public License,
9 * version 2, as published by the Free Software Foundation.
11 * This program is distributed in the hope it will be useful, but WITHOUT
12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
16 * You should have received a copy of the GNU General Public License along with
17 * this program; if not, write to the Free Software Foundation, Inc.,
18 * 51 Franklin St - Fifth Floor, Boston, MA 02110-1301 USA.
21 #include <linux/export.h>
24 u32
xfrm_replay_seqhi(struct xfrm_state
*x
, __be32 net_seq
)
26 u32 seq
, seq_hi
, bottom
;
27 struct xfrm_replay_state_esn
*replay_esn
= x
->replay_esn
;
29 if (!(x
->props
.flags
& XFRM_STATE_ESN
))
33 seq_hi
= replay_esn
->seq_hi
;
34 bottom
= replay_esn
->seq
- replay_esn
->replay_window
+ 1;
36 if (likely(replay_esn
->seq
>= replay_esn
->replay_window
- 1)) {
37 /* A. same subspace */
38 if (unlikely(seq
< bottom
))
41 /* B. window spans two subspaces */
42 if (unlikely(seq
>= bottom
))
49 static void xfrm_replay_notify(struct xfrm_state
*x
, int event
)
52 /* we send notify messages in case
53 * 1. we updated on of the sequence numbers, and the seqno difference
54 * is at least x->replay_maxdiff, in this case we also update the
55 * timeout of our timer function
56 * 2. if x->replay_maxage has elapsed since last update,
57 * and there were changes
59 * The state structure must be locked!
63 case XFRM_REPLAY_UPDATE
:
64 if (x
->replay_maxdiff
&&
65 (x
->replay
.seq
- x
->preplay
.seq
< x
->replay_maxdiff
) &&
66 (x
->replay
.oseq
- x
->preplay
.oseq
< x
->replay_maxdiff
)) {
67 if (x
->xflags
& XFRM_TIME_DEFER
)
68 event
= XFRM_REPLAY_TIMEOUT
;
75 case XFRM_REPLAY_TIMEOUT
:
76 if (memcmp(&x
->replay
, &x
->preplay
,
77 sizeof(struct xfrm_replay_state
)) == 0) {
78 x
->xflags
|= XFRM_TIME_DEFER
;
85 memcpy(&x
->preplay
, &x
->replay
, sizeof(struct xfrm_replay_state
));
86 c
.event
= XFRM_MSG_NEWAE
;
87 c
.data
.aevent
= event
;
88 km_state_notify(x
, &c
);
90 if (x
->replay_maxage
&&
91 !mod_timer(&x
->rtimer
, jiffies
+ x
->replay_maxage
))
92 x
->xflags
&= ~XFRM_TIME_DEFER
;
95 static int xfrm_replay_overflow(struct xfrm_state
*x
, struct sk_buff
*skb
)
98 struct net
*net
= xs_net(x
);
100 if (x
->type
->flags
& XFRM_TYPE_REPLAY_PROT
) {
101 XFRM_SKB_CB(skb
)->seq
.output
.low
= ++x
->replay
.oseq
;
102 if (unlikely(x
->replay
.oseq
== 0)) {
104 xfrm_audit_state_replay_overflow(x
, skb
);
109 if (xfrm_aevent_is_on(net
))
110 x
->repl
->notify(x
, XFRM_REPLAY_UPDATE
);
116 static int xfrm_replay_check(struct xfrm_state
*x
,
117 struct sk_buff
*skb
, __be32 net_seq
)
120 u32 seq
= ntohl(net_seq
);
122 if (!x
->props
.replay_window
)
125 if (unlikely(seq
== 0))
128 if (likely(seq
> x
->replay
.seq
))
131 diff
= x
->replay
.seq
- seq
;
132 if (diff
>= min_t(unsigned int, x
->props
.replay_window
,
133 sizeof(x
->replay
.bitmap
) * 8)) {
134 x
->stats
.replay_window
++;
138 if (x
->replay
.bitmap
& (1U << diff
)) {
145 xfrm_audit_state_replay(x
, skb
, net_seq
);
149 static void xfrm_replay_advance(struct xfrm_state
*x
, __be32 net_seq
)
152 u32 seq
= ntohl(net_seq
);
154 if (!x
->props
.replay_window
)
157 if (seq
> x
->replay
.seq
) {
158 diff
= seq
- x
->replay
.seq
;
159 if (diff
< x
->props
.replay_window
)
160 x
->replay
.bitmap
= ((x
->replay
.bitmap
) << diff
) | 1;
162 x
->replay
.bitmap
= 1;
165 diff
= x
->replay
.seq
- seq
;
166 x
->replay
.bitmap
|= (1U << diff
);
169 if (xfrm_aevent_is_on(xs_net(x
)))
170 x
->repl
->notify(x
, XFRM_REPLAY_UPDATE
);
173 static int xfrm_replay_overflow_bmp(struct xfrm_state
*x
, struct sk_buff
*skb
)
176 struct xfrm_replay_state_esn
*replay_esn
= x
->replay_esn
;
177 struct net
*net
= xs_net(x
);
179 if (x
->type
->flags
& XFRM_TYPE_REPLAY_PROT
) {
180 XFRM_SKB_CB(skb
)->seq
.output
.low
= ++replay_esn
->oseq
;
181 if (unlikely(replay_esn
->oseq
== 0)) {
183 xfrm_audit_state_replay_overflow(x
, skb
);
188 if (xfrm_aevent_is_on(net
))
189 x
->repl
->notify(x
, XFRM_REPLAY_UPDATE
);
195 static int xfrm_replay_check_bmp(struct xfrm_state
*x
,
196 struct sk_buff
*skb
, __be32 net_seq
)
198 unsigned int bitnr
, nr
;
199 struct xfrm_replay_state_esn
*replay_esn
= x
->replay_esn
;
201 u32 seq
= ntohl(net_seq
);
202 u32 diff
= replay_esn
->seq
- seq
;
204 if (!replay_esn
->replay_window
)
207 if (unlikely(seq
== 0))
210 if (likely(seq
> replay_esn
->seq
))
213 if (diff
>= replay_esn
->replay_window
) {
214 x
->stats
.replay_window
++;
218 pos
= (replay_esn
->seq
- 1) % replay_esn
->replay_window
;
221 bitnr
= (pos
- diff
) % replay_esn
->replay_window
;
223 bitnr
= replay_esn
->replay_window
- (diff
- pos
);
226 bitnr
= bitnr
& 0x1F;
227 if (replay_esn
->bmp
[nr
] & (1U << bitnr
))
235 xfrm_audit_state_replay(x
, skb
, net_seq
);
239 static void xfrm_replay_advance_bmp(struct xfrm_state
*x
, __be32 net_seq
)
241 unsigned int bitnr
, nr
, i
;
243 struct xfrm_replay_state_esn
*replay_esn
= x
->replay_esn
;
244 u32 seq
= ntohl(net_seq
);
245 u32 pos
= (replay_esn
->seq
- 1) % replay_esn
->replay_window
;
247 if (!replay_esn
->replay_window
)
250 if (seq
> replay_esn
->seq
) {
251 diff
= seq
- replay_esn
->seq
;
253 if (diff
< replay_esn
->replay_window
) {
254 for (i
= 1; i
< diff
; i
++) {
255 bitnr
= (pos
+ i
) % replay_esn
->replay_window
;
257 bitnr
= bitnr
& 0x1F;
258 replay_esn
->bmp
[nr
] &= ~(1U << bitnr
);
261 nr
= (replay_esn
->replay_window
- 1) >> 5;
262 for (i
= 0; i
<= nr
; i
++)
263 replay_esn
->bmp
[i
] = 0;
266 bitnr
= (pos
+ diff
) % replay_esn
->replay_window
;
267 replay_esn
->seq
= seq
;
269 diff
= replay_esn
->seq
- seq
;
272 bitnr
= (pos
- diff
) % replay_esn
->replay_window
;
274 bitnr
= replay_esn
->replay_window
- (diff
- pos
);
278 bitnr
= bitnr
& 0x1F;
279 replay_esn
->bmp
[nr
] |= (1U << bitnr
);
281 if (xfrm_aevent_is_on(xs_net(x
)))
282 x
->repl
->notify(x
, XFRM_REPLAY_UPDATE
);
285 static void xfrm_replay_notify_bmp(struct xfrm_state
*x
, int event
)
288 struct xfrm_replay_state_esn
*replay_esn
= x
->replay_esn
;
289 struct xfrm_replay_state_esn
*preplay_esn
= x
->preplay_esn
;
291 /* we send notify messages in case
292 * 1. we updated on of the sequence numbers, and the seqno difference
293 * is at least x->replay_maxdiff, in this case we also update the
294 * timeout of our timer function
295 * 2. if x->replay_maxage has elapsed since last update,
296 * and there were changes
298 * The state structure must be locked!
302 case XFRM_REPLAY_UPDATE
:
303 if (x
->replay_maxdiff
&&
304 (replay_esn
->seq
- preplay_esn
->seq
< x
->replay_maxdiff
) &&
305 (replay_esn
->oseq
- preplay_esn
->oseq
< x
->replay_maxdiff
)) {
306 if (x
->xflags
& XFRM_TIME_DEFER
)
307 event
= XFRM_REPLAY_TIMEOUT
;
314 case XFRM_REPLAY_TIMEOUT
:
315 if (memcmp(x
->replay_esn
, x
->preplay_esn
,
316 xfrm_replay_state_esn_len(replay_esn
)) == 0) {
317 x
->xflags
|= XFRM_TIME_DEFER
;
324 memcpy(x
->preplay_esn
, x
->replay_esn
,
325 xfrm_replay_state_esn_len(replay_esn
));
326 c
.event
= XFRM_MSG_NEWAE
;
327 c
.data
.aevent
= event
;
328 km_state_notify(x
, &c
);
330 if (x
->replay_maxage
&&
331 !mod_timer(&x
->rtimer
, jiffies
+ x
->replay_maxage
))
332 x
->xflags
&= ~XFRM_TIME_DEFER
;
335 static int xfrm_replay_overflow_esn(struct xfrm_state
*x
, struct sk_buff
*skb
)
338 struct xfrm_replay_state_esn
*replay_esn
= x
->replay_esn
;
339 struct net
*net
= xs_net(x
);
341 if (x
->type
->flags
& XFRM_TYPE_REPLAY_PROT
) {
342 XFRM_SKB_CB(skb
)->seq
.output
.low
= ++replay_esn
->oseq
;
343 XFRM_SKB_CB(skb
)->seq
.output
.hi
= replay_esn
->oseq_hi
;
345 if (unlikely(replay_esn
->oseq
== 0)) {
346 XFRM_SKB_CB(skb
)->seq
.output
.hi
= ++replay_esn
->oseq_hi
;
348 if (replay_esn
->oseq_hi
== 0) {
350 replay_esn
->oseq_hi
--;
351 xfrm_audit_state_replay_overflow(x
, skb
);
357 if (xfrm_aevent_is_on(net
))
358 x
->repl
->notify(x
, XFRM_REPLAY_UPDATE
);
364 static int xfrm_replay_check_esn(struct xfrm_state
*x
,
365 struct sk_buff
*skb
, __be32 net_seq
)
367 unsigned int bitnr
, nr
;
369 struct xfrm_replay_state_esn
*replay_esn
= x
->replay_esn
;
371 u32 seq
= ntohl(net_seq
);
372 u32 wsize
= replay_esn
->replay_window
;
373 u32 top
= replay_esn
->seq
;
374 u32 bottom
= top
- wsize
+ 1;
379 if (unlikely(seq
== 0 && replay_esn
->seq_hi
== 0 &&
380 (replay_esn
->seq
< replay_esn
->replay_window
- 1)))
385 if (likely(top
>= wsize
- 1)) {
386 /* A. same subspace */
387 if (likely(seq
> top
) || seq
< bottom
)
390 /* B. window spans two subspaces */
391 if (likely(seq
> top
&& seq
< bottom
))
394 diff
= ~seq
+ top
+ 1;
397 if (diff
>= replay_esn
->replay_window
) {
398 x
->stats
.replay_window
++;
402 pos
= (replay_esn
->seq
- 1) % replay_esn
->replay_window
;
405 bitnr
= (pos
- diff
) % replay_esn
->replay_window
;
407 bitnr
= replay_esn
->replay_window
- (diff
- pos
);
410 bitnr
= bitnr
& 0x1F;
411 if (replay_esn
->bmp
[nr
] & (1U << bitnr
))
419 xfrm_audit_state_replay(x
, skb
, net_seq
);
423 static void xfrm_replay_advance_esn(struct xfrm_state
*x
, __be32 net_seq
)
425 unsigned int bitnr
, nr
, i
;
427 u32 diff
, pos
, seq
, seq_hi
;
428 struct xfrm_replay_state_esn
*replay_esn
= x
->replay_esn
;
430 if (!replay_esn
->replay_window
)
433 seq
= ntohl(net_seq
);
434 pos
= (replay_esn
->seq
- 1) % replay_esn
->replay_window
;
435 seq_hi
= xfrm_replay_seqhi(x
, net_seq
);
436 wrap
= seq_hi
- replay_esn
->seq_hi
;
438 if ((!wrap
&& seq
> replay_esn
->seq
) || wrap
> 0) {
440 diff
= seq
- replay_esn
->seq
;
442 diff
= ~replay_esn
->seq
+ seq
+ 1;
444 if (diff
< replay_esn
->replay_window
) {
445 for (i
= 1; i
< diff
; i
++) {
446 bitnr
= (pos
+ i
) % replay_esn
->replay_window
;
448 bitnr
= bitnr
& 0x1F;
449 replay_esn
->bmp
[nr
] &= ~(1U << bitnr
);
452 nr
= (replay_esn
->replay_window
- 1) >> 5;
453 for (i
= 0; i
<= nr
; i
++)
454 replay_esn
->bmp
[i
] = 0;
457 bitnr
= (pos
+ diff
) % replay_esn
->replay_window
;
458 replay_esn
->seq
= seq
;
460 if (unlikely(wrap
> 0))
461 replay_esn
->seq_hi
++;
463 diff
= replay_esn
->seq
- seq
;
466 bitnr
= (pos
- diff
) % replay_esn
->replay_window
;
468 bitnr
= replay_esn
->replay_window
- (diff
- pos
);
472 bitnr
= bitnr
& 0x1F;
473 replay_esn
->bmp
[nr
] |= (1U << bitnr
);
475 if (xfrm_aevent_is_on(xs_net(x
)))
476 x
->repl
->notify(x
, XFRM_REPLAY_UPDATE
);
479 static struct xfrm_replay xfrm_replay_legacy
= {
480 .advance
= xfrm_replay_advance
,
481 .check
= xfrm_replay_check
,
482 .notify
= xfrm_replay_notify
,
483 .overflow
= xfrm_replay_overflow
,
486 static struct xfrm_replay xfrm_replay_bmp
= {
487 .advance
= xfrm_replay_advance_bmp
,
488 .check
= xfrm_replay_check_bmp
,
489 .notify
= xfrm_replay_notify_bmp
,
490 .overflow
= xfrm_replay_overflow_bmp
,
493 static struct xfrm_replay xfrm_replay_esn
= {
494 .advance
= xfrm_replay_advance_esn
,
495 .check
= xfrm_replay_check_esn
,
496 .notify
= xfrm_replay_notify_bmp
,
497 .overflow
= xfrm_replay_overflow_esn
,
500 int xfrm_init_replay(struct xfrm_state
*x
)
502 struct xfrm_replay_state_esn
*replay_esn
= x
->replay_esn
;
505 if (replay_esn
->replay_window
>
506 replay_esn
->bmp_len
* sizeof(__u32
) * 8)
509 if ((x
->props
.flags
& XFRM_STATE_ESN
) && replay_esn
->replay_window
== 0)
512 if ((x
->props
.flags
& XFRM_STATE_ESN
) && x
->replay_esn
)
513 x
->repl
= &xfrm_replay_esn
;
515 x
->repl
= &xfrm_replay_bmp
;
517 x
->repl
= &xfrm_replay_legacy
;
521 EXPORT_SYMBOL(xfrm_init_replay
);