模糊测试—AFL——实战小记

一 安装环境:

在vm虚拟机上使用Ubuntu-22.04系统的镜像。

清华和科大的镜像都可以,下载下来的是ISO的压缩包,不用解压(出来的是一堆文件),在安装新的VM虚拟机时,在镜像源里面直接选择下载下来的压缩包。

二 正式安装

2.1 安装LLVM和CLANG

sudo apt-get install clang
sudo apt-get install llvm
  • AFL 使用 LLVM/Clang 进行代码插桩:AFL 利用 LLVM/Clang 提供的插桩功能,通过修改编译器生成的可执行文件,实现对代码的覆盖率插桩,从而能够监测程序执行时经过的路径,用于模糊测试的导向。

  • AFL 需要 LLVM/Clang 编译器:AFL 包含了一些工具,如 afl-gcc,它们实际上是 LLVM/Clang 的包装器,用于在编译过程中实现代码插桩等操作。

2.2   下载、解压、编译和安装 AFL工具

wget http://lcamtuf.coredump.cx/afl/releases/afl-2.52b.tgz
tar -zxvf afl-2.52b.tgz
cd afl-2.52b
make
sudo  make install

这里会报两次错:

1.运行后报错,sudo: make: command not found

解决方法:

sudo apt-get update
sudo apt-get install make

2.之后还会报错:make: *** [Makefile:53: test_x86] Error 1

解决方法:

sudo apt-get install gcc

3.再次编译AFL:

sudo make install

三 准备待测程序

3.1 安装vim编辑器

sudo apt-get install vim

3.2 创建并打开一个test.c文件

vim test.c

复制粘贴一下实例代码:

/* 功能:两数加减乘除(一个整数、一个字符、再一个整数),然后根据中间这个字符当作运算符,输出四则运算结果。 */
#include <stdio.h>int main(int argc, char *argv[])
{int a, b;char op;int result;if(scanf("%d%c%d", &a, &op, &b)){switch (op) {case '+':result = a + b;break;case '-':result = a - b;break;case '*':result = a * b;break;case '/':result = a / b;break;default:return 1;}}printf("%d\n", result);return 0;
}

以":wq"+一个回车键,保存并退出文件,返回我们的初始终端。

3.3 创建一个testfile文件夹,把刚刚创建的test.c文件放进去。(注:这时里面还没有afl_test这个文件)

 

四 插桩编译

4.1 右键testfile这个文件夹,选择在终端中打开它

4.2 执行下面的命令

4.3 结果 -编译后的文件 afl_test

五 准备种子池

  1. mkdir good_seeds bad_seeds:创建了两个目录,一个是 good_seeds,用于存放良好的种子文件;另一个是 bad_seeds,用于存放不良的种子文件。

  2. echo '1+2' > good_seeds/any_seed:将字符串 1+2 写入到 good_seeds 目录下名为 any_seed 的文件中。这个文件是一个良好的种子文件,用于作为输入进行模糊测试。

  3. echo 'bad seed' > bad_seeds/any_seed:将字符串 bad seed 写入到 bad_seeds 目录下名为 any_seed 的文件中。这个文件是一个不良的种子文件,用于作为输入进行模糊测试,测试程序对不良输入的处理能力。

六 开始种子测试

如果出错了的解决方案:

错误展示1:

解决方案:

$ sudo su
$ echo core >/proc/sys/kernel/core_pattern

 

出现UI界面:

Ctrl+c手动终止fuzz 

错误展示2

size太小了,导致无法显示UI界面

解决方法:

(1)resize命令安装

执行如下命令:

$ sudo apt-get install xterm

(2)resize

$ sudo resize -s 80 25

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/827595.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

【学习笔记二十四】EWM补货策略和自动补货配置

一、EWM补货策略概述 1.计划补货 ①以联机或批处理模式启动 ②根据最大和最小数量计算补货 ③仅当库存量低于最低数量时才开始 ④四舍五入至最小补货数量的倍数 2.自动补货 ①在WT确认期间启动 ②根据最大和最小数量计算补货 ③只有当库存量低于最低数量时才开始 ④四舍…

