当前位置：首页 > news >正文

atheris从安装到fuzz输入输出解读

news 来源：原创 2025/5/25 12:23:09

1. 引入

模糊测试是一种自动化的软件测试技术，它通过自动生成大量随机数据作为输入来测试程序，以发现潜在的错误、漏洞或崩溃。atheris是一个专门用于CPython（Python的C语言实现）的模糊测试框架。

2. 安装atheris

参考1，笔者在Ubuntu 22.04.3 LTS下（ gcc version 11.4.0，cmake version 3.22.1，不需要clang也不需要llvm ），直接用pip install atheris就能安装好atheris。但在centos7下，gcc版本较低的情况下，安装报错较多且难以正确安装。

3. fuzz过程

假设需要对如下example_library.py中的代码进行fuzz

def CodeBeingFuzzed(number):"""Raises an exception if number is 17."""if number == 17:raise RuntimeError('Number was seventeen!')

fuzz驱动例子（fuzzing_example.py）如下

import atheris
import sys# This tells Atheris to instrument all functions in the `struct` and
# `example_library` modules.
with atheris.instrument_imports():import structimport example_library@atheris.instrument_func  # Instrument the TestOneInput function itself
def TestOneInput(data):if len(data) != 4:return  # Input must be 4 byte integer.number, = struct.unpack('<I', data)example_library.CodeBeingFuzzed(number)atheris.Setup(sys.argv, TestOneInput)
atheris.Fuzz()

这里有几个重点：
（1）使用atheris.instrument_imports()上下文管理器：

这个上下文管理器用于告诉Atheris框架，它应该为在上下文内导入的模块中的所有函数添加模糊测试的支持（即“instrument”这些函数）。
在这个例子中，struct和example_library模块被导入，并且它们的函数会被Atheris框架进行模糊测试时的跟踪和修改。

（2）定义TestOneInput函数：
这个函数是模糊测试的核心，每个测试用例的输入数据都会传递给这个函数。

使用@atheris.instrument_func装饰器，这个函数本身也被Atheris框架“instrument”了，意味着Atheris可以跟踪函数内部发生的各种事件，比如异常和返回值的改变。
函数内部首先检查输入数据的长度是否为4字节，如果不是，则直接返回。这是因为后面的struct.unpack调用期望的是一个4字节的整数。
使用struct.unpack(‘<I’, data)从输入数据中解包出一个无符号整数（<I表示小端字节序的4字节无符号整数）。

然后，这个整数被传递给example_library.CodeBeingFuzzed函数进行实际的模糊测试。

直接运行fuzz驱动进行测试

python fuzzing_example.py

命令行输出

(env_aa_atheris_py311) bbb@ubuntu:/data/ccc/atheris/example_fuzzers$ python fuzzing_example.py
INFO: Instrumenting struct
INFO: Instrumenting example_library
INFO: Using built-in libfuzzer
WARNING: Failed to find function "__sanitizer_acquire_crash_state".
WARNING: Failed to find function "__sanitizer_print_stack_trace".
WARNING: Failed to find function "__sanitizer_set_death_callback".
INFO: Running with entropic power schedule (0xFF, 100).
INFO: Seed: 4169936481
INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 4096 bytes
INFO: A corpus is not provided, starting from an empty corpus
#2      INITED cov: 2 ft: 2 corp: 1/1b exec/s: 0 rss: 38Mb
#21     NEW    cov: 5 ft: 5 corp: 2/5b lim: 4 exec/s: 0 rss: 38Mb L: 4/4 MS: 4 CopyPart-CopyPart-ShuffleBytes-CopyPart-=== Uncaught Python exception: ===
RuntimeError: Number was seventeen!
Traceback (most recent call last):File "/data/abcd/atheris/example_fuzzers/fuzzing_example.py", line 45, in TestOneInputexample_library.CodeBeingFuzzed(number)File "/data/abcd/atheris/example_fuzzers/example_library.py", line 19, in CodeBeingFuzzedraise RuntimeError('Number was seventeen!')
RuntimeError: Number was seventeen!==1066609== ERROR: libFuzzer: fuzz target exited
SUMMARY: libFuzzer: fuzz target exited
MS: 2 CMP-ChangeBit- DE: "\001\000\000\000"-; base unit: 3f3d2d8955322f325af6db2238355fa07007ebd9
0x11,0x0,0x0,0x0,
\021\000\000\000
artifact_prefix='./'; Test unit written to ./crash-498bcbf6cbffcc8dd2623f388d81f44cfad1014d
Base64: EQAAAA==
(env_aa_atheris_py311) bbb@ubuntu:/data/ccc/atheris/example_fuzzers$

