当前位置: 首页 > article >正文

AFL++实战入门与afl-fuzz流程解析(源码流程图)

简介

本项目为模糊测试的零基础教学,适合了解 pwn 且会使用 Linux 的 gcc、gdb 的读者。模糊测试旨在通过向程序投喂数据使其崩溃,从而获取崩溃样本以寻找程序漏洞。本文前半部分介绍 AFL++ 的 docker 环境配置,帮助读者解决入门时的环境和网络问题;
后半部分全面解析 afl 的模糊测试流程与源码架构,包括漏洞挖掘实战和原理机制解析。通过本文,读者可以快速入门模糊测试,并深入了解 AFL++ 的工作原理和应用。

文章主要大纲:

  • 一、AFL++的docker环境配置
  • 二、AFL++进行漏洞挖掘实战
  • 三、AFL++漏洞挖掘原理与机制解析

一、AFL++的docker环境配置

以 AFL++ 作为入门模糊测试漏洞挖掘的最佳选择。然而,入门时存在的环境和网络问题往往会使大部分人望而却步,无法顺利转战实战。为解决这一问题,我们直接采用 docker + windows 的环境,并结合 Docker + Windows + VsCode 进行运行,至于代理问题则需要自行解决。

(一)Docker+Windows

在windows上可通过以下步骤使用docker:

  1. Docker Desktop:面向开发人员的 #1 容器化工具 |码头工人 — Docker Desktop: The #1 Containerization Tool for Developers | Docker
  2. vscode远程连接docker容器_attach to vscode-CSDN博客
  3. VsCode轻松使用docker容器-Remote Containers_哔哩哔哩_bilibili

(二)Vscode插件

使用Dev Containers插件,可在商店中获取。

(三)创建afl++的docker容器

所以自己手动在命令行运行创建docker的命令:

docker run --name afl -it -d aflplusplus/aflplusplus /bin/bash

(四)存在问题及解决方案

存在一个巨大的bug如果直接使用vscode创建一个docker那么就会发生stop容器时容器自动删除!!!
解决方案可参考:

  • docker exit 退出后容器消失 - 一个人的孤独自白 - 博客园 (cnblogs.com)
  • 30 如何在VS Code中配置、部署和调试Docker? | yuy4o

解决方案,创建afl++的docker容器可在命令行运行以下命令:

docker run name afl -it -d aflplusplus/aflplusplus /bin/bash

二、AFL++进行漏洞挖掘实战

(一)目标程序的源码

这是一个普通的栈溢出案例,添加了一点点的if判断语句用来模拟正常程序:

//test2.c
#include <stdio.h>
#include <string.h>

void vulnerable_function(char *input) {
   
    char buffer[4]; // 定义一个长度为4的字符数组

    // 复制用户输入到buffer中
    strcpy(buffer, input);

    printf("输入内容: %s\n", buffer);
}

int main() {
   
    char user_input[100];

    printf("请输入一串字符(以回车结束):");
    fgets(user_input, sizeof(user_input), stdin);

    // 移除换行符
    user_input[strcspn(user_input, "\n")] = 0;

    // 检查前四个字符是否是'a', 'b', 'c', 'd'
    if (user_input[0] == 'a' ){
   
        if( user_input[1] == 'b' ) {
   
            if (user_input[2] == 'c'){
   
              

http://www.kler.cn/a/384423.html

相关文章:

  • 飞腾平台Arm ComputeLibrary编译安装指南
  • VMware没有卸载干净,安装后ping不通
  • 论文阅读--捍卫基于激光雷达视野范围的三维目标检测
  • MySQL存储目录与配置文件(ubunto下)
  • 计算机的发展史
  • Elasticsearch+kibana+filebeat的安装及使用
  • ECharts折线图背景渐变设置
  • 短视频矩阵系统源码/抖去推源头技术4年开发
  • 《巧用 EasyQuotation 与 MongoDB 监视股市风云》
  • element plus el-form自定义验证输入框为纯数字函数
  • RESTful 原理和实践
  • 基于SSM(Spring + Spring MVC + MyBatis)框架的药房管理系统
  • git clone github加速方法
  • 【java】实战-力扣题库:有序数组的平方
  • 在Ubuntu22.04上使用Qt Creator开发ROS2项目
  • Unity性能优化 -- 性能分析工具
  • 数据结构---排序(下)
  • 【Python专题】Python处理视频的分辨率
  • 【青牛科技】GC3911替代LV8548在摇头机、舞台灯、打印机和白色家电等产品上的应用分析
  • 高级java每日一道面试题-2024年10月27日-Redis篇-jedis和redisson有哪些区别?
  • CSS中综合练习(基础学校完整静态网页教程)!!
  • 在vscode中如何利用git 查看某一个文件的提交记录
  • 关于几种卷积
  • 场馆场地预定预约源码全开源uniapp+搭建教程
  • 全面解析Flutter中的Stream用法及实际应用
  • ssm070基于SSM框架的校园代购服务订单管理系统的设计与实现+vue(论文+源码)_kaic