test fuzz-07-模糊测试 libfuzzer

2024-01-10 21:52

本文主要是介绍test fuzz-07-模糊测试 libfuzzer,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

拓展阅读

开源 Auto generate mock data for java test.(便于 Java 测试自动生成对象信息)

开源 Junit performance rely on junit5 and jdk8+.(java 性能测试框架。性能测试。压测。测试报告生成。)

test fuzz-01-模糊测试(Fuzz Testing)

test fuzz-02-模糊测试 JQF + Zest Semantic Fuzzing for Java

test fuzz-03-模糊测试 Atheris A Coverage-Guided, Native Python Fuzzer

test fuzz-04-模糊测试 jazzer Coverage-guided, in-process fuzzing for the JVM

test fuzz-05-模糊测试 kelinci AFL-based fuzzing for Java

test fuzz-06-模糊测试 AFL american fuzzy lop - a security-oriented fuzzer

test fuzz-07-模糊测试 libfuzzer

给出 libfuzzer 的入门例子

以下是一个简单的 libFuzzer 入门例子,用于模糊测试一个假设的目标函数。

请注意,这只是一个基本的演示,实际使用中需要根据被测试程序的特定需求进行更复杂的设置。

#include <stdint.h>
#include <stddef.h>// 目标函数,需要有特定的签名
extern "C" int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size) {// 假设的目标函数逻辑int sum = 0;for (size_t i = 0; i < size; ++i) {sum += data[i];}// 模拟发现问题的情况if (sum == 42) {// 触发问题的情况,返回非零值表示发现问题return 1;}// 返回零表示正常执行return 0;
}

在上面的例子中,我们定义了一个假设的目标函数 LLVMFuzzerTestOneInput,该函数接收一个 const uint8_t 数组和其大小作为输入。在函数中,我们对输入数据进行简单的累加,并模拟了一个问题的发现情况。

为了使用 libFuzzer 进行测试,我们需要将这个目标函数与 libFuzzer 库链接起来。以下是一个简单的编译和运行 libFuzzer 的命令:

# 使用 Clang 编译目标函数和 libFuzzer
clang -fsanitize=fuzzer target_function.cpp -o target_function_fuzzer# 运行 libFuzzer
./target_function_fuzzer

libFuzzer 将自动进行模糊测试,生成随机输入,并调用目标函数进行执行。

如果目标函数中的模拟问题条件被满足,libFuzzer 将输出相关信息,并继续进行测试。

这是一个简单的入门例子,实际应用中通常需要更复杂的目标函数和更全面的测试设置。

libFuzzer 是如何实现快速生成最小化的测试用例的?

libFuzzer实现快速生成最小化的测试用例的关键在于其内建的最小化工具。

一旦发现导致问题的测试用例,libFuzzer会使用最小化工具来自动生成包含最小输入的版本,以帮助定位和修复问题。下面是它的一般工作流程:

  1. 发现问题: libFuzzer运行过程中,当某个测试用例导致程序崩溃或产生内存错误时,它会记录下该测试用例。

  2. 生成最小化输入: libFuzzer将使用内建的最小化工具对导致问题的测试用例进行最小化处理。该工具会尝试移除输入数据中的不必要部分,同时保留导致问题的关键信息。

  3. 重新运行最小化的测试用例: 生成的最小化测试用例会被重新运行,以确保它仍然能够触发相同的问题。这有助于验证最小化过程没有改变导致问题的核心特征。

  4. 定位问题: 得到最小输入后,开发者可以更容易地定位和修复问题,因为最小输入通常更易于理解和分析。

整个过程是自动化的,减轻了开发者手动进行最小化测试用例的繁琐工作。这有助于提高修复漏洞的效率,使开发者能够更快地响应和解决发现的问题。

在这里插入图片描述

这篇关于test fuzz-07-模糊测试 libfuzzer的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/592190

相关文章

