try logging as fuzzer

This commit is contained in:
Alex Groce
2018-07-28 09:18:14 -07:00
parent e263f46696
commit e4db876959

View File

@@ -170,14 +170,14 @@ int vfprintf(FILE *file, const char *format, va_list args) {
} else if (stdout == file) {
DeepState_LogVFormat(DeepState_LogInfo, format, args);
} else {
#ifndef LIBFUZZER
DeepState_LogStream(DeepState_LogWarning);
DeepState_Log(DeepState_LogWarning,
"vfprintf with non-stdout/stderr stream follows:");
DeepState_LogVFormat(DeepState_LogInfo, format, args);
#else
DeepState_LogVFormat(DeepState_LogFuzzer, format, args);
#endif
if (!DeepState_UsingLibFuzzer) {
DeepState_LogStream(DeepState_LogWarning);
DeepState_Log(DeepState_LogWarning,
"vfprintf with non-stdout/stderr stream follows:");
DeepState_LogVFormat(DeepState_LogInfo, format, args);
} else {
DeepState_LogVFormat(DeepState_LogFuzzer, format, args);
}
}
return 0;
}