Binary package “libx32ubsan0-dbg” in ubuntu-rtm 14.09-factory
UBSan -- undefined behaviour sanitizer (x32 debug symbols)
UndefinedBehav
Various computations will be instrumented to detect undefined behavior
at runtime. Available for C and C++.