MySQL Prepared语句(Prepared Statements)

在数据库应用中&#xff0c;很多SQL语句都会重复执行很多次&#xff0c;每次执行可能只是where条件中的变量值不同&#xff0c;但MySQL依然会解析SQL语法并生成执行计划。对于这类情况&#xff0c;可以利用prepared语句来避免重复解析SQL的开销。 文章目录 一、prepared语句优…

Java——继承与组合

和继承类似, 组合也是一种表达类之间关系的方式, 也是能够达到代码重用的效果。组合并没有涉及到特殊的语法 (诸如 extends 这样的关键字), 仅仅是将一个类的实例作为另外一个类的字段。 继承表示对象之间是is-a的关系&#xff0c;比如&#xff1a;狗是动物&#xff0c;猫是动…

模板(二)

文章目录 模板&#xff08;二&#xff09;1 非类型模板参数2. 模板的特化2.1. 概念2.2 函数模板特化2.3 类模板特化2.3.1 全特化2.3.2 偏特化2.3.3 类模板特化应用示例 3 模板的分离编译3.1 什么是分离编译3.2 模板的分离编译3.3 解决方法 4. 模板总结 模板&#xff08;二&…

鸿蒙OpenHarmony【LED外设控制】 (基于Hi3861开发板)

概述 OpenHarmony WLAN模组基于Hi3861平台提供了丰富的外设操作能力&#xff0c;包含I2C、I2S、ADC、UART、SPI、SDIO、GPIO、PWM、FLASH等。本文介绍如何通过调用OpenHarmony的NDK接口&#xff0c;实现对GPIO控制&#xff0c;达到LED闪烁的效果。其他的IOT外设控制&#xff0…

谁说快是转瞬即逝,PUMA说快是永恒

巴黎奥运会、欧洲杯、美洲杯......2024年可以说是名副其实的体育大年。在各种全球体育盛事营造的浓厚体育氛围当中&#xff0c;各大体育品牌纷纷开始发力。 4月10日&#xff0c;全球领先运动品牌PUMA率先发布了其为本届奥运会准备的17套奥运装配&#xff0c;包括瑞士、瑞典等国…

【Qt之·Qt插件开发·导出插件类的步骤】

系列文章目录 文章目录 前言总结 前言 第一步 DEFINES FLYSHOOT_LIBRARY第二步 #include<QtCore/qglobal.h>#if defined (FLYSHOOT_LIBRARY) # define FLYSHOOT_EXPORT Q_DECL_EXPORT #else # define FLYSHOOT_EXPORT Q_DECL_IMPORT #endif第三步 class FLYSHOOT_E…

身份核验接口-python身份证实名认证接口提供商

现如今&#xff0c;无论是金融交易、社交媒体还是在线购物&#xff0c;身份信息都是连接我们与数字世界的桥梁&#xff0c;如何"轻松实现身份验证成为了企业的一大难题&#xff01;翔云python身份证实名认证接口为您的业务提供高效、可靠的核验服务。确保交易安全&#xf…

Linux多进程(一)创建进程与进程控制

一、进程状态 进程一共有五种状态分别为&#xff1a;创建态&#xff0c;就绪态&#xff0c;运行态&#xff0c;阻塞态(挂起态)&#xff0c;退出态(终止态)其中创建态和退出态维持的时间是非常短的&#xff0c;稍纵即逝。主要是就绪态, 运行态, 挂起态三者之间的状态切换。 就绪…

小程序使用阿里巴巴矢量图标库

一、登录官网 www.iconfont.cn 二、在搜索框中搜索想要的图标&#xff0c;将鼠标移动到图标上会看到三个标记 可以使用下载&#xff0c;直接使用&#xff1a; 可以使用css文件使用&#xff1a; 首先点击购物车样式的选项&#xff0c;而后点击下图位置&#xff1a; 点击自己创…

