Huang Qi a06ec54cd0 debug: Introduce portion of UBSan ... without UBSan ``` text data bss dec hex filename 85612 208 142258 228078 37aee nuttx ``` with UBSan: ``` text data bss dec hex filename 194290 98164 208634 501088 7a560 nuttx ``` ```c int main(int argc, FAR char *argv[]) { uint32_t ptr[32]; printf("Hello, World!! %lu\n", ptr[64]); return 0; } ``` Try to run this sample: ``` nsh> hello ubsan_prologue: ================================================================================ ubsan_prologue: UBSAN: array-index-out-of-bounds in hello_main.c:39:37 __ubsan_handle_out_of_bounds: index 64 is out of range for type 'uint32_t [32]' ubsan_epilogue: ================================================================================ Hello, World!! 1070182368 nsh> ``` Signed-off-by: Huang Qi <huangqi3@xiaomi.com>		2022-08-22 13:57:29 +08:00
..
include
src	debug: Introduce portion of UBSan	2022-08-22 13:57:29 +08:00
Kconfig