GNU Linux-libre 4.19.211-gnu1
[releases.git] / lib / Kconfig.ubsan
1 config ARCH_HAS_UBSAN_SANITIZE_ALL
2         bool
3
4 config 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
13 config 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
30 config 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
39 config 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.