异常之前的输出解读：
（1）INFO: Instrumenting struct 和 INFO: Instrumenting example_library：
这两条信息表明 Atheris 正在对特定的结构体和库（example_library）进行代码插桩（Instrumentation），这是模糊测试的一个步骤，用于收集代码覆盖率等信息。
（2）INFO: Using built-in libfuzzer：
表示 Atheris 使用内置的 libFuzzer 引擎来执行模糊测试。libFuzzer 是一个由 LLVM 提供的库，用于自动化模糊测试。
（3）WARNING: Failed to find function "__sanitizer_acquire_crash_state", "__sanitizer_print_stack_trace", "__sanitizer_set_death_callback"：
这些警告表明 Atheris 或 libFuzzer 在尝试使用某些与 AddressSanitizer（ASan）相关的函数时失败了。这可能是因为当前的测试环境或配置不支持这些功能。
（4）INFO: Running with entropic power schedule (0xFF, 100).：
这表明模糊测试正在使用一种特定的能量调度策略（Entropic Power Schedule）。“entropic power schedule” 是一种基于熵理论的调度策略，主要用于优化模糊测试（fuzzing）中的能量分配。具体来说，这种策略通过为那些能够最大化信息的种子分配更多的能量来提高模糊测试的效率。这种方法被称为 Entropic，并已被集成到流行的灰盒模糊测试工具 LibFuzzer 中。
（5）INFO: Seed: 4169936481：
显示当前模糊测试的随机种子值。种子值用于确保测试的可重复性。
（6）INFO: -max_len is not provided; libFuzzer will not generate inputs larger than 4096 bytes：
表示没有指定最大输入长度，因此 libFuzzer 将不会生成大于 4096 字节的输入。
（7）INFO: A corpus is not provided, starting from an empty corpus：
表明没有提供初始测试用例集（corpus），因此模糊测试将从空白的测试用例集开始。
（8）#2 INITED cov: 2 ft: 2 corp: 1/1b exec/s: 0 rss: 38Mb 和 #21 NEW cov: 5 ft: 5 corp: 2/5b lim: 4 exec/s: 0 rss: 38Mb L: 4/4 MS: 4 CopyPart-CopyPart-ShuffleBytes-CopyPart-：
这些是模糊测试过程中的状态更新。#2 和 #21 表示测试的不同阶段或迭代。cov 表示代码覆盖率，ft 表示特征数（可能指特定的测试路径或条件），corp 表示测试用例集的大小和当前状态，exec/s 表示每秒执行的测试数，rss 表示使用的常驻集大小（内存使用量），L 表示当前测试用例的长度，MS 表示生成当前测试用例所使用的变异策略（Mutation Strategy）。

Uncaught Python exception：
表示触发了一个异常。

异常之后的输出解读：

