prog-fuzz 开源项目安装与使用教程

prog-fuzz 开源项目安装与使用教程

prog-fuzz Compiler/source code fuzzing tool using AFL instrumentation 项目地址: https://gitcode.com/gh_mirrors/pr/prog-fuzz

项目概述

prog-fuzz 是一个基于 AFL (American Fuzzy Lop) 仪器的编译器/源代码模糊测试工具。该项目旨在通过模糊测试来发现编译器或源代码中的潜在错误和漏洞，从而提升软件质量。此工具高度依赖于AFL的威力进行输入随机化并执行目标程序的大量变异测试。

项目目录结构及介绍

该开源项目遵循了一种清晰的组织结构，便于开发者快速上手：

• main.cc - 核心逻辑文件，包含了模糊测试的主要执行流程。其中重要的部分涉及到调用已仪器化的编译器。
• main-valid.cc - 可能是用于运行针对有效输入的测试版本，以确保基础功能的正确性。
• rules.cc 和 rules.py - 定义了某些测试规则或者转换逻辑，可能用于修改或筛选测试用例。
• COPYING - 包含了项目的许可证信息，明确指出它是GPL-3.0授权。
• make.sh - 脚本文件，用于构建和准备环境，自动化编译过程和设置必要的路径。
• rules2code.py - 可能用于将一些规则自动转化为代码或处理测试用例的生成。
• rules 文件夹 - 可能存放具体的测试规则文件或辅助脚本。
• 其他如 *.h, *.sh 文件 - 分别为头文件和Shell脚本，辅助项目构建和运行。

项目的启动文件介绍

• 主要启动文件: make.sh

  • 这个脚本是项目的关键入口点，它负责编译项目所需的组件，包括获取AFL并在适当的位置设置它（若需要），随后编译利用AFL仪器的编译器。
  • 用户执行这个脚本后，无需手动配置多步骤的编译过程，简化了项目的搭建工作。

• 业务逻辑启动文件: main.cc

  • 实际执行模糊测试的程序起点。在运行前，用户需确保已经适当地配置指向正确仪器化编译器的路径。

项目的配置文件介绍

• 间接配置: 在这个项目中，并没有直接提供一个传统的配置文件（如 .ini, .json 等）。配置主要通过修改 make.sh 中的变量（比如 $AFL_PATH）完成。这意味着用户需要编辑此脚本来适应本地环境或特定需求。

• 定制逻辑配置: 对于测试规则或行为的调整，可能需要修改 rules.cc 和 rules.py 文件内的代码，以实现对模糊测试过程的自定义控制。

请注意，在使用此项目之前，务必确保理解AFL的工作原理以及如何正确地仪器编译器，以避免不必要的错误或安全风险。此外，由于项目声明为“Very WIP/PoC”（非常初期的工作版本/概念验证），强烈建议在受控环境中测试，并密切关注任何更新或修复的发布。

prog-fuzz Compiler/source code fuzzing tool using AFL instrumentation 项目地址: https://gitcode.com/gh_mirrors/pr/prog-fuzz