使用Python进行GRPC和Dubbo协议的高级测试

《使用Python进行GRPC和Dubbo协议的高级测试》GRPC(GoogleRemoteProcedureCall)是一种高性能、开源的远程过程调用(RPC)框架,Dubbo是一种高性能的分布式服... 目录01 GRPC测试安装gRPC编写.proto文件实现服务02 Dubbo测试1. 安装Dubb

Python的端到端测试框架SeleniumBase使用解读

《Python的端到端测试框架SeleniumBase使用解读》:本文主要介绍Python的端到端测试框架SeleniumBase使用,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全... 目录SeleniumBase详细介绍及用法指南什么是 SeleniumBase?SeleniumBase

python多线程并发测试过程

《python多线程并发测试过程》:本文主要介绍python多线程并发测试过程,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、并发与并行?二、同步与异步的概念?三、线程与进程的区别?需求1:多线程执行不同任务需求2:多线程执行相同任务总结一、并发与并行?1、

MySQL中like模糊查询的优化方案

《MySQL中like模糊查询的优化方案》在MySQL中,like模糊查询是一种常用的查询方式,但在某些情况下可能会导致性能问题,本文将介绍八种优化MySQL中like模糊查询的方法,需要的朋友可以参... 目录1. 避免以通配符开头的查询2. 使用全文索引(Full-text Index)3. 使用前缀索

解决tomcat启动时报Junit相关错误java.lang.ClassNotFoundException: org.junit.Test问题

《解决tomcat启动时报Junit相关错误java.lang.ClassNotFoundException:org.junit.Test问题》:本文主要介绍解决tomcat启动时报Junit相... 目录tomcat启动时报Junit相关错误Java.lang.ClassNotFoundException

MyBatis模糊查询报错:ParserException: not supported.pos 问题解决

《MyBatis模糊查询报错:ParserException:notsupported.pos问题解决》本文主要介绍了MyBatis模糊查询报错:ParserException:notsuppo... 目录问题描述问题根源错误SQL解析逻辑深层原因分析三种解决方案方案一:使用CONCAT函数(推荐)方案二:

MySQL索引的优化之LIKE模糊查询功能实现

《MySQL索引的优化之LIKE模糊查询功能实现》:本文主要介绍MySQL索引的优化之LIKE模糊查询功能实现,本文通过示例代码给大家介绍的非常详细,感兴趣的朋友一起看看吧... 目录一、前缀匹配优化二、后缀匹配优化三、中间匹配优化四、覆盖索引优化五、减少查询范围六、避免通配符开头七、使用外部搜索引擎八、分

Mybatis 传参与排序模糊查询功能实现

《Mybatis传参与排序模糊查询功能实现》:本文主要介绍Mybatis传参与排序模糊查询功能实现,本文通过实例代码给大家介绍的非常详细,感兴趣的朋友跟随小编一起看看吧... 目录一、#{ }和${ }传参的区别二、排序三、like查询四、数据库连接池五、mysql 开发企业规范一、#{ }和${ }传参的

SpringBoot中整合RabbitMQ(测试+部署上线最新完整)的过程

《SpringBoot中整合RabbitMQ(测试+部署上线最新完整)的过程》本文详细介绍了如何在虚拟机和宝塔面板中安装RabbitMQ,并使用Java代码实现消息的发送和接收,通过异步通讯,可以优化... 目录一、RabbitMQ安装二、启动RabbitMQ三、javascript编写Java代码1、引入

Nginx设置连接超时并进行测试的方法步骤

《Nginx设置连接超时并进行测试的方法步骤》在高并发场景下,如果客户端与服务器的连接长时间未响应,会占用大量的系统资源,影响其他正常请求的处理效率,为了解决这个问题,可以通过设置Nginx的连接... 目录设置连接超时目的操作步骤测试连接超时测试方法:总结:设置连接超时目的设置客户端与服务器之间的连接