（1）==1066609== ERROR: libFuzzer: fuzz target exited：
这条错误信息表明模糊测试的目标程序（fuzz target）异常退出了
（2）SUMMARY: libFuzzer: fuzz target exited：
这是对上一条错误信息的总结，再次强调模糊测试目标程序已经退出。
（3）MS: 2 CMP-ChangeBit-：
这表示在生成导致程序退出的测试用例时，使用了两个变异策略（Mutation Strategies）：CMP（可能是指比较操作的某种变异）和ChangeBit（改变位）。
（4）DE: "\001\000\000\000"-; base unit: 3f3d2d8955322f325af6db2238355fa07007ebd9：
DE 表示数据变异（Data Mutation）的结果。这里显示了一个具体的变异数据（\001\000\000\000），以及一个基础单元（base unit），这个基础单元可能是指变异操作之前的数据或是一个特定的种子值。
（5）0x11,0x0,0x0,0x0,：
0x11正好是十进制数的17，这个数据能对要fuzz的函数CodeBeingFuzzed产生异常。
（6）\021\000\000\000：
这是另一个变异后的数据示例，表明在模糊测试过程中，数据被进一步修改以尝试触发不同的程序行为。
（7）artifact_prefix='./'; Test unit written to ./crash-498bcbf6cbffcc8dd2623f388d81f44cfad1014d：
这条信息表明，当模糊测试目标程序退出时，libFuzzer 自动将触发退出的测试用例保存到了一个文件中。artifact_prefix=‘./’ 表示保存的文件位于当前目录下，文件名是 crash-498bcbf6cbffcc8dd2623f388d81f44cfad1014d。这个文件包含了导致程序退出的具体输入数据。
（8）Base64: EQAAAA==：
这是触发退出的测试用例的 Base64 编码表示。Base64 是一种编码方案，用于将二进制数据转换为 ASCII 字符串。这个编码可以用于在文本环境中传输二进制数据，或者在不支持二进制数据的系统中存储二进制数据。

输出crash文件

$ hexdump crash-498bcbf6cbffcc8dd2623f388d81f44cfad1014d
0000000 0011 0000
0000004

从上面输出数据的分析可以看到，0x11,0x0,0x0,0x0,，0x11正好是十进制数的17，这个数据能对要fuzz的函数CodeBeingFuzzed产生异常。

4. 总结

本文给出了atheris从安装到fuzz输入输出解读的过程，例子来源参考1。

参考

https://github.com/google/atheris/tree/master
https://yiyan.baidu.com/

atheris从安装到fuzz输入输出解读

1. 引入模糊测试是一种自动化的软件测试技术，它通过自动生成大量随机数据作为输入来测试程序，以发现潜在的错误、漏洞或崩溃。atheris是一个专门用于CPython（Python的C语言实现）的模糊测试框架。 2. 安装atheris 参考1&#x…...

编程日记 2025/5/25 12:23:09

基于自然语言处理的垃圾短信识别系统

基于自然语言处理的垃圾短信识别系统 🌟 嗨，我是LucianaiB！ 🌍 总有人间一两风，填我十万八千梦。 🚀 路漫漫其修远兮，吾将上下而求索。目录设计题目设计目的设计任务描述设计要求输入和输出…...

编程日记 2025/5/24 23:45:33

PAT甲级-1022 Digital Libiary

题目题目大意一个图书有图书id，书名，作者，关键字，出版商，出版时间6个信息。现要查询图书的ID，1对应通过书名查询，2对应作者，3对应关键字（不需要完全一致，包…...

编程日记 2025/5/25 11:29:25

GD32F470 USB虚拟串口

1. 硬件连接确保GD32F470开发板的USB接口连接到PC的USB端口。开发板通常提供USB FS（全速）接口，可以直接使用。 2. 配置USB功能需要配置USB时钟、GPIO和中断，以支持全速USB设备模式。 2.1 配置USB时钟 c复制 void usb_rcu_…...

编程日记 2025/5/21 16:14:56

25美赛ABCDEF题详细建模过程＋可视化图表＋参考论文＋写作模版＋数据预处理

详情见该链接！！！！！！ 25美国大学生数学建模如何准备！！！！！-CSDN博客文章浏览阅读791次，点赞13次，收藏7次。通过了解比赛基本…...

编程日记 2025/5/23 18:03:42

【转帖】eclipse-24-09版本后，怎么还原原来版本的搜索功能

【1】原贴地址：eclipse - 怎么还原原来版本的搜索功能_eclipse打开类型搜索类功能失效-CSDN博客 https://blog.csdn.net/sinat_32238399/article/details/145113105 【2】原文如下： 更新eclipse-24-09版本后之后，新的搜索功能（CT…...

编程日记 2025/5/25 11:22:33

Elasticsearch 性能测试工具 Loadgen 之 002——命令行及参数详解

