Documentation/dev-tools/ubsan.rst

1 .. SPDX-License-Identifier: GPL-2.0
3 Undefined Behavior Sanitizer - UBSAN
8 UBSAN uses compile-time instrumentation to catch undefined behavior (UB).
13 GCC has that feature since 4.9.x [1_] (see ``-fsanitize=undefined`` option and
17 --------------
23 	 shift exponent 32 is to large for 32-bit type 'unsigned int'
24 	 CPU: 0 PID: 0 Comm: swapper Not tainted 4.4.0-rc1+ #26
50 -----
52 To enable UBSAN, configure the kernel with::
68 Detection of unaligned accesses controlled through the separate option -
71 still enable it in config, just note that it will produce a lot of UBSAN
75 ----------
77 .. _1: https://gcc.gnu.org/onlinedocs/gcc-4.9.0/gcc/Debugging-Options.html
78 .. _2: https://gcc.gnu.org/onlinedocs/gcc/Debugging-Options.html
79 .. _3: https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html