Binary package “libsfubsan1-dbg-armhf-cross” in ubuntu bionic

UBSan -- undefined behaviour sanitizer (soft float ABI debug symbols)

 UndefinedBehaviorSanitizer can be enabled via -fsanitize=undefined.
 Various computations will be instrumented to detect undefined behavior
 at runtime. Available for C and C++.

Published versions