Flume的安装及使用

Flume的安装及使用 文章目录 Flume的安装及使用Flume的安装1、上传至虚拟机&#xff0c;并解压2、重命名目录&#xff0c;并配置环境变量3、查看flume版本4、测试flume5、flume的使用 Flume的安装 1、上传至虚拟机&#xff0c;并解压 tar -zxvf apache-flume-1.9.0-bin.tar.g…

Git TortoiseGit 详细安装使用教程

前言 Git 是一个免费的开源分布式版本控制系统&#xff0c;是用来保存工程源代码历史状态的命令行工具&#xff0c;旨在处理从小型到非常大型的项目&#xff0c;速度快、效率高。《请查阅Git详细说明》。TortoiseGit 是 Git 的 Windows Shell 界面工具&#xff0c;基于 Tortoi…

05_FreeRTOS信号量

信号量 信号量信号量简介常用信号量API函数 信号量 信号量简介 信号量&#xff08;Semaphore&#xff09;是一种实现任务间通信的机制&#xff0c;可以实现任务之间同步或临界资源的互斥访问&#xff0c;常用于协助一组相互竞争的任务来访问临界资源。在多任务系统中&#xf…

wireshark RTP分析参数

主要看丢弃和Delta&#xff0c; 丢弃就是丢掉的udp包&#xff0c;所占的比率 Delta是当前udp包接收到的时间减去上一个udp包接收到的时间 根据载荷可以知道正确的delta应该是多少&#xff0c;比如G711A&#xff0c;ptime20&#xff0c;那么delta理论上应该趋近于20. 这里的de…

DA14531-蓝牙传感器固件开发

这里写目录标题 1.DA14531简介2.蓝牙传感器开发3.主要用户应用代码3.1.传感器数据结构体3.2.配置广播间隔3.3.主要用户代码说明3.3.1.主要函数接口3.3.2.打印MAC地址3.3.3.低功耗模式3.3.4.广播数据底层配置3.3.5.刷新传感器数据 1.DA14531简介 DA14531是基于全球尺寸最小、功…

代码随想录算法训练营第三十五天|860.柠檬水找零,406.根据身高重建队列, 452. 用最少数量的箭引爆气球

目录 860.柠檬水找零思路代码 406.根据身高重建队列思路代码 452. 用最少数量的箭引爆气球思路代码 860.柠檬水找零 题目链接&#xff1a;860.柠檬水找零 文档讲解&#xff1a;代码随想录 视频讲解&#xff1a;贪心算法&#xff0c;看上去复杂&#xff0c;其实逻辑都是固定的&a…

设计模式- 原型模式(Prototype Pattern)结构|原理|优缺点|场景|示例

​​​​​​​ 设计模式&#xff08;分类&#xff09; 设计模式&#xff08;六大原则&#xff09; 创建型&#xff08;5种&#xff09; 工厂方法 抽象工厂模式 单例模式 建造者模式 原型模式 结构型&#xff08;7种&…

数据结构-回溯算法

回溯算法 1.理解回溯算法的思想 基本概念 深度优先搜索:回溯算法通常采用深度优先搜索策略来遍历解空间。这意味着它会沿着一条路径尽可能深入地探索&#xff0c;直到遇到一个死胡试探与回溯:溯算法的核心在于“试错”。它会在搜索过程中做出一系列选择&#xff0c;形成一条可能…

python创建线程和结束线程

&#x1f47d;发现宝藏 前些天发现了一个巨牛的人工智能学习网站&#xff0c;通俗易懂&#xff0c;风趣幽默&#xff0c;忍不住分享一下给大家。【点击进入巨牛的人工智能学习网站】。 python创建线程和结束线程 在 Python 中&#xff0c;线程是一种轻量级的执行单元&#xff…

AES解密代码块

设置key,和加密后的字符串 import javax.crypto.Cipher; import javax.crypto.spec.SecretKeySpec; import java.util.Base64;