|
@@ -85,3 +85,14 @@ CONFIG_SUITEB=y
|
|
|
#LIBS_h += -fsanitize=address -fno-omit-frame-pointer -g
|
|
|
#LIBS_n += -fsanitize=address -fno-omit-frame-pointer -g
|
|
|
#LIBS_c += -fsanitize=address -fno-omit-frame-pointer -g
|
|
|
+
|
|
|
+# Undefined Behavior Sanitizer (UBSan) can be enabled by uncommenting the
|
|
|
+# following lines.
|
|
|
+#CFLAGS += -Wno-format-nonliteral
|
|
|
+#CFLAGS += -fsanitize=undefined
|
|
|
+##CFLAGS += -fno-sanitize-recover
|
|
|
+#LIBS += -fsanitize=undefined
|
|
|
+##LIBS += -fno-sanitize-recover
|
|
|
+#LIBS_h += -fsanitize=undefined
|
|
|
+#LIBS_n += -fsanitize=undefined
|
|
|
+#LIBS_c += -fsanitize=undefined
|