Ubuntu

Binary package “libsfubsan0” in ubuntu bionic

  1. Bionic (18.04)
  2. libsfubsan0

UBSan -- undefined behaviour sanitizer (soft float ABI)

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

Source package