| Steffen Klassert | 9fdc488 | 2011-03-08 00:08:32 +0000 | [diff] [blame] | 1 | /* | 
|  | 2 | * xfrm_replay.c - xfrm replay detection, derived from xfrm_state.c. | 
| Steffen Klassert | 97e15c3 | 2011-03-08 00:09:09 +0000 | [diff] [blame] | 3 | * | 
|  | 4 | * Copyright (C) 2010 secunet Security Networks AG | 
|  | 5 | * Copyright (C) 2010 Steffen Klassert <steffen.klassert@secunet.com> | 
|  | 6 | * | 
|  | 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. | 
|  | 10 | * | 
|  | 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 | 
|  | 14 | * more details. | 
|  | 15 | * | 
|  | 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. | 
| Steffen Klassert | 9fdc488 | 2011-03-08 00:08:32 +0000 | [diff] [blame] | 19 | */ | 
|  | 20 |  | 
|  | 21 | #include <net/xfrm.h> | 
|  | 22 |  | 
| Steffen Klassert | 2cd0846 | 2011-03-08 00:09:51 +0000 | [diff] [blame] | 23 | u32 xfrm_replay_seqhi(struct xfrm_state *x, __be32 net_seq) | 
|  | 24 | { | 
|  | 25 | u32 seq, seq_hi, bottom; | 
|  | 26 | struct xfrm_replay_state_esn *replay_esn = x->replay_esn; | 
|  | 27 |  | 
|  | 28 | if (!(x->props.flags & XFRM_STATE_ESN)) | 
|  | 29 | return 0; | 
|  | 30 |  | 
|  | 31 | seq = ntohl(net_seq); | 
|  | 32 | seq_hi = replay_esn->seq_hi; | 
|  | 33 | bottom = replay_esn->seq - replay_esn->replay_window + 1; | 
|  | 34 |  | 
|  | 35 | if (likely(replay_esn->seq >= replay_esn->replay_window - 1)) { | 
|  | 36 | /* A. same subspace */ | 
|  | 37 | if (unlikely(seq < bottom)) | 
|  | 38 | seq_hi++; | 
|  | 39 | } else { | 
|  | 40 | /* B. window spans two subspaces */ | 
|  | 41 | if (unlikely(seq >= bottom)) | 
|  | 42 | seq_hi--; | 
|  | 43 | } | 
|  | 44 |  | 
|  | 45 | return seq_hi; | 
|  | 46 | } | 
|  | 47 |  | 
| Steffen Klassert | 9fdc488 | 2011-03-08 00:08:32 +0000 | [diff] [blame] | 48 | static void xfrm_replay_notify(struct xfrm_state *x, int event) | 
|  | 49 | { | 
|  | 50 | struct km_event c; | 
|  | 51 | /* we send notify messages in case | 
|  | 52 | *  1. we updated on of the sequence numbers, and the seqno difference | 
|  | 53 | *     is at least x->replay_maxdiff, in this case we also update the | 
|  | 54 | *     timeout of our timer function | 
|  | 55 | *  2. if x->replay_maxage has elapsed since last update, | 
|  | 56 | *     and there were changes | 
|  | 57 | * | 
|  | 58 | *  The state structure must be locked! | 
|  | 59 | */ | 
|  | 60 |  | 
|  | 61 | switch (event) { | 
|  | 62 | case XFRM_REPLAY_UPDATE: | 
|  | 63 | if (x->replay_maxdiff && | 
|  | 64 | (x->replay.seq - x->preplay.seq < x->replay_maxdiff) && | 
|  | 65 | (x->replay.oseq - x->preplay.oseq < x->replay_maxdiff)) { | 
|  | 66 | if (x->xflags & XFRM_TIME_DEFER) | 
|  | 67 | event = XFRM_REPLAY_TIMEOUT; | 
|  | 68 | else | 
|  | 69 | return; | 
|  | 70 | } | 
|  | 71 |  | 
|  | 72 | break; | 
|  | 73 |  | 
|  | 74 | case XFRM_REPLAY_TIMEOUT: | 
|  | 75 | if (memcmp(&x->replay, &x->preplay, | 
|  | 76 | sizeof(struct xfrm_replay_state)) == 0) { | 
|  | 77 | x->xflags |= XFRM_TIME_DEFER; | 
|  | 78 | return; | 
|  | 79 | } | 
|  | 80 |  | 
|  | 81 | break; | 
|  | 82 | } | 
|  | 83 |  | 
|  | 84 | memcpy(&x->preplay, &x->replay, sizeof(struct xfrm_replay_state)); | 
|  | 85 | c.event = XFRM_MSG_NEWAE; | 
|  | 86 | c.data.aevent = event; | 
|  | 87 | km_state_notify(x, &c); | 
|  | 88 |  | 
|  | 89 | if (x->replay_maxage && | 
|  | 90 | !mod_timer(&x->rtimer, jiffies + x->replay_maxage)) | 
|  | 91 | x->xflags &= ~XFRM_TIME_DEFER; | 
|  | 92 | } | 
|  | 93 |  | 
|  | 94 | static int xfrm_replay_overflow(struct xfrm_state *x, struct sk_buff *skb) | 
|  | 95 | { | 
|  | 96 | int err = 0; | 
|  | 97 | struct net *net = xs_net(x); | 
|  | 98 |  | 
|  | 99 | if (x->type->flags & XFRM_TYPE_REPLAY_PROT) { | 
|  | 100 | XFRM_SKB_CB(skb)->seq.output.low = ++x->replay.oseq; | 
|  | 101 | if (unlikely(x->replay.oseq == 0)) { | 
|  | 102 | x->replay.oseq--; | 
|  | 103 | xfrm_audit_state_replay_overflow(x, skb); | 
|  | 104 | err = -EOVERFLOW; | 
|  | 105 |  | 
|  | 106 | return err; | 
|  | 107 | } | 
|  | 108 | if (xfrm_aevent_is_on(net)) | 
|  | 109 | x->repl->notify(x, XFRM_REPLAY_UPDATE); | 
|  | 110 | } | 
|  | 111 |  | 
|  | 112 | return err; | 
|  | 113 | } | 
|  | 114 |  | 
|  | 115 | static int xfrm_replay_check(struct xfrm_state *x, | 
|  | 116 | struct sk_buff *skb, __be32 net_seq) | 
|  | 117 | { | 
|  | 118 | u32 diff; | 
|  | 119 | u32 seq = ntohl(net_seq); | 
|  | 120 |  | 
| Steffen Klassert | 36ae014 | 2011-03-28 19:45:52 +0000 | [diff] [blame] | 121 | if (!x->props.replay_window) | 
|  | 122 | return 0; | 
|  | 123 |  | 
| Steffen Klassert | 9fdc488 | 2011-03-08 00:08:32 +0000 | [diff] [blame] | 124 | if (unlikely(seq == 0)) | 
|  | 125 | goto err; | 
|  | 126 |  | 
|  | 127 | if (likely(seq > x->replay.seq)) | 
|  | 128 | return 0; | 
|  | 129 |  | 
|  | 130 | diff = x->replay.seq - seq; | 
|  | 131 | if (diff >= min_t(unsigned int, x->props.replay_window, | 
|  | 132 | sizeof(x->replay.bitmap) * 8)) { | 
|  | 133 | x->stats.replay_window++; | 
|  | 134 | goto err; | 
|  | 135 | } | 
|  | 136 |  | 
|  | 137 | if (x->replay.bitmap & (1U << diff)) { | 
|  | 138 | x->stats.replay++; | 
|  | 139 | goto err; | 
|  | 140 | } | 
|  | 141 | return 0; | 
|  | 142 |  | 
|  | 143 | err: | 
|  | 144 | xfrm_audit_state_replay(x, skb, net_seq); | 
|  | 145 | return -EINVAL; | 
|  | 146 | } | 
|  | 147 |  | 
|  | 148 | static void xfrm_replay_advance(struct xfrm_state *x, __be32 net_seq) | 
|  | 149 | { | 
|  | 150 | u32 diff; | 
|  | 151 | u32 seq = ntohl(net_seq); | 
|  | 152 |  | 
|  | 153 | if (!x->props.replay_window) | 
|  | 154 | return; | 
|  | 155 |  | 
|  | 156 | if (seq > x->replay.seq) { | 
|  | 157 | diff = seq - x->replay.seq; | 
|  | 158 | if (diff < x->props.replay_window) | 
|  | 159 | x->replay.bitmap = ((x->replay.bitmap) << diff) | 1; | 
|  | 160 | else | 
|  | 161 | x->replay.bitmap = 1; | 
|  | 162 | x->replay.seq = seq; | 
|  | 163 | } else { | 
|  | 164 | diff = x->replay.seq - seq; | 
|  | 165 | x->replay.bitmap |= (1U << diff); | 
|  | 166 | } | 
|  | 167 |  | 
|  | 168 | if (xfrm_aevent_is_on(xs_net(x))) | 
|  | 169 | xfrm_replay_notify(x, XFRM_REPLAY_UPDATE); | 
|  | 170 | } | 
|  | 171 |  | 
| Steffen Klassert | 97e15c3 | 2011-03-08 00:09:09 +0000 | [diff] [blame] | 172 | static int xfrm_replay_overflow_bmp(struct xfrm_state *x, struct sk_buff *skb) | 
|  | 173 | { | 
|  | 174 | int err = 0; | 
|  | 175 | struct xfrm_replay_state_esn *replay_esn = x->replay_esn; | 
|  | 176 | struct net *net = xs_net(x); | 
|  | 177 |  | 
|  | 178 | if (x->type->flags & XFRM_TYPE_REPLAY_PROT) { | 
|  | 179 | XFRM_SKB_CB(skb)->seq.output.low = ++replay_esn->oseq; | 
|  | 180 | if (unlikely(replay_esn->oseq == 0)) { | 
|  | 181 | replay_esn->oseq--; | 
|  | 182 | xfrm_audit_state_replay_overflow(x, skb); | 
|  | 183 | err = -EOVERFLOW; | 
|  | 184 |  | 
|  | 185 | return err; | 
|  | 186 | } | 
|  | 187 | if (xfrm_aevent_is_on(net)) | 
|  | 188 | x->repl->notify(x, XFRM_REPLAY_UPDATE); | 
|  | 189 | } | 
|  | 190 |  | 
|  | 191 | return err; | 
|  | 192 | } | 
|  | 193 |  | 
|  | 194 | static int xfrm_replay_check_bmp(struct xfrm_state *x, | 
|  | 195 | struct sk_buff *skb, __be32 net_seq) | 
|  | 196 | { | 
|  | 197 | unsigned int bitnr, nr; | 
|  | 198 | struct xfrm_replay_state_esn *replay_esn = x->replay_esn; | 
| Steffen Klassert | 36ae014 | 2011-03-28 19:45:52 +0000 | [diff] [blame] | 199 | u32 pos; | 
| Steffen Klassert | 97e15c3 | 2011-03-08 00:09:09 +0000 | [diff] [blame] | 200 | u32 seq = ntohl(net_seq); | 
|  | 201 | u32 diff =  replay_esn->seq - seq; | 
| Steffen Klassert | 36ae014 | 2011-03-28 19:45:52 +0000 | [diff] [blame] | 202 |  | 
|  | 203 | if (!replay_esn->replay_window) | 
|  | 204 | return 0; | 
|  | 205 |  | 
|  | 206 | pos = (replay_esn->seq - 1) % replay_esn->replay_window; | 
| Steffen Klassert | 97e15c3 | 2011-03-08 00:09:09 +0000 | [diff] [blame] | 207 |  | 
|  | 208 | if (unlikely(seq == 0)) | 
|  | 209 | goto err; | 
|  | 210 |  | 
|  | 211 | if (likely(seq > replay_esn->seq)) | 
|  | 212 | return 0; | 
|  | 213 |  | 
|  | 214 | if (diff >= replay_esn->replay_window) { | 
|  | 215 | x->stats.replay_window++; | 
|  | 216 | goto err; | 
|  | 217 | } | 
|  | 218 |  | 
|  | 219 | if (pos >= diff) { | 
|  | 220 | bitnr = (pos - diff) % replay_esn->replay_window; | 
|  | 221 | nr = bitnr >> 5; | 
|  | 222 | bitnr = bitnr & 0x1F; | 
|  | 223 | if (replay_esn->bmp[nr] & (1U << bitnr)) | 
|  | 224 | goto err_replay; | 
|  | 225 | } else { | 
|  | 226 | bitnr = replay_esn->replay_window - (diff - pos); | 
|  | 227 | nr = bitnr >> 5; | 
|  | 228 | bitnr = bitnr & 0x1F; | 
|  | 229 | if (replay_esn->bmp[nr] & (1U << bitnr)) | 
|  | 230 | goto err_replay; | 
|  | 231 | } | 
|  | 232 | return 0; | 
|  | 233 |  | 
|  | 234 | err_replay: | 
|  | 235 | x->stats.replay++; | 
|  | 236 | err: | 
|  | 237 | xfrm_audit_state_replay(x, skb, net_seq); | 
|  | 238 | return -EINVAL; | 
|  | 239 | } | 
|  | 240 |  | 
|  | 241 | static void xfrm_replay_advance_bmp(struct xfrm_state *x, __be32 net_seq) | 
|  | 242 | { | 
|  | 243 | unsigned int bitnr, nr, i; | 
|  | 244 | u32 diff; | 
|  | 245 | struct xfrm_replay_state_esn *replay_esn = x->replay_esn; | 
|  | 246 | u32 seq = ntohl(net_seq); | 
|  | 247 | u32 pos = (replay_esn->seq - 1) % replay_esn->replay_window; | 
|  | 248 |  | 
|  | 249 | if (!replay_esn->replay_window) | 
|  | 250 | return; | 
|  | 251 |  | 
|  | 252 | if (seq > replay_esn->seq) { | 
|  | 253 | diff = seq - replay_esn->seq; | 
|  | 254 |  | 
|  | 255 | if (diff < replay_esn->replay_window) { | 
|  | 256 | for (i = 1; i < diff; i++) { | 
|  | 257 | bitnr = (pos + i) % replay_esn->replay_window; | 
|  | 258 | nr = bitnr >> 5; | 
|  | 259 | bitnr = bitnr & 0x1F; | 
|  | 260 | replay_esn->bmp[nr] &=  ~(1U << bitnr); | 
|  | 261 | } | 
|  | 262 |  | 
|  | 263 | bitnr = (pos + diff) % replay_esn->replay_window; | 
|  | 264 | nr = bitnr >> 5; | 
|  | 265 | bitnr = bitnr & 0x1F; | 
|  | 266 | replay_esn->bmp[nr] |= (1U << bitnr); | 
|  | 267 | } else { | 
| Steffen Klassert | e756682 | 2011-06-05 20:46:03 +0000 | [diff] [blame] | 268 | nr = (replay_esn->replay_window - 1) >> 5; | 
| Steffen Klassert | 97e15c3 | 2011-03-08 00:09:09 +0000 | [diff] [blame] | 269 | for (i = 0; i <= nr; i++) | 
|  | 270 | replay_esn->bmp[i] = 0; | 
|  | 271 |  | 
|  | 272 | bitnr = (pos + diff) % replay_esn->replay_window; | 
|  | 273 | nr = bitnr >> 5; | 
|  | 274 | bitnr = bitnr & 0x1F; | 
|  | 275 | replay_esn->bmp[nr] |= (1U << bitnr); | 
|  | 276 | } | 
|  | 277 |  | 
|  | 278 | replay_esn->seq = seq; | 
|  | 279 | } else { | 
|  | 280 | diff = replay_esn->seq - seq; | 
|  | 281 |  | 
|  | 282 | if (pos >= diff) { | 
|  | 283 | bitnr = (pos - diff) % replay_esn->replay_window; | 
|  | 284 | nr = bitnr >> 5; | 
|  | 285 | bitnr = bitnr & 0x1F; | 
|  | 286 | replay_esn->bmp[nr] |= (1U << bitnr); | 
|  | 287 | } else { | 
|  | 288 | bitnr = replay_esn->replay_window - (diff - pos); | 
|  | 289 | nr = bitnr >> 5; | 
|  | 290 | bitnr = bitnr & 0x1F; | 
|  | 291 | replay_esn->bmp[nr] |= (1U << bitnr); | 
|  | 292 | } | 
|  | 293 | } | 
|  | 294 |  | 
|  | 295 | if (xfrm_aevent_is_on(xs_net(x))) | 
|  | 296 | xfrm_replay_notify(x, XFRM_REPLAY_UPDATE); | 
|  | 297 | } | 
|  | 298 |  | 
|  | 299 | static void xfrm_replay_notify_bmp(struct xfrm_state *x, int event) | 
|  | 300 | { | 
|  | 301 | struct km_event c; | 
|  | 302 | struct xfrm_replay_state_esn *replay_esn = x->replay_esn; | 
|  | 303 | struct xfrm_replay_state_esn *preplay_esn = x->preplay_esn; | 
|  | 304 |  | 
|  | 305 | /* we send notify messages in case | 
|  | 306 | *  1. we updated on of the sequence numbers, and the seqno difference | 
|  | 307 | *     is at least x->replay_maxdiff, in this case we also update the | 
|  | 308 | *     timeout of our timer function | 
|  | 309 | *  2. if x->replay_maxage has elapsed since last update, | 
|  | 310 | *     and there were changes | 
|  | 311 | * | 
|  | 312 | *  The state structure must be locked! | 
|  | 313 | */ | 
|  | 314 |  | 
|  | 315 | switch (event) { | 
|  | 316 | case XFRM_REPLAY_UPDATE: | 
|  | 317 | if (x->replay_maxdiff && | 
|  | 318 | (replay_esn->seq - preplay_esn->seq < x->replay_maxdiff) && | 
|  | 319 | (replay_esn->oseq - preplay_esn->oseq < x->replay_maxdiff)) { | 
|  | 320 | if (x->xflags & XFRM_TIME_DEFER) | 
|  | 321 | event = XFRM_REPLAY_TIMEOUT; | 
|  | 322 | else | 
|  | 323 | return; | 
|  | 324 | } | 
|  | 325 |  | 
|  | 326 | break; | 
|  | 327 |  | 
|  | 328 | case XFRM_REPLAY_TIMEOUT: | 
|  | 329 | if (memcmp(x->replay_esn, x->preplay_esn, | 
|  | 330 | xfrm_replay_state_esn_len(replay_esn)) == 0) { | 
|  | 331 | x->xflags |= XFRM_TIME_DEFER; | 
|  | 332 | return; | 
|  | 333 | } | 
|  | 334 |  | 
|  | 335 | break; | 
|  | 336 | } | 
|  | 337 |  | 
|  | 338 | memcpy(x->preplay_esn, x->replay_esn, | 
|  | 339 | xfrm_replay_state_esn_len(replay_esn)); | 
|  | 340 | c.event = XFRM_MSG_NEWAE; | 
|  | 341 | c.data.aevent = event; | 
|  | 342 | km_state_notify(x, &c); | 
|  | 343 |  | 
|  | 344 | if (x->replay_maxage && | 
|  | 345 | !mod_timer(&x->rtimer, jiffies + x->replay_maxage)) | 
|  | 346 | x->xflags &= ~XFRM_TIME_DEFER; | 
|  | 347 | } | 
|  | 348 |  | 
| Steffen Klassert | 2cd0846 | 2011-03-08 00:09:51 +0000 | [diff] [blame] | 349 | static int xfrm_replay_overflow_esn(struct xfrm_state *x, struct sk_buff *skb) | 
|  | 350 | { | 
|  | 351 | int err = 0; | 
|  | 352 | struct xfrm_replay_state_esn *replay_esn = x->replay_esn; | 
|  | 353 | struct net *net = xs_net(x); | 
|  | 354 |  | 
|  | 355 | if (x->type->flags & XFRM_TYPE_REPLAY_PROT) { | 
|  | 356 | XFRM_SKB_CB(skb)->seq.output.low = ++replay_esn->oseq; | 
|  | 357 | XFRM_SKB_CB(skb)->seq.output.hi = replay_esn->oseq_hi; | 
|  | 358 |  | 
|  | 359 | if (unlikely(replay_esn->oseq == 0)) { | 
|  | 360 | XFRM_SKB_CB(skb)->seq.output.hi = ++replay_esn->oseq_hi; | 
|  | 361 |  | 
|  | 362 | if (replay_esn->oseq_hi == 0) { | 
|  | 363 | replay_esn->oseq--; | 
|  | 364 | replay_esn->oseq_hi--; | 
|  | 365 | xfrm_audit_state_replay_overflow(x, skb); | 
|  | 366 | err = -EOVERFLOW; | 
|  | 367 |  | 
|  | 368 | return err; | 
|  | 369 | } | 
|  | 370 | } | 
|  | 371 | if (xfrm_aevent_is_on(net)) | 
|  | 372 | x->repl->notify(x, XFRM_REPLAY_UPDATE); | 
|  | 373 | } | 
|  | 374 |  | 
|  | 375 | return err; | 
|  | 376 | } | 
|  | 377 |  | 
|  | 378 | static int xfrm_replay_check_esn(struct xfrm_state *x, | 
|  | 379 | struct sk_buff *skb, __be32 net_seq) | 
|  | 380 | { | 
|  | 381 | unsigned int bitnr, nr; | 
|  | 382 | u32 diff; | 
|  | 383 | struct xfrm_replay_state_esn *replay_esn = x->replay_esn; | 
| Steffen Klassert | 36ae014 | 2011-03-28 19:45:52 +0000 | [diff] [blame] | 384 | u32 pos; | 
| Steffen Klassert | 2cd0846 | 2011-03-08 00:09:51 +0000 | [diff] [blame] | 385 | u32 seq = ntohl(net_seq); | 
| Steffen Klassert | 2cd0846 | 2011-03-08 00:09:51 +0000 | [diff] [blame] | 386 | u32 wsize = replay_esn->replay_window; | 
|  | 387 | u32 top = replay_esn->seq; | 
|  | 388 | u32 bottom = top - wsize + 1; | 
|  | 389 |  | 
| Steffen Klassert | 36ae014 | 2011-03-28 19:45:52 +0000 | [diff] [blame] | 390 | if (!wsize) | 
|  | 391 | return 0; | 
|  | 392 |  | 
|  | 393 | pos = (replay_esn->seq - 1) % replay_esn->replay_window; | 
|  | 394 |  | 
| Steffen Klassert | 2cd0846 | 2011-03-08 00:09:51 +0000 | [diff] [blame] | 395 | if (unlikely(seq == 0 && replay_esn->seq_hi == 0 && | 
|  | 396 | (replay_esn->seq < replay_esn->replay_window - 1))) | 
|  | 397 | goto err; | 
|  | 398 |  | 
|  | 399 | diff = top - seq; | 
|  | 400 |  | 
|  | 401 | if (likely(top >= wsize - 1)) { | 
|  | 402 | /* A. same subspace */ | 
|  | 403 | if (likely(seq > top) || seq < bottom) | 
|  | 404 | return 0; | 
|  | 405 | } else { | 
|  | 406 | /* B. window spans two subspaces */ | 
|  | 407 | if (likely(seq > top && seq < bottom)) | 
|  | 408 | return 0; | 
|  | 409 | if (seq >= bottom) | 
|  | 410 | diff = ~seq + top + 1; | 
|  | 411 | } | 
|  | 412 |  | 
|  | 413 | if (diff >= replay_esn->replay_window) { | 
|  | 414 | x->stats.replay_window++; | 
|  | 415 | goto err; | 
|  | 416 | } | 
|  | 417 |  | 
|  | 418 | if (pos >= diff) { | 
|  | 419 | bitnr = (pos - diff) % replay_esn->replay_window; | 
|  | 420 | nr = bitnr >> 5; | 
|  | 421 | bitnr = bitnr & 0x1F; | 
|  | 422 | if (replay_esn->bmp[nr] & (1U << bitnr)) | 
|  | 423 | goto err_replay; | 
|  | 424 | } else { | 
|  | 425 | bitnr = replay_esn->replay_window - (diff - pos); | 
|  | 426 | nr = bitnr >> 5; | 
|  | 427 | bitnr = bitnr & 0x1F; | 
|  | 428 | if (replay_esn->bmp[nr] & (1U << bitnr)) | 
|  | 429 | goto err_replay; | 
|  | 430 | } | 
|  | 431 | return 0; | 
|  | 432 |  | 
|  | 433 | err_replay: | 
|  | 434 | x->stats.replay++; | 
|  | 435 | err: | 
|  | 436 | xfrm_audit_state_replay(x, skb, net_seq); | 
|  | 437 | return -EINVAL; | 
|  | 438 | } | 
|  | 439 |  | 
|  | 440 | static void xfrm_replay_advance_esn(struct xfrm_state *x, __be32 net_seq) | 
|  | 441 | { | 
|  | 442 | unsigned int bitnr, nr, i; | 
|  | 443 | int wrap; | 
|  | 444 | u32 diff, pos, seq, seq_hi; | 
|  | 445 | struct xfrm_replay_state_esn *replay_esn = x->replay_esn; | 
|  | 446 |  | 
|  | 447 | if (!replay_esn->replay_window) | 
|  | 448 | return; | 
|  | 449 |  | 
|  | 450 | seq = ntohl(net_seq); | 
|  | 451 | pos = (replay_esn->seq - 1) % replay_esn->replay_window; | 
|  | 452 | seq_hi = xfrm_replay_seqhi(x, net_seq); | 
|  | 453 | wrap = seq_hi - replay_esn->seq_hi; | 
|  | 454 |  | 
|  | 455 | if ((!wrap && seq > replay_esn->seq) || wrap > 0) { | 
|  | 456 | if (likely(!wrap)) | 
|  | 457 | diff = seq - replay_esn->seq; | 
|  | 458 | else | 
|  | 459 | diff = ~replay_esn->seq + seq + 1; | 
|  | 460 |  | 
|  | 461 | if (diff < replay_esn->replay_window) { | 
|  | 462 | for (i = 1; i < diff; i++) { | 
|  | 463 | bitnr = (pos + i) % replay_esn->replay_window; | 
|  | 464 | nr = bitnr >> 5; | 
|  | 465 | bitnr = bitnr & 0x1F; | 
|  | 466 | replay_esn->bmp[nr] &=  ~(1U << bitnr); | 
|  | 467 | } | 
|  | 468 |  | 
|  | 469 | bitnr = (pos + diff) % replay_esn->replay_window; | 
|  | 470 | nr = bitnr >> 5; | 
|  | 471 | bitnr = bitnr & 0x1F; | 
|  | 472 | replay_esn->bmp[nr] |= (1U << bitnr); | 
|  | 473 | } else { | 
| Steffen Klassert | e756682 | 2011-06-05 20:46:03 +0000 | [diff] [blame] | 474 | nr = (replay_esn->replay_window - 1) >> 5; | 
| Steffen Klassert | 2cd0846 | 2011-03-08 00:09:51 +0000 | [diff] [blame] | 475 | for (i = 0; i <= nr; i++) | 
|  | 476 | replay_esn->bmp[i] = 0; | 
|  | 477 |  | 
|  | 478 | bitnr = (pos + diff) % replay_esn->replay_window; | 
|  | 479 | nr = bitnr >> 5; | 
|  | 480 | bitnr = bitnr & 0x1F; | 
|  | 481 | replay_esn->bmp[nr] |= (1U << bitnr); | 
|  | 482 | } | 
|  | 483 |  | 
|  | 484 | replay_esn->seq = seq; | 
|  | 485 |  | 
|  | 486 | if (unlikely(wrap > 0)) | 
|  | 487 | replay_esn->seq_hi++; | 
|  | 488 | } else { | 
|  | 489 | diff = replay_esn->seq - seq; | 
|  | 490 |  | 
|  | 491 | if (pos >= diff) { | 
|  | 492 | bitnr = (pos - diff) % replay_esn->replay_window; | 
|  | 493 | nr = bitnr >> 5; | 
|  | 494 | bitnr = bitnr & 0x1F; | 
|  | 495 | replay_esn->bmp[nr] |= (1U << bitnr); | 
|  | 496 | } else { | 
|  | 497 | bitnr = replay_esn->replay_window - (diff - pos); | 
|  | 498 | nr = bitnr >> 5; | 
|  | 499 | bitnr = bitnr & 0x1F; | 
|  | 500 | replay_esn->bmp[nr] |= (1U << bitnr); | 
|  | 501 | } | 
|  | 502 | } | 
|  | 503 |  | 
|  | 504 | if (xfrm_aevent_is_on(xs_net(x))) | 
|  | 505 | xfrm_replay_notify(x, XFRM_REPLAY_UPDATE); | 
|  | 506 | } | 
|  | 507 |  | 
| Steffen Klassert | 9fdc488 | 2011-03-08 00:08:32 +0000 | [diff] [blame] | 508 | static struct xfrm_replay xfrm_replay_legacy = { | 
|  | 509 | .advance	= xfrm_replay_advance, | 
|  | 510 | .check		= xfrm_replay_check, | 
|  | 511 | .notify		= xfrm_replay_notify, | 
|  | 512 | .overflow	= xfrm_replay_overflow, | 
|  | 513 | }; | 
|  | 514 |  | 
| Steffen Klassert | 97e15c3 | 2011-03-08 00:09:09 +0000 | [diff] [blame] | 515 | static struct xfrm_replay xfrm_replay_bmp = { | 
|  | 516 | .advance	= xfrm_replay_advance_bmp, | 
|  | 517 | .check		= xfrm_replay_check_bmp, | 
|  | 518 | .notify		= xfrm_replay_notify_bmp, | 
|  | 519 | .overflow	= xfrm_replay_overflow_bmp, | 
|  | 520 | }; | 
|  | 521 |  | 
| Steffen Klassert | 2cd0846 | 2011-03-08 00:09:51 +0000 | [diff] [blame] | 522 | static struct xfrm_replay xfrm_replay_esn = { | 
|  | 523 | .advance	= xfrm_replay_advance_esn, | 
|  | 524 | .check		= xfrm_replay_check_esn, | 
|  | 525 | .notify		= xfrm_replay_notify_bmp, | 
|  | 526 | .overflow	= xfrm_replay_overflow_esn, | 
|  | 527 | }; | 
|  | 528 |  | 
| Steffen Klassert | 9fdc488 | 2011-03-08 00:08:32 +0000 | [diff] [blame] | 529 | int xfrm_init_replay(struct xfrm_state *x) | 
|  | 530 | { | 
| Steffen Klassert | 97e15c3 | 2011-03-08 00:09:09 +0000 | [diff] [blame] | 531 | struct xfrm_replay_state_esn *replay_esn = x->replay_esn; | 
|  | 532 |  | 
|  | 533 | if (replay_esn) { | 
|  | 534 | if (replay_esn->replay_window > | 
| Steffen Klassert | 3f602b0 | 2011-04-25 19:39:24 +0000 | [diff] [blame] | 535 | replay_esn->bmp_len * sizeof(__u32) * 8) | 
| Steffen Klassert | 97e15c3 | 2011-03-08 00:09:09 +0000 | [diff] [blame] | 536 | return -EINVAL; | 
|  | 537 |  | 
| Steffen Klassert | 6fa5ddc | 2011-05-09 19:43:05 +0000 | [diff] [blame] | 538 | if ((x->props.flags & XFRM_STATE_ESN) && replay_esn->replay_window == 0) | 
|  | 539 | return -EINVAL; | 
|  | 540 |  | 
| Steffen Klassert | 2cd0846 | 2011-03-08 00:09:51 +0000 | [diff] [blame] | 541 | if ((x->props.flags & XFRM_STATE_ESN) && x->replay_esn) | 
|  | 542 | x->repl = &xfrm_replay_esn; | 
|  | 543 | else | 
| Steffen Klassert | 97e15c3 | 2011-03-08 00:09:09 +0000 | [diff] [blame] | 544 | x->repl = &xfrm_replay_bmp; | 
|  | 545 | } else | 
|  | 546 | x->repl = &xfrm_replay_legacy; | 
|  | 547 |  | 
| Steffen Klassert | 9fdc488 | 2011-03-08 00:08:32 +0000 | [diff] [blame] | 548 | return 0; | 
|  | 549 | } | 
|  | 550 | EXPORT_SYMBOL(xfrm_init_replay); |