# SPDX-License-Identifier: GPL-2.0-only config [31mCONFIG_ARCH_HAS_UBSAN_SANITIZE_ALL[0m bool config [31mCONFIG_UBSAN[0m bool "Undefined behaviour sanity checker" help This option enables undefined behaviour sanity checker Compile-time instrumentation is used to detect various undefined behaviours in runtime. Various types of checks may be enabled via boot parameter ubsan_handle (see: Documentation/dev-tools/ubsan.rst). config [31mCONFIG_UBSAN_SANITIZE_ALL[0m bool "Enable instrumentation for the entire kernel" depends on [31mCONFIG_UBSAN[0m depends on [31mCONFIG_ARCH_HAS_UBSAN_SANITIZE_ALL[0m # We build with -Wno-maybe-uninitilzed, but we still want to # use -Wmaybe-uninitilized in allmodconfig builds. # So dependsy bellow used to disable this option in allmodconfig depends on ![31mCONFIG_COMPILE_TEST[0m default y help This option activates instrumentation for the entire kernel. If you don't enable this option, you have to explicitly specify UBSAN_SANITIZE := y for the files/directories you want to check for UB. Enabling this option will get kernel image size increased significantly. config [31mCONFIG_UBSAN_NO_ALIGNMENT[0m bool "Disable checking of pointers alignment" depends on [31mCONFIG_UBSAN[0m default y if [31mCONFIG_HAVE_EFFICIENT_UNALIGNED_ACCESS[0m help This option disables the check of unaligned memory accesses. This option should be used when building allmodconfig. Disabling this option on architectures that support unaligned accesses may produce a lot of false positives. config [31mCONFIG_UBSAN_ALIGNMENT[0m def_bool ![31mCONFIG_UBSAN_NO_ALIGNMENT[0m config [31mCONFIG_TEST_UBSAN[0m tristate "Module for testing for undefined behavior detection" depends on m && [31mCONFIG_UBSAN[0m help This is a test module for [31mCONFIG_UBSAN[0m. It triggers various undefined behavior, and detect it. |