1config ARCH_HAS_UBSAN_SANITIZE_ALL 2 bool 3 4config UBSAN 5 bool "Undefined behaviour sanity checker" 6 help 7 This option enables undefined behaviour sanity checker 8 Compile-time instrumentation is used to detect various undefined 9 behaviours in runtime. Various types of checks may be enabled 10 via boot parameter ubsan_handle 11 (see: Documentation/dev-tools/ubsan.rst). 12 13config UBSAN_SANITIZE_ALL 14 bool "Enable instrumentation for the entire kernel" 15 depends on UBSAN 16 depends on ARCH_HAS_UBSAN_SANITIZE_ALL 17 18 # We build with -Wno-maybe-uninitilzed, but we still want to 19 # use -Wmaybe-uninitilized in allmodconfig builds. 20 # So dependsy bellow used to disable this option in allmodconfig 21 depends on !COMPILE_TEST 22 default y 23 help 24 This option activates instrumentation for the entire kernel. 25 If you don't enable this option, you have to explicitly specify 26 UBSAN_SANITIZE := y for the files/directories you want to check for UB. 27 Enabling this option will get kernel image size increased 28 significantly. 29 30config UBSAN_ALIGNMENT 31 bool "Enable checking of pointers alignment" 32 depends on UBSAN 33 default y if !HAVE_EFFICIENT_UNALIGNED_ACCESS 34 help 35 This option enables detection of unaligned memory accesses. 36 Enabling this option on architectures that support unaligned 37 accesses may produce a lot of false positives. 38 39config TEST_UBSAN 40 tristate "Module for testing for undefined behavior detection" 41 depends on m && UBSAN 42 help 43 This is a test module for UBSAN. 44 It triggers various undefined behavior, and detect it. 45