xref: /openbmc/linux/drivers/net/wireguard/selftest/counter.c (revision ead5d1f4d877e92c051e1a1ade623d0d30e71619)
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