C++在Fuzzing测试(LibFuzzer)中的运用

简介: 1.Fuzzing测试的价值Fuzzing通过随机或变异输入,不断调用目标函数,寻找崩溃、内存泄漏、未定义行为。LibFuzzer是LLVM项目的覆盖率引导型模糊测试引擎https://duobao198.com,与C/C++项目集成紧密。它通过插桩(SanitizerCoverage)收集代码覆盖,变异输入以覆盖新路径。

1.Fuzzing测试的价值
Fuzzing通过随机或变异输入,不断调用目标函数,寻找崩溃、内存泄漏、未定义行为。LibFuzzer是LLVM项目的覆盖率引导型模糊测试引擎,与C/C++项目集成紧密。它通过插桩(SanitizerCoverage)收集代码覆盖,变异输入以覆盖新路径。
参考:https://vrhyh.cn/category/siji.html

2.LibFuzzer的工作流程
开发者编写一个LLVMFuzzerTestOneInput函数(参数为constuint8_t*data,size_tsize),该函数接受模糊输入并调用被测API。LibFuzzer会不断生成随机数据,调用该函数,监控是否崩溃。当发现新覆盖率时,将输入保存到corpus中,用于后续变异。

3.与Sanitizer结合
AddressSanitizer(ASan):检测内存错误(越界、use-after-free)。
UndefinedBehaviorSanitizer(UBSan):检测未定义行为(整数溢出、空指针解引用)。
MemorySanitizer(MSan):检测未初始化内存。
编译时加上-fsanitize=fuzzer,address,链接时同样。

4.案例:解析器安全测试
某公司开发了一个JSON解析器(C++)。为了确保健壮性,编写了fuzz目标:调用解析器函数,输入为任意字节。使用LibFuzzer运行24小时,发现了3个崩溃:一个是大整数解析导致std::length_error未捕获,另一个是递归深度过大导致栈溢出,第三个是UTF-8解码的越界读取。修复后解析器更加稳定。
参考:https://vrhyh.cn/category/xinli.html

5.持续fuzzing与OSS-Fuzz
Google的OSS-Fuzz项目提供免费持续fuzzing服务,支持C/C++项目。只需集成LibFuzzer并提交项目。OSS-Fuzz会大规模运行fuzzing并报告问题。许多开源项目(如OpenSSL、SQLite)通过它修复了数百个漏洞。

6.优化fuzzing效率
种子corpus:提供初始有效输入(如一些JSON例子),加速覆盖率增长。
字典:提供输入格式的关键字(如"null",":")帮助变异器生成有效数据。
自定义mutator:针对特定格式,实现更智能的变异。

7.总结
LibFuzzer为C++开发者提供了高效的fuzzing工具,能自动化发现隐藏的bug。在涉及解析用户输入的软件(网络协议、文件格式、脚本引擎)中,fuzzing应成为标准安全测试流程的一部分。
参考:https://vrhyh.cn

目录
相关文章
|
18天前
|
人工智能 自然语言处理 文字识别
阿里云百炼Qwen3.7-Max简介:能力、优势、支持订阅计划参考
Qwen3.7-Max是阿里云百炼面向智能体时代推出的新一代旗舰模型,对标GPT-5.5、Claude Opus 4.7等闭源旗舰。该模型支持百万级token上下文窗口,具备顶级推理能力、多模态搜索与视觉理解增强、流式输出低延迟响应等核心优势,覆盖编程、办公、长周期自主执行等复杂场景。同时支持OpenAI接口兼容,便于系统快速迁移。用户可通过Token Plan团队或节省计划等订阅方式灵活调用,适合企业级高要求场景使用。
6557 30
阿里云百炼Qwen3.7-Max简介:能力、优势、支持订阅计划参考
|
3天前
|
数据采集 人工智能 前端开发
让 Coding Agent 从黑盒到透明:阿里云 Agent 观测审计数据采集实践
AI Agent 规模化落地带来执行黑盒、行为难追溯、成本难度量三大难题。阿里云基于 OTel 标准,面向 Coding Agent、个人通用助理和框架型 Agent,推出 LoongSuite Pilot、插件及探针等无侵入采集方案,让 Agent 实现可看见、可分析、可审计、可治理。
600 138
|
3天前
|
人工智能 弹性计算 运维
阿里云发布堡垒机智能运维Agent,运维交互进入自然语言新时代
支持自然语言运维,提升效率与安全双保障。
1137 0
|
10天前
|
人工智能 安全 定位技术
CodeGraph深度解析 让Claude Code工具调用直降七成的核心原理与实操教程
如今以Claude Code为代表的AI编程智能体已经成为开发者日常编码、项目重构、漏洞修复的必备工具。但在长期使用过程中,几乎所有开发者都会遇到同一个明显痛点:AI虽然具备强大的代码生成与分析能力,却常常陷入盲目探索的循环中。
1134 1
|
12天前
|
存储 定位技术 数据库
CodeGraph 如何让 Claude Code减少 7 成工具调用?
CodeGraph 为 Coding Agent 提供本地代码知识图谱,把函数、类、调用链和框架路由提前整理成“项目地图”,减少盲目搜索和文件读取。它不是新 Agent,而是上下文基础设施,让 Agent 更快找到正确代码路径,平均减少 7 成工具调用。
1260 3
|
10天前
|
人工智能 弹性计算 安全
阿里云618活动时间、活动入口、优惠活动详细解读
2026年阿里云618创新加速季已全面开启,作为年度力度最大的云产品促销活动,本次大促覆盖轻量应用服务器、ECS云服务器、GPU云服务器、数据库、AI算力、安全服务、CDN等全品类产品,推出5亿元算力补贴、新用户限时秒杀、普惠满减、企业专享、免费试用、云大使返佣等多重福利,个人开发者、中小企业、AI团队均可享受专属低价。本文将系统梳理2026年阿里云618活动的完整时间节点、官方参与入口、各类优惠细则、使用规则、热门产品推荐及实操代码,帮助用户精准参与、高效省钱,以最低成本完成上云部署。
927 5
|
8天前
|
人工智能 自然语言处理 安全
Vibe Coding 实战:别盲目跟风,先分清 vibe coding 适合什么场景
本文系统总结vibe coding实战经验:明确其适用场景(原型、小工具、标准化模块),剖析5步落地流程(场景判定→结构化提示词→目录初始化→分模块生成→自动化校验),指出四大常见误区,并推荐适配工具Trae。强调“场景匹配+规则前置”是提效关键,避免盲目套用。
762 1