CONFIG_UBSAN_SIGNED_WRAP: Perform checking for signed arithmetic wrap-around

General informations

The Linux kernel configuration item CONFIG_UBSAN_SIGNED_WRAP:

• prompt: Perform checking for signed arithmetic wrap-around
• type: bool
• depends on: (! CONFIG_COMPILE_TEST ) && (! CONFIG_CC_IS_GCC || CONFIG_GCC_VERSION >= CONFIG_80000 ) && ($( CONFIG_cc-option,-fsanitize = CONFIG_signed-integer-overflow ))
• defined in lib/Kconfig.ubsan
• found in Linux kernels: 6.9–6.12, 6.13-rc+HEAD

Help text

This option enables -fsanitize=signed-integer-overflow which checks for wrap-around of any arithmetic operations with signed integers. This currently performs nearly no instrumentation due to the kernel's use of -fno-strict-overflow which converts all would-be arithmetic undefined behavior into wrap-around arithmetic. Future sanitizer versions will allow for wrap-around checking (rather than exclusively undefined behavior).

Hardware

LKDDb

Raw data from LKDDb:

• (none)

Sources

This page is automaticly generated with free (libre, open) software lkddb(see lkddb-sources).

The data is retrived from:

• Linux kernel
• Linux Kernel Driver DataBase (LKDDb)

Automatic links from Google (and ads)

Custom Search

Popular queries: