diff --git a/app/configs/fuzz_ubsan.conf b/app/configs/fuzz_ubsan.conf new file mode 100644 index 000000000000..ceae016bdc4f --- /dev/null +++ b/app/configs/fuzz_ubsan.conf @@ -0,0 +1 @@ +CONFIG_UBSAN=y diff --git a/scripts/fuzz.sh b/scripts/fuzz.sh index ab9b336abaea..1db4c79d54f3 100755 --- a/scripts/fuzz.sh +++ b/scripts/fuzz.sh @@ -120,6 +120,7 @@ main() case $SANITIZER in address) conf_files_list+=";configs/fuzz_asan.conf";; + undefined) conf_files_list+=";configs/fuzz_ubsan.conf";; *) echo "Unknown fuzzer type"; print_help; exit 1;; esac