mirror of
https://github.com/openshwprojects/OpenBK7231T_App.git
synced 2026-02-04 19:55:45 +00:00
0ae3f861af
Undefined Behavior Sanitizer (UBSAN) [1] is a similar tool to ASAN, useful for catching bugs related to undefined behavior. All the problems it detects seem related to the bitshifts related to flags. Here's a sample: ``` src/new_pins.c:2437:8: runtime error: left shift of 1 by 31 places cannot be represented in type 'int' #0 0x55a1b51011c1 in PIN_get_Relay_PWM_Count src/new_pins.c:2437 #1 0x55a1b500389b in NewLED_InitCommands src/cmnds/cmd_newLEDDriver.c:1627 #2 0x55a1b5150208 in Main_Init_BeforeDelay_Unsafe src/user_main.c:1151 #3 0x55a1b51506e7 in Main_Init_Before_Delay src/user_main.c:1290 #4 0x55a1b5150a05 in Main_Init src/user_main.c:1428 #5 0x55a1b515902c in SIM_ClearOBK src/win_main.c:166 #6 0x55a1b515a0fd in main src/win_main.c:534 #7 0x7f1acfdabd8f in __libc_start_call_main ../sysdeps/nptl/libc_start_call_main.h:58 #8 0x7f1acfdabe3f in __libc_start_main_impl ../csu/libc-start.c:392 #9 0x55a1b4fd8eb4 in _start (/home/niteria/tmp/broken-realloc/OpenBK7231T_App/build/win_main+0x10ceb4) SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior src/new_pins.c:2437:8 in ``` ``` src/new_cfg.c:591:9: runtime error: left shift of 1 by 31 places cannot be represented in type 'int' #0 0x5629450eb803 in CFG_HasFlag src/new_cfg.c:591 #1 0x562944ffdb53 in CMD_Init_Early src/cmnds/cmd_main.c:1007 #2 0x562945153230 in Main_Init_BeforeDelay_Unsafe src/user_main.c:1162 #3 0x5629451536e7 in Main_Init_Before_Delay src/user_main.c:1290 #4 0x562945153a05 in Main_Init src/user_main.c:1428 #5 0x56294515c02c in SIM_ClearOBK src/win_main.c:166 #6 0x56294515d0fd in main src/win_main.c:534 #7 0x7f9f5e12bd8f in __libc_start_call_main ../sysdeps/nptl/libc_start_call_main.h:58 #8 0x7f9f5e12be3f in __libc_start_main_impl ../csu/libc-start.c:392 #9 0x562944fdbeb4 in _start (/home/niteria/tmp/broken-realloc/OpenBK7231T_App/build/win_main+0x10ceb4) ``` ``` src/httpserver/http_fns.c:369:8: runtime error: left shift of 1 by 31 places cannot be represented in type 'int' #0 0x560135601d44 in http_fn_index src/httpserver/http_fns.c:369 #1 0x5601356185cb in HTTP_ProcessPacket src/httpserver/new_http.c:826 #2 0x5601356a1e93 in Test_FakeHTTPClientPacket_Generic src/selftest/selftest_http.c:86 #3 0x5601356a2002 in Test_FakeHTTPClientPacket_GET src/selftest/selftest_http.c:102 #4 0x5601356b773f in Test_PIR src/selftest/selftest_pir.c:27 #5 0x5601356d204b in Win_DoUnitTests src/win_main.c:171 #6 0x5601356d3116 in main src/win_main.c:538 #7 0x7f6911b2ad8f in __libc_start_call_main ../sysdeps/nptl/libc_start_call_main.h:58 #8 0x7f6911b2ae3f in __libc_start_main_impl ../csu/libc-start.c:392 #9 0x560135551eb4 in _start (/home/niteria/tmp/broken-realloc/OpenBK7231T_App/build/win_main+0x10ceb4) ``` Preexisting problems are suppressed in `platforms/linux/ubsan.suppressions` [1] https://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html