上一讲，我们讲解了 Loadgen 的极简部署方式、配置文件、快速使用从 0 到 1 方式。本讲，我们主要解读一下 Loadgen 的丰富的命令行及参数含义。有同学可能会说，上面不是介绍很清楚了吗？但，咱们还是有必要详细中文解读…...

编程日记 2025/5/22 19:07:13

DRG/DIP 2.0时代下基于PostgreSQL的成本管理实践与探索（下）

五、数据处理与 ETL 流程编程实现 5.1 数据抽取与转换（ETL）在 DRG/DIP 2.0 时代的医院成本管理中，数据抽取与转换（ETL）是将医院各个业务系统中的原始数据转化为可供成本管理分析使用的关键环节。这一过程涉及从医院 HIS 系统中抽取患者诊疗数据，并对其进行格式转换、字…...

编程日记 2025/5/18 14:47:54

【设计模式-行为型】状态模式

一、什么是状态模式什么是状态模式呢，这里我举一个例子来说明，在自动挡汽车中，挡位的切换是根据驾驶条件（如车速、油门踏板位置、刹车状态等）自动完成的。这种自动切换挡位的过程可以很好地用状态模式来描述。状态模式…...

编程日记 2025/5/19 23:50:36

想品客老师的第六天：函数

函数基础的部分写在这里函数声明在js里万物皆对象，函数也可以用对象的方式定义 let func new Function("title", "console.log(title)");func(我是参数title); 也可以对函数赋值： let cms function (title) {console.log(tit…...

编程日记 2025/5/23 2:10:20

hedfs和hive数据迁移后校验脚本

先谈论校验方法，本人腾讯云大数据工程师。 1、hdfs的校验这个通常就是distcp校验，hdfs通过distcp迁移到另一个集群，怎么校验你的对不对。有人会说，默认会有校验CRC校验。我们关闭了，为什么关闭？全量迁…...

编程日记 2025/5/24 15:42:24

面向通感一体化的非均匀感知信号设计

文章目录 1 非均匀信号设计的背景分析1.1 基于OFDM波形的感知信号1.2 非均匀信号设计的必要性和可行性1.2 非均匀信号设计的必要性和可行性 3 通感一体化系统中的非均匀信号设计方法3.1 非均匀信号的设计流程（1）均匀感知信号设计（2&#xff0…...

编程日记 2025/5/25 11:35:15

React将props传递给一个组件

React 组件通讯：从单向数据流到跨层级交互的深度实践 ——基于 Props 的通讯机制解析与高阶模式探索一、Props 的本质：不可变数据管道 React 的 props（properties）机制构建了单向数据流的核心范式。每个父组件通过 props 向子…...

编程日记 2025/5/25 11:30:32

头歌实训作业算法设计与分析-贪心算法(第2关：最优装载问题)

任务描述有一批集装箱要装上一艘载重量为C的轮船，共有n个集装箱，其中集装箱i的重量为Wi。最优装载问题要求确定在装载体积不受限制的情况下，将尽可能多的集装箱装上轮船。测试说明输入和输出说明： 第1行为集装箱数目n和载重限…...

编程日记 2025/5/22 18:55:44

HarmonyOS基于ArkTS卡片服务

卡片服务前言 Form Kit（卡片开发框架）提供了一种在桌面、锁屏等系统入口嵌入显示应用信息的开发框架和API，可以将应用内用户关注的重要信息或常用操作抽取到服务卡片（以下简称“卡片”）上，通过将卡片添加…...

编程日记 2025/5/25 6:41:07

Elasticsearch 性能测试工具 Loadgen 之 001——部署及应用详解

在现代软件开发中，性能测试是确保应用程序稳定性和响应速度的关键环节。今天，我们就来深入了解一款国产化功能强大的 Elasticsearch 负载测试工具——INFINI Loadgen。一、INFINI Loadgen 简介 Github地址：https://github.com/infinilabs/l…...

编程日记 2025/5/25 11:31:56

Python算法详解：动态规划

动态规划（Dynamic Programming，简称 DP）是计算机科学中一种高效解决问题的算法思想。它通过将复杂问题分解为更小的子问题，记录中间结果，避免重复计算，从而提升效率。本文将从动态规划的基础思想出发&#…...

编程日记 2025/5/19 8:19:57

python3+TensorFlow 2.x（二）回归模型

目录回归算法 1、线性回归 (Linear Regression) 一元线性回归举例 2、非线性回归 3、回归分类回归算法回归算法用于预测连续的数值输出。回归分析的目标是建立一个模型，以便根据输入特征预测目标变量，在使用 TensorFlow 2.x 实现线性回归模型时&…...

编程日记 2025/5/25 6:41:35

lombok 没生效 java: 找不到符号符号: 方法 setName(java.lang.String)

今天使用lombok 添加了 Data注解 set方法却没起效解决方法 1 给lombok 添加版本号再maven刷新下 <dependency><groupId>org.projectlombok</groupId><artifactId>lombok</artifactId><version>1.18.8</version><optional>…...

编程日记 2025/5/19 14:30:01

uiautomator2教程

一、简介 uiautomator2 是一个 Python 库，用于 Android 的 UI 自动化测试，底层基于 Google uiautomator。二、安装 1、安装adb 2、pip install uiautomator2 3、设备安装 atx - agent，python -m uiautomator2 init 4、安装weditor&…...

编程日记 2025/5/20 22:30:36

旅游风景的代码项目

敦煌莫高窟：用代码打开千年艺术的大门 ——一个零基础也能看懂的神奇项目前言：当古老艺术遇上现代代码想象一下，你坐在电脑前，指尖轻轻一点，就能穿越到敦煌莫高窟——看飞天的衣袂飘飘、听千年的驼铃声声。这不是科…...

编程日记 2025/5/20 8:47:35

【后端开发】字节跳动青训营之性能分析工具pprof

性能分析工具pprof 一、测试程序介绍二、pprof工具安装与使用2.1 pprof工具安装2.2 pprof工具使用资料链接： 项目代码链接实验指南pprof使用指南一、测试程序介绍 package mainimport ("log""net/http"_ "net/http/pprof" // 自…...

编程日记 2025/5/24 10:07:44

【测试】-- 认识测试

1. 软件测试定义软件测试就是验证软件产品特性（功能、性能、界面、易用性等）是否满足用户的需求。 2. 测试的岗位软件测试开发工程师（测开） 开发：开发测试效率工具（自动化、性能测试、覆盖率等&#x…...

编程日记 2025/5/25 11:50:47

浏览器hid 和蓝牙bluetooth技术区别

HID与蓝牙技术区别引言在前端开发中，与外部设备的交互越来越重要，尤其是在移动设备和物联网设备日益普及的今天。HID（Human Interface Device）和蓝牙（Bluetooth）是两种常用的技术，用于实现设备…...

编程日记 2025/5/25 11:10:28

PCIE模式配置

对于VU系列FPGA，当DMA/Bridge Subsystem for PCI Express IP配置为Bridge模式时，等同于K7系列中的AXI Memory Mapped To PCI Express IP。...

编程日记 2025/5/8 8:32:49

mysql 学习3 SQL语句--整体概述。SQL通用语法；DDL创建数据库，查看数据库，删除数据库，使用数据库；

SQL通用语法 SQL语句分类 DDL data definition language : 用来创建数据库，创建表，创建表中的字段，创建索引。因此成为数据定义语言 DML data manipulation language 有了数据库和表以及字段后，那么我们就需要给这个表中添加数…...

编程日记 2025/5/22 10:13:24

Swing使用MVC模型架构

什么是MVC模式？ MVC是一组英文的缩写，其全名是Model-View-Controller，也就是“模型-视图-控制器”这三个部分组成。这三个部分任意一个部分发生变化都会引起另外两个发生变化。三者之间的关系示意图如下所示： MVC分为三个部分，所以在MVC模型中将按照此三部分分成三…...

编程日记 2025/5/16 14:55:41

Java定时任务实现方案(二)——ScheduledExecutorService

这篇笔记，我们要来介绍实现Java定时任务的第二个方案，使用ScheduledExecutorService，以及该方案的优点和缺点。 ScheduledExecutorService是Java并发包java.util.concurrent中用于执行定时任务和周期性任务的接口，它拓展了Executo…...

编程日记 2025/5/20 4:40:25

Agent群舞，在亚马逊云科技搭建数字营销多代理(Multi-Agent)（下篇）

在本系列的上篇中，小李哥为大家介绍了如何在亚马逊云科技上给社交数字营销场景创建AI代理的方案，用于社交动态的生成和对文章进行推广曝光。在本篇中小李哥将继续本系列的介绍，为大家介绍如何创建主代理，将多个子代理挂载到主代理…...

编程日记 2025/5/20 20:40:12

Leecode刷题C语言之收集所有金币可获得的最大积分

执行结果:通过执行用时和内存消耗如下： int dfs(int node, int parent, int f, int* coins, int k, int **children, int *childCount, int **memo) {if (memo[node][f] ! -1) {return memo[node][f];}int res0 (coins[node] >> f) - k;int res1 coins[no…...

编程日记 2025/5/24 10:29:14

STM32_SD卡的SDIO通信_基础读写

本篇将使用CubeMXKeil, 创建一个SD卡读写的工程。目录一、SD卡要点速读二、SDIO要点速读三、SD卡座接线原理图四、CubeMX新建工程五、CubeMX 生成 SD卡的SDIO通信部分六、Keil 编辑工程代码七、实验效果实现效果，如下图： 一、SD卡速读…...

编程日记 2025/5/24 2:43:11

新手理解：Android 中 Handler 和 Thread.sleep 的区别及应用场景

新手理解：Android 中 Handler 和 Thread.sleep 的区别及应用场景 Handler 是啥？Handler 的几个核心功能： Thread.sleep 是啥？Thread.sleep 的核心特点： 两者的区别它们的应用场景1. Handler 的应用场景2. Thread.sleep…...

编程日记 2025/5/23 10:36:13

C语言-----扫雷游戏

扫雷游戏的功能说明 ： • 使⽤控制台实现经典的扫雷游戏 • 游戏可以通过菜单实现继续玩或者退出游戏 • 扫雷的棋盘是9*9的格⼦ • 默认随机布置10个雷 • 可以排查雷： ◦ 如果位置不是雷，就显⽰周围有⼏个雷 ◦ 如果位置是雷，就…...

编程日记 2025/5/21 5:58:20

监控与调试：性能优化的利器 — ShardingSphere

在分布式数据库系统中，监控和调试是确保系统高效运行的关键。ShardingSphere 提供了多种监控和调试工具，帮助开发者实时跟踪和优化性能，识别瓶颈，进行故障排查，从而提升系统的稳定性和响应速度。本文将介绍如何使用 Sh…...

编程日记 2025/5/22 23:59:04

Kubernetes相关知识入门详解

一、Pod的滚动升级 1.服务升级的一般思路：停止与该服务相关的所有服务pod，重新拉去更新后的镜像并启动。这种方法存在一个比较现实的问题是逐步升级导致较长时间的服务不可用。 2.Kubernetes滚动升级的思路：通过滚动升级的命令创建新的rc&…...

编程日记 2025/5/21 16:56:44

多层 RNN原理以及实现

数学原理多层 RNN 的核心思想是堆叠多个 RNN 层，每一层的输出作为下一层的输入，从而逐层提取更高层次的抽象特征。 1. 单层 RNN 的数学表示首先，单层 RNN 的计算过程如下。对于一个时间步 t t t，单层 RNN 的隐藏状态 h t h_t…...

编程日记 2025/5/21 23:33:36

Unity阿里云OpenAPI 获取 Token的C#【记录】

获取Token using UnityEngine; using System; using System.Text; using System.Linq; using Newtonsoft.Json.Linq; using System.Security.Cryptography; using UnityEngine.Networking; using System.Collections.Generic; using System.Globalization; using Cysharp.Thr…...

编程日记 2025/5/25 10:13:01

1. 引入

2. 安装atheris

3. fuzz过程

4. 总结

参考

相关文章：