如何解决是否可以告诉 libfuzzer 忽略某些代码?
我使用 libfuzzer,到目前为止它的体验很棒。 我在 fuzz 下的代码充满了这样的分支:
bool fuzzingThisFunc() {
if(!checkSomething()) {
fmt::printf("error log");
return false;
}
...
return true;
}
其中 fmt::printf
是来自第三方库 (http://github.com/fmtlib/fmt) 的函数。
我觉得经过几次迭代后,fuzzer 进入这个函数并有效地开始对其中的所有分支进行模糊测试(比如当它使用 DFS 而不是 BFS 时)。
我想向模糊器添加一些障碍或指令,以免将检测插入第三方库,因此我的模糊器将尝试仅覆盖我的代码。
有可能吗?
解决方法
Libfuzzer 支持源文件级别的检测。一种选择是构建没有 -fsanitize=fuzzer
标志的第三方库。
检查传递给这些库的配置的 CFLAGS,以删除此标志。
仅头文件库通常包括模板,fmt 就是这种情况。它们必须在编译时实例化。我看不到处理这些的简单方法。您可以找到所有使用的模板参数,创建将它们与这些参数一起使用的 thunk 代码,从检测中排除此代码并修改您的调用代码以使用这些实例化的函数,但这非常困难。
当您不想检测的代码仅执行日志记录或其他可以跳过而不修改应用程序行为的活动时,您可以使其成为编译条件。 Libfuzzer 文档建议使用 FUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION
定义来标记您不想为模糊测试构建的代码。在 fmt 情况下,这将是:
bool fuzzingThisFunc() {
if(!checkSomething()) {
#ifndef FUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION
fmt::printf("error log");
#endif
return false;
}
...
return true;
}
或修改库代码:
template <typename S,typename... Args,FMT_ENABLE_IF(detail::is_string<S>::value)>
inline int printf(const S& format_str,const Args&... args) {
#ifndef FUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION
using context = basic_printf_context_t<char_t<S>>;
return vprintf(to_string_view(format_str),make_format_args<context>(args...));
#else
return 0; //C printf returns number of characters written,I assume same for fmt.
#endif
}
第二种情况更容易编码(每个排除的函数一个修改),但是每次获得新的 fmt 版本时都必须添加此修改。 在第一种情况下,您必须修改每个排除的 func 调用站点。
对于这两种情况,您应该将 -DFUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION
添加到配置的 CFLAGS 以进行模糊测试目标构建。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。