diff options
| author |   Kees Cook <kees@kernel.org> | 2025-03-06 20:19:10 -0800 |
|---|---|---|
| committer | Kees Cook <kees@kernel.org> | 2025-03-07 19:58:05 -0800 |
| commit | 272a767063a6856cd1e18bb951d2be4f047b9858 (patch) | |
| tree | e99ada54422457cb1fa3bda50028254279f56706 /scripts/generate_rust_analyzer.py | |
| parent | ubsan/overflow: Rework integer overflow sanitizer option to turn on everything (diff) | |
| download | wireguard-linux-272a767063a6856cd1e18bb951d2be4f047b9858.tar.xz wireguard-linux-272a767063a6856cd1e18bb951d2be4f047b9858.zip | |
ubsan/overflow: Enable pattern exclusions
To make integer wrap-around mitigation actually useful, the associated
sanitizers must not instrument cases where the wrap-around is explicitly
defined (e.g. "-2UL"), being tested for (e.g. "if (a + b < a)"), or
where it has no impact on code flow (e.g. "while (var--)"). Enable
pattern exclusions for the integer wrap sanitizers.
Reviewed-by: Justin Stitt <justinstitt@google.com>
Link: https://lore.kernel.org/r/20250307041914.937329-2-kees@kernel.org
Signed-off-by: Kees Cook <kees@kernel.org>
Diffstat (limited to 'scripts/generate_rust_analyzer.py')
0 files changed, 0 insertions, 0 deletions