首页
/ 探索代码的边界:Manul,你的多平台覆盖率引导式模糊测试工具

探索代码的边界: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的核心特性在于其灵活性和可扩展性:

  1. AFL兼容性:支持使用AFL的编译器来增加代码覆盖信息。
  2. DBI模式:利用DynamoRIO或PIN对未修改的二进制文件进行运行时插桩,实现覆盖率跟踪。
  3. 并行化:通过多线程并发执行,提高模糊测试的速度和效率。
  4. 自定义字典和变异器权重:允许用户指定自定义词汇表和调整不同变异器的执行频率,以优化测试效果。

应用场景

  • 开源软件安全性审计:Manul可以用于检查已知或未知的开源软件,寻找潜在的安全问题。
  • 黑盒二进制测试:对于无法获取源代码的软件,Manul可以在不改变原始代码的情况下进行模糊测试。
  • 内存安全检查:结合Address Sanitizer,可以更有效地发现内存相关的错误。

项目特点

  1. 跨平台支持:覆盖Windows、Linux和macOS系统。
  2. 易用性:快速启动命令使设置变得简单,且包含了示例用法。
  3. 丰富的功能:包括持久化模式、多种mutators和灵活的配置选项。
  4. 社区认可:已经成功发现了多个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能带来哪些惊人的发现!

热门项目推荐
相关项目推荐

项目优选

收起
Python-100-DaysPython-100-Days
Python - 100天从新手到大师
Python
611
115
HarmonyOS-ExamplesHarmonyOS-Examples
本仓将收集和展示仓颉鸿蒙应用示例代码,欢迎大家投稿,在仓颉鸿蒙社区展现你的妙趣设计!
Cangjie
286
79
mdmd
✍ WeChat Markdown Editor | 一款高度简洁的微信 Markdown 编辑器:支持 Markdown 语法、色盘取色、多图上传、一键下载文档、自定义 CSS 样式、一键重置等特性
Vue
112
25
openHiTLSopenHiTLS
旨在打造算法先进、性能卓越、高效敏捷、安全可靠的密码套件,通过轻量级、可剪裁的软件技术架构满足各行业不同场景的多样化要求,让密码技术应用更简单,同时探索后量子等先进算法创新实践,构建密码前沿技术底座!
C
60
48
RuoYi-Cloud-Vue3RuoYi-Cloud-Vue3
🎉 基于Spring Boot、Spring Cloud & Alibaba、Vue3 & Vite、Element Plus的分布式前后端分离微服务架构权限管理系统
Vue
45
29
go-stockgo-stock
🦄🦄🦄AI赋能股票分析:自选股行情获取,成本盈亏展示,涨跌报警推送,市场整体/个股情绪分析,K线技术指标分析等。数据全部保留在本地。支持DeepSeek,OpenAI, Ollama,LMStudio,AnythingLLM,硅基流动,火山方舟,阿里云百炼等平台或模型。
Go
1
0
Cangjie-ExamplesCangjie-Examples
本仓将收集和展示高质量的仓颉示例代码,欢迎大家投稿,让全世界看到您的妙趣设计,也让更多人通过您的编码理解和喜爱仓颉语言。
Cangjie
205
58
MateChatMateChat
前端智能化场景解决方案UI库,轻松构建你的AI应用,我们将持续完善更新,欢迎你的使用与建议。 官网地址:https://matechat.gitcode.com
383
36
RuoYi-VueRuoYi-Vue
🎉 基于SpringBoot,Spring Security,JWT,Vue & Element 的前后端分离权限管理系统,同时提供了 Vue3 的版本
Java
182
44
frogfrog
这是一个人工生命试验项目,最终目标是创建“有自我意识表现”的模拟生命体。
Java
8
0