探索代码的边界:Manul,你的多平台覆盖率引导式模糊测试工具
2024-05-20 05:14:27作者:秋泉律Samson
在软件安全的世界里,发现潜在漏洞是至关重要的。Manul,一款由Python编写的覆盖率引导式并行模糊测试工具,正是为你实现这一目标而设计的。无论是在Windows、Linux还是macOS(目前为Beta版)上,Manul都能帮助你检测开源或黑盒二进制文件中的错误和不稳定性。
项目简介
Manul借鉴了AFL(American Fuzzy Lop)的理念,并引入了DynamoRIO和Intel PIN等DBI(动态二进制插桩)框架,提供了一种无需重新编译目标程序即可进行覆盖率引导的模糊测试方法。此外,Manul还内置了Radamsa变异器,增强了对输入数据的多样性处理。
技术分析
Manul的核心特性在于其灵活性和可扩展性:
- AFL兼容性:支持使用AFL的编译器来增加代码覆盖信息。
- DBI模式:利用DynamoRIO或PIN对未修改的二进制文件进行运行时插桩,实现覆盖率跟踪。
- 并行化:通过多线程并发执行,提高模糊测试的速度和效率。
- 自定义字典和变异器权重:允许用户指定自定义词汇表和调整不同变异器的执行频率,以优化测试效果。
应用场景
- 开源软件安全性审计:Manul可以用于检查已知或未知的开源软件,寻找潜在的安全问题。
- 黑盒二进制测试:对于无法获取源代码的软件,Manul可以在不改变原始代码的情况下进行模糊测试。
- 内存安全检查:结合Address Sanitizer,可以更有效地发现内存相关的错误。
项目特点
- 跨平台支持:覆盖Windows、Linux和macOS系统。
- 易用性:快速启动命令使设置变得简单,且包含了示例用法。
- 丰富的功能:包括持久化模式、多种mutators和灵活的配置选项。
- 社区认可:已经成功发现了多个CVE,证明了其有效性。
借助Manul,你可以深入到代码的细枝末节,挖掘那些不易察觉的问题。立即开始你的模糊测试之旅,为软件安全添加一道坚固的防线吧!
pip3 install psutil
git clone https://github.com/mxmssh/manul
cd manul
mkdir in
mkdir out
echo "AAAAAA" > in/test
python3 manul.py -i in -o out -n 4 "linux/test/test_afl @@"
开始你的测试,看看Manul能带来哪些惊人的发现!
登录后查看全文
热门项目推荐
atomcodeClaude Code 的开源替代方案。连接任意大模型,编辑代码,运行命令,自动验证 — 全自动执行。用 Rust 构建,极致性能。 | An open-source alternative to Claude Code. Connect any LLM, edit code, run commands, and verify changes — autonomously. Built in Rust for speed. Get StartedRust0237
GLM-5.2智谱开源 GLM-5.2,这是针对长文本任务的最新旗舰模型。相较于前代产品 GLM-5.1,它在长文本任务处理能力上实现了显著飞跃,并且首次在稳定的 100 万 token 上下文中提供这一能力。Jinja00
JoyAI-VL-Interaction-Preview京东开源首个开源、视觉驱动的实时交互模型——它能实时监控视频流,并自主决定何时发言、保持沉默或委托任务。Jinja00
cann-learning-hubCANN 学习中心仓,支持在线互动运行、边学边练,提供教程、示例与优化方案,一站式助力昇腾开发者快速上手。Jupyter Notebook0166
kornia🐍 空间人工智能的几何计算机视觉库Python03
PaddleParallel Distributed Deep Learning: Machine Learning Framework from Industrial Practice (『飞桨』核心框架,深度学习&机器学习高性能单机、分布式训练和跨平台部署)C++02
项目优选
收起
暂无描述
Dockerfile
783
5.13 K
本项目是CANN提供的transformer类大模型算子库,实现网络在NPU上加速计算。
C++
893
2.06 K
Ascend Extension for PyTorch
Python
764
983
本项目是CANN提供的神经网络类计算算子库,实现网络在NPU上加速计算。
C++
713
1.44 K
deepin linux kernel
C
32
16
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
471
477
CANN 学习中心仓,支持在线互动运行、边学边练,提供教程、示例与优化方案,一站式助力昇腾开发者快速上手。
Jupyter Notebook
468
165
本项目是CANN提供的数学类基础计算算子库,实现网络在NPU上加速计算。
C++
1.11 K
1.16 K
JiuwenSwarm 是一款基于openJiuwen开发的智能AI Agent,它能够将大语言模型的强大能力,通过你日常使用的各类通讯应用,直接延伸至你的指尖。
Python
2.42 K
683
昇腾LLM分布式训练框架
Python
187
239