这更像是一个添加此类检查的框架，而不是试图检测所有形式的未定义行为（这几乎可以肯定是不可能的“停止问题”意义上的）。
GCC文档列出了当前支持的检查：
-fsanitize=undefined启用UndefinedBehaviorSanitizer，一个快速的未定义行为检测器。将对各种计算进行检测，以在运行时检测未定义的行为。当前的子选项包括：
-fsanitize=shift此选项允许检查移位操作的结果是否未定义。请注意，C和C以及ISO C90和C99等之间的未定义内容略有不同。
-fsanitize=integer-divide-by-zero检测整数除以零以及INT_MIN / -1除法。
-fsanitize=unreachable使用此选项，编译器会将__builtin_unreachable调用改为诊断消息调用。当到达__builtin_unreachable调用时，行为未定义。
-fsanitize=vla-bound此选项指示编译器检查可变长度数组的大小是否为正。此选项在-std=c1y模式下没有任何效果，因为标准要求抛出异常。
-fsanitize=null此选项启用指针检查。特别是，打开此选项构建的应用程序在尝试取消引用NULL指针时，或者如果引用（可能是右值引用）绑定到NULL指针时，将发出错误消息。
-fsanitize=return此选项启用返回语句检查。打开此选项构建的程序在到达非void函数的末尾时，将发出错误消息，但实际上没有返回值。此选项仅在C++中起作用。
-fsanitize=signed-integer-overflow此选项启用有符号整数溢出检查。我们检查+、* 以及一元和二进制-的结果在有符号算术中不会溢出。注意，必须考虑整数提升规则。也就是说，以下不是溢出：

signed char a = SCHAR_MAX;
a++;

-ftrapv导致发出有符号溢出陷阱，而-fsanitize=undefined给出诊断消息。这目前只适用于C语言家族。

UndefinedBehaviorSanitizer中列出的选项的完整列表
最新的GCC 5.0添加从下面列出的GCC 5 Release Series : Changes, New Features, and Fixes提取;
UndefinedBehaviorSanitizer获得了一些新的清理选项：

-fsanitize=float-divide-by-zero: detect floating-point division by zero;
-fsanitize=float-cast-overflow: check that the result of floating-point type to integer conversions do not overflow;
-fsanitize=bounds: enable instrumentation of array bounds and detect out-of-bounds accesses;
-fsanitize=alignment: enable alignment checking, detect various misaligned objects;
-fsanitize=object-size: enable object size checking, detect various out-of-bounds accesses.
-fsanitize=vptr: enable checking of C++ member function calls, member accesses and some conversions between pointers to base and derived classes, detect if the referenced object does not have the correct dynamic type.