diff options
| author | Kuniyuki Iwashima <kuniyu@amazon.com> | 2024-08-21 04:34:25 +0300 |
|---|---|---|
| committer | Martin KaFai Lau <martin.lau@kernel.org> | 2024-08-22 09:19:33 +0300 |
| commit | af8a066f1c473261881a6d8e2b55cca8eda9ce80 (patch) | |
| tree | 49e111b2e36b61425a59b07fef31b4a1a118a508 /scripts/generate_rust_analyzer.py | |
| parent | db163778016b3a491d79d10a910d059c20f88f83 (diff) | |
| download | linux-af8a066f1c473261881a6d8e2b55cca8eda9ce80.tar.xz | |
selftest: bpf: Remove mssind boundary check in test_tcp_custom_syncookie.c.
Smatch reported a possible off-by-one in tcp_validate_cookie().
However, it's false positive because the possible range of mssind is
limited from 0 to 3 by the preceding calculation.
mssind = (cookie & (3 << 6)) >> 6;
Now, the verifier does not complain without the boundary check.
Let's remove the checks.
Reported-by: Dan Carpenter <dan.carpenter@linaro.org>
Closes: https://lore.kernel.org/bpf/6ae12487-d3f1-488b-9514-af0dac96608f@stanley.mountain/
Signed-off-by: Kuniyuki Iwashima <kuniyu@amazon.com>
Acked-by: Yonghong Song <yonghong.song@linux.dev>
Link: https://lore.kernel.org/r/20240821013425.49316-1-kuniyu@amazon.com
Signed-off-by: Martin KaFai Lau <martin.lau@kernel.org>
Diffstat (limited to 'scripts/generate_rust_analyzer.py')
0 files changed, 0 insertions, 0 deletions