1e7096c13SJason A. Donenfeld // SPDX-License-Identifier: GPL-2.0
2e7096c13SJason A. Donenfeld /*
3e7096c13SJason A. Donenfeld * Copyright (C) 2015-2019 Jason A. Donenfeld <Jason@zx2c4.com>. All Rights Reserved.
4e7096c13SJason A. Donenfeld */
5e7096c13SJason A. Donenfeld
6e7096c13SJason A. Donenfeld #ifdef DEBUG
wg_packet_counter_selftest(void)7e7096c13SJason A. Donenfeld bool __init wg_packet_counter_selftest(void)
8e7096c13SJason A. Donenfeld {
9*a9e90d99SJason A. Donenfeld struct noise_replay_counter *counter;
10e7096c13SJason A. Donenfeld unsigned int test_num = 0, i;
11e7096c13SJason A. Donenfeld bool success = true;
12e7096c13SJason A. Donenfeld
13*a9e90d99SJason A. Donenfeld counter = kmalloc(sizeof(*counter), GFP_KERNEL);
14*a9e90d99SJason A. Donenfeld if (unlikely(!counter)) {
15*a9e90d99SJason A. Donenfeld pr_err("nonce counter self-test malloc: FAIL\n");
16*a9e90d99SJason A. Donenfeld return false;
17*a9e90d99SJason A. Donenfeld }
18*a9e90d99SJason A. Donenfeld
19e7096c13SJason A. Donenfeld #define T_INIT do { \
20*a9e90d99SJason A. Donenfeld memset(counter, 0, sizeof(*counter)); \
21*a9e90d99SJason A. Donenfeld spin_lock_init(&counter->lock); \
22e7096c13SJason A. Donenfeld } while (0)
23e7096c13SJason A. Donenfeld #define T_LIM (COUNTER_WINDOW_SIZE + 1)
24e7096c13SJason A. Donenfeld #define T(n, v) do { \
25e7096c13SJason A. Donenfeld ++test_num; \
26*a9e90d99SJason A. Donenfeld if (counter_validate(counter, n) != (v)) { \
27e7096c13SJason A. Donenfeld pr_err("nonce counter self-test %u: FAIL\n", \
28e7096c13SJason A. Donenfeld test_num); \
29e7096c13SJason A. Donenfeld success = false; \
30e7096c13SJason A. Donenfeld } \
31e7096c13SJason A. Donenfeld } while (0)
32e7096c13SJason A. Donenfeld
33e7096c13SJason A. Donenfeld T_INIT;
34e7096c13SJason A. Donenfeld /* 1 */ T(0, true);
35e7096c13SJason A. Donenfeld /* 2 */ T(1, true);
36e7096c13SJason A. Donenfeld /* 3 */ T(1, false);
37e7096c13SJason A. Donenfeld /* 4 */ T(9, true);
38e7096c13SJason A. Donenfeld /* 5 */ T(8, true);
39e7096c13SJason A. Donenfeld /* 6 */ T(7, true);
40e7096c13SJason A. Donenfeld /* 7 */ T(7, false);
41e7096c13SJason A. Donenfeld /* 8 */ T(T_LIM, true);
42e7096c13SJason A. Donenfeld /* 9 */ T(T_LIM - 1, true);
43e7096c13SJason A. Donenfeld /* 10 */ T(T_LIM - 1, false);
44e7096c13SJason A. Donenfeld /* 11 */ T(T_LIM - 2, true);
45e7096c13SJason A. Donenfeld /* 12 */ T(2, true);
46e7096c13SJason A. Donenfeld /* 13 */ T(2, false);
47e7096c13SJason A. Donenfeld /* 14 */ T(T_LIM + 16, true);
48e7096c13SJason A. Donenfeld /* 15 */ T(3, false);
49e7096c13SJason A. Donenfeld /* 16 */ T(T_LIM + 16, false);
50e7096c13SJason A. Donenfeld /* 17 */ T(T_LIM * 4, true);
51e7096c13SJason A. Donenfeld /* 18 */ T(T_LIM * 4 - (T_LIM - 1), true);
52e7096c13SJason A. Donenfeld /* 19 */ T(10, false);
53e7096c13SJason A. Donenfeld /* 20 */ T(T_LIM * 4 - T_LIM, false);
54e7096c13SJason A. Donenfeld /* 21 */ T(T_LIM * 4 - (T_LIM + 1), false);
55e7096c13SJason A. Donenfeld /* 22 */ T(T_LIM * 4 - (T_LIM - 2), true);
56e7096c13SJason A. Donenfeld /* 23 */ T(T_LIM * 4 + 1 - T_LIM, false);
57e7096c13SJason A. Donenfeld /* 24 */ T(0, false);
58e7096c13SJason A. Donenfeld /* 25 */ T(REJECT_AFTER_MESSAGES, false);
59e7096c13SJason A. Donenfeld /* 26 */ T(REJECT_AFTER_MESSAGES - 1, true);
60e7096c13SJason A. Donenfeld /* 27 */ T(REJECT_AFTER_MESSAGES, false);
61e7096c13SJason A. Donenfeld /* 28 */ T(REJECT_AFTER_MESSAGES - 1, false);
62e7096c13SJason A. Donenfeld /* 29 */ T(REJECT_AFTER_MESSAGES - 2, true);
63e7096c13SJason A. Donenfeld /* 30 */ T(REJECT_AFTER_MESSAGES + 1, false);
64e7096c13SJason A. Donenfeld /* 31 */ T(REJECT_AFTER_MESSAGES + 2, false);
65e7096c13SJason A. Donenfeld /* 32 */ T(REJECT_AFTER_MESSAGES - 2, false);
66e7096c13SJason A. Donenfeld /* 33 */ T(REJECT_AFTER_MESSAGES - 3, true);
67e7096c13SJason A. Donenfeld /* 34 */ T(0, false);
68e7096c13SJason A. Donenfeld
69e7096c13SJason A. Donenfeld T_INIT;
70e7096c13SJason A. Donenfeld for (i = 1; i <= COUNTER_WINDOW_SIZE; ++i)
71e7096c13SJason A. Donenfeld T(i, true);
72e7096c13SJason A. Donenfeld T(0, true);
73e7096c13SJason A. Donenfeld T(0, false);
74e7096c13SJason A. Donenfeld
75e7096c13SJason A. Donenfeld T_INIT;
76e7096c13SJason A. Donenfeld for (i = 2; i <= COUNTER_WINDOW_SIZE + 1; ++i)
77e7096c13SJason A. Donenfeld T(i, true);
78e7096c13SJason A. Donenfeld T(1, true);
79e7096c13SJason A. Donenfeld T(0, false);
80e7096c13SJason A. Donenfeld
81e7096c13SJason A. Donenfeld T_INIT;
82e7096c13SJason A. Donenfeld for (i = COUNTER_WINDOW_SIZE + 1; i-- > 0;)
83e7096c13SJason A. Donenfeld T(i, true);
84e7096c13SJason A. Donenfeld
85e7096c13SJason A. Donenfeld T_INIT;
86e7096c13SJason A. Donenfeld for (i = COUNTER_WINDOW_SIZE + 2; i-- > 1;)
87e7096c13SJason A. Donenfeld T(i, true);
88e7096c13SJason A. Donenfeld T(0, false);
89e7096c13SJason A. Donenfeld
90e7096c13SJason A. Donenfeld T_INIT;
91e7096c13SJason A. Donenfeld for (i = COUNTER_WINDOW_SIZE + 1; i-- > 1;)
92e7096c13SJason A. Donenfeld T(i, true);
93e7096c13SJason A. Donenfeld T(COUNTER_WINDOW_SIZE + 1, true);
94e7096c13SJason A. Donenfeld T(0, false);
95e7096c13SJason A. Donenfeld
96e7096c13SJason A. Donenfeld T_INIT;
97e7096c13SJason A. Donenfeld for (i = COUNTER_WINDOW_SIZE + 1; i-- > 1;)
98e7096c13SJason A. Donenfeld T(i, true);
99e7096c13SJason A. Donenfeld T(0, true);
100e7096c13SJason A. Donenfeld T(COUNTER_WINDOW_SIZE + 1, true);
101e7096c13SJason A. Donenfeld
102e7096c13SJason A. Donenfeld #undef T
103e7096c13SJason A. Donenfeld #undef T_LIM
104e7096c13SJason A. Donenfeld #undef T_INIT
105e7096c13SJason A. Donenfeld
106e7096c13SJason A. Donenfeld if (success)
107e7096c13SJason A. Donenfeld pr_info("nonce counter self-tests: pass\n");
108*a9e90d99SJason A. Donenfeld kfree(counter);
109e7096c13SJason A. Donenfeld return success;
110e7096c13SJason A. Donenfeld }
111e7096c13SJason A. Donenfeld #endif
112