公开文集
0x01 SRC 资产管理系统
0x02 Web 漏洞案例库
0x03 小程序漏洞案例库
第一章:小程序渗透基础
1.1 微信小程序反编译与动态调试
1.2 微信小程序强制开启开发者模式
0x99 信息安全学习体系
01-网络安全基础
Day-001-TCP-IP协议栈安全分析
Day-002-DNS协议安全与DNS劫持攻防
Day-003-IPv6 安全基础与过渡
Day-004-HTTP-HTTPS协议深度解析
Day-005-网络嗅探与流量分析技术
Day-006-防火墙原理与配置实践
Day-007-网络地址转换 NAT 安全分析
Day-008-路由协议安全 RIP-OSPF-BGP
Day-009-VLAN 安全与 VLAN-Hopping
Day-010-无线网络基础与安全 802.11
Day-011-网络访问控制 802.1X-NAC
Day-012-网络分段与微隔离设计
Day-013-负载均衡器安全配置
Day-014-CDN安全与防护
Day-015-NTP安全
Day-016-DHCP安全与攻击防护
Day-017-ICMP协议安全分析
Day-018-网络协议模糊测试基础
Day-019-网络流量基线建立
Day-020-网络取证基础
Day-021-网络入侵检测系统 NIDS
Day-022-网络入侵防御系统 NIPS
Day-023-网络流量加密与解密
Day-024-网络协议逆向工程基础
Day-025-网络性能与安全权衡
Day-026-SDN 安全
Day-027-网络虚拟化安全
Day-028-网络欺骗技术
Day-029-网络威胁情报应用
Day-030-网络容量规划与安全
Day-031-网络安全架构设计实战
02-Web 安全
Day-032-OWASP-Top-10-2021详解
Day-033-SQL 注入原理与手工检测
Day-034-SQL注入进阶报错注入与盲注
Day-035-XSS跨站脚本攻击基础
Day-036-XSS 进阶绕过与利用
Day-037-XSS进阶绕过与利用
Day-038-CSRF 跨站请求伪造
Day-039-文件上传漏洞
Day-040-反序列化漏洞基础
Day-041-PHP反序列化深入
Day-042-Java反序列化深入
Day-043-SSTI 服务端模板注入
Day-044-文件包含漏洞 LFI-RFI
Day-045-命令注入漏洞
Day-046-XXE-XML 外部实体注入
Day-047-反序列化漏洞进阶
Day-048-API 安全基础
Day-049-API认证与授权安全
Day-050-API漏洞挖掘实战
Day-051-文件上传漏洞进阶
Day-052-反序列化漏洞实战
Day-053-Web 安全综合实战
Day-054-移动安全基础
Day-055-Android 应用安全测试
Day-056-iOS 应用安全测试
Day-057-移动应用综合实战
Day-058-云安全基础
Day-059-AWS 安全实战
Day-060-Azure 安全实战
Day-061-GCP 安全实战
Day-062-云安全综合实战
Day-063-容器安全基础
Day-064-Docker 安全实战
Day-065-Kubernetes 安全实战
Day-066-容器安全综合实战
Day-067-API 安全进阶
Day-068-服务端请求伪造 SSRF 深入
Day-069-文件上传漏洞进阶
Day-070-反序列化漏洞实战进阶
Day-071-业务逻辑漏洞深入
Day-072-前端安全深入
Day-073-Web 安全综合实战
Day-074-云安全进阶
Day-075-移动安全进阶
Day-076-API 安全进阶
Day-077-前端安全进阶
Day-078-业务逻辑漏洞进阶
Day-079-反序列化漏洞实战进阶
Day-080-文件上传漏洞实战进阶
Day-081-SSTI 服务端模板注入进阶
Day-082-XXE-XML 外部实体注入进阶
Day-083-SSRF 服务端请求伪造进阶
Day-084-命令注入漏洞进阶
Day-085-文件包含漏洞进阶
Day-086-反序列化漏洞实战进阶
Day-087-文件上传漏洞实战进阶
Day-088-SSTI 服务端模板注入实战进阶
Day-089-XXE-XML 外部实体注入实战进阶
Day-090-SSRF 服务端请求伪造实战进阶
Day-091-命令注入漏洞实战进阶
Day-092-Web 安全综合实战
Day-093-GraphQL 安全
Day-094-JWT 与 OAuth2 安全
03-系统安全
Day-095-系统监控与检测
Day-096-主机防火墙配置
Day-097-系统审计与合规
Day-098-Linux 系统安全进阶
Day-099-Windows 系统安全进阶
Day-100-容器安全进阶
Day-101-容器编排安全进阶
Day-102-Linux 内核安全
Day-103-Windows 内核安全
Day-104-系统安全总结与实战
Day-105-Linux 系统安全基础
Day-106-Windows 系统安全基础
Day-107-容器安全基础
Day-108-系统加固技术
Day-109-日志分析技术
Day-110-威胁狩猎技术
04-应用安全
Day-111-安全编码规范
Day-112-输入验证技术
Day-113-输出编码技术
Day-114-错误处理安全
Day-115-会话管理安全
Day-116-认证安全
Day-117-授权安全
Day-118-数据保护安全
Day-119-日志安全
Day-120-API 安全
Day-121-微服务安全
Day-122-新兴技术安全概论
Day-123-DevSecOps 流水线安全
Day-124-云原生安全架构
Day-125-API 安全最佳实践
Day-126-安全编码规范
Day-127-SDL 安全开发生命周期
Day-128-威胁建模实战
Day-129-安全需求分析
Day-130-安全架构设计
Day-131-安全编码实践Java
Day-132-安全编码实践Python
Day-133-代码审计方法论
Day-134-静态代码分析SAST
Day-135-动态应用测试DAST
Day-136-交互式测试IAST
Day-137-软件成分分析SCA
Day-138-依赖漏洞管理
Day-139-安全测试自动化
Day-140-漏洞管理与响应
Day-141-应用安全总结与展望
Day-142-OWASP-Top10-2024 详解
Day-143-CWE-Top25 分析
Day-144-漏洞挖掘方法论
Day-145-模糊测试技术
Day-146-逆向工程基础
Day-147-漏洞利用开发基础
Day-148-漏洞复现与验证
Day-149-漏洞披露流程
Day-150-CVE 申请与管理
Day-151-漏洞赏金计划
Day-152-等保2.0详解
Day-153-GDPR 合规实践
Day-154-数据安全法解读
Day-155-个人信息保护法与合规指南
Day-156-个人信息保护法解读
Day-157-ISO-27001 信息安全管理体系
Day-158-SOC-2 合规与审计
Day-159-PCI-DSS 支付卡行业数据安全标准
Day-160-网络安全审查办法解读
Day-161-数据出境安全评估办法
Day-162-应用安全评估实战
Day-163-红蓝对抗演练
Day-164-安全应急响应
Day-165-安全运营中心建设
Day-166-应用安全总结与展望
05-密码学
Day-167-密码学基础
Day-168-对称加密算法详解
Day-169-非对称加密算法详解
Day-170-哈希函数与数字签名
Day-171-密钥管理与PKI
Day-172-TLS-SSL 协议详解
Day-173-国密算法详解
Day-174-认证与密钥协议
Day-175-随机数生成与熵源
Day-176-椭圆曲线密码学详解
Day-177-后量子密码学详解
Day-178-高级密码学主题
Day-179-密码学行业应用精选
Day-180-常用加密算法原理与实现
Day-181-密码学总结与展望
Day-182-密码学系列总结与展望
06-渗透测试
Day-183-渗透测试方法论
Day-184-信息收集技术详解
Day-185-漏洞扫描技术详解
Day-186-漏洞利用技术详解
Day-187-渗透测试中的漏洞利用框架
Day-188-漏洞利用框架与 Metasploit 深入
Day-189-渗透测试中的 WAF 绕过技术
Day-190-渗透测试中的模糊测试技术
Day-191-渗透测试中的代码审计与静态分析
Day-192-渗透测试中的密码哈希破解技术
Day-193-渗透测试报告编写指南
Day-194-Web 应用渗透测试
Day-195-渗透测试中的 API 安全测试
Day-196-渗透测试中的 GraphQL 安全测试
Day-197-渗透测试中的前后端分离应用测试
Day-198-渗透测试中的小程序安全测试
Day-199-渗透测试中的浏览器安全测试
Day-200-OAuth-SSO安全测试
Day-201-渗透测试中的业务逻辑漏洞测试
Day-202-渗透测试中的厚客户端安全测试
Day-203-渗透测试综合实战演练
Day-204-内网渗透技术详解
Day-205-渗透测试中的内网信息收集进阶
Day-206-渗透测试中的域森林渗透技术
Day-207-渗透测试中的权限维持技术
Day-208-渗透测试中的横向移动技术
Day-209-渗透测试中的痕迹清理与反取证技术
Day-210-渗透测试中的数据窃取与 Exfiltration 技术
Day-211-渗透测试中的内部威胁与数据泄露测试
Day-212-渗透测试中的物理安全渗透
Day-213-社会工程学攻击技术
Day-214-移动应用渗透测试
Day-215-云安全渗透测试
Day-216-渗透测试中的容器与 Kubernetes 安全渗透
Day-217-渗透测试中的 Serverless 安全测试
Day-218-渗透测试中的微服务安全测试
Day-219-物联网安全渗透测试
Day-220-工业控制系统安全渗透测试
Day-221-无线网络安全渗透测试
Day-222-数据库安全渗透测试
Day-223-渗透测试中的供应链安全测试
Day-224-红队演练技术详解
Day-225-渗透测试中的红队基础设施搭建
Day-226-渗透测试中的威胁情报与狩猎
Day-227-渗透测试中的综合指纹识别技术
Day-228-自动化渗透测试技术
Day-229-渗透测试中的运维安全测试
Day-230-渗透测试中的区块链与智能合约安全测试
Day-231-渗透测试中的漏洞管理与修复验证
Day-232-渗透测试法律与合规
Day-233-后渗透攻击技术详解
Day-234-渗透测试中的人工智能应用
Day-235-漏洞利用开发深入
Day-236-云原生渗透测试深入
07-应急响应
Day-237-应急响应概述与核心概念
Day-238-应急响应流程框架
Day-239-CSIRT 团队组建与职责分工
Day-240-应急响应工具包准备
Day-241-应急响应法律与合规要求
Day-242-安全事件检测方法与指标
Day-243-云原生应急响应
Day-244-日志收集与分析技术
Day-245-网络流量分析与异常识别
Day-246-自动化响应与 SOAR
Day-247-端点监控与 EDR 技术
Day-248-威胁狩猎方法论
Day-249-威胁情报在检测中的应用
Day-250-数字取证基础与证据链管理
Day-251-内存取证技术
Day-252-磁盘取证与文件恢复
Day-253-网络取证与数据包分析
Day-254-云环境与容器取证
Day-255-恶意代码静态分析技术
Day-256-恶意代码动态分析技术
Day-257-恶意代码行为分析方法
Day-258-逆向工程基础与工具
Day-259-沙箱技术与自动化分析
Day-260-事件隔离与遏制策略
Day-261-威胁根除与系统修复
Day-262-系统恢复与数据重建
Day-263-业务连续性计划
Day-264-事件复盘与经验总结
Day-265-APT 攻击事件复盘分析
Day-266-勒索软件事件响应实战
Day-267-数据泄露事件处置流程
Day-268-内部威胁调查与取证
Day-269-综合应急响应演练
08-安全运维
Day-270-安全运营中心 SOC 概述
Day-271-安全监控指标体系
Day-272-安全告警管理
Day-273-安全可视化与仪表盘
Day-274-监控工具选型
Day-275-日志采集技术
Day-276-日志标准化与解析
Day-277-日志存储与归档
Day-278-日志分析技术
Day-279-日志合规要求
Day-280-SIEM 架构与设计
Day-281-关联规则引擎
Day-282-高级关联分析
Day-283-UEBA 用户实体行为分析
Day-284-威胁狩猎
Day-285-SOAR 基础概念
Day-286-剧本设计
Day-287-自动化响应技术
Day-288-安全工具集成
Day-289-SOAR 度量与优化
Day-290-安全基线管理
Day-291-漏洞管理流程
Day-292-补丁管理策略
Day-293-变更安全管理
Day-294-合规审计技术
Day-295-7x24 安全运营
Day-296-安全事件管理流程
Day-297-安全运营度量体系
Day-298-持续改进机制
Day-299-安全运维综合演练
Day-300-云原生安全运营
Day-301-AI 与机器学习安全运营
Day-302-安全自动化脚本实战
09-移动安全
Day-303-移动安全威胁概述
Day-304-移动设备安全架构
Day-305-移动操作系统安全模型
Day-306-移动应用权限管理
Day-307-移动端数据加密
Day-308-330-Android 安全合集
Day-309-Android 安全架构
Day-310-Android 组件安全
Day-311-Android 权限与隐私
Day-312-Android 逆向工程
Day-313-Android 应用加固
Day-314-iOS 安全架构
Day-315-iOS 应用沙盒机制
Day-316-越狱与反越狱
Day-317-iOS 逆向工程
Day-318-iOS 企业分发安全
Day-319-移动安全开发生命周期
Day-320-移动应用安全测试
Day-321-移动应用加固技术
Day-322-移动威胁防护
Day-323-移动安全合规
10-云安全
Day-324-云计算安全模型
Day-325-责任共担模型
Day-326-云安全威胁模型
Day-327-云安全合规框架
Day-328-云安全架构设计
Day-329-AWS IAM 安全
Day-330-AWS 网络安全
Day-331-AWS 存储安全
Day-332-AWS 安全监控
Day-333-AWS 安全最佳实践
Day-334-Azure AD 安全
Day-335-Azure 网络安全
Day-336-Azure 存储安全
Day-337-Azure 安全中心
Day-338-Azure 安全最佳实践
Day-339-容器安全基础
Day-340-Kubernetes 安全
Day-341-Serverless 安全
Day-342-云原生 DevSecOps
Day-343-云安全态势管理 CSPM
11-物联网工控
Day-344-物联网安全概述
Day-345-IoT 通信协议安全
Day-346-IoT 设备安全
Day-347-IoT 平台安全
Day-348-IoT 应用安全
Day-349-工业控制系统概述
Day-350-工控协议安全
Day-351-PLC 安全
Day-352-SCADA 系统安全
Day-353-工控安全防护
12-综合与总结
Day-354-安全职业发展路径
Day-355-安全技术趋势展望
Day-356-安全建设方法论
Day-357-经典攻防案例复盘
Day-358-安全学习资源指南
Day-359-信息安全行业求职指南
-
+
首页
Day-145-模糊测试技术
# Day 159: 模糊测试技术 > 漏洞与攻防系列第 4 天 | 预计阅读时间:60 分钟 | 难度:★★★★☆ --- **PUA v3 · Sprint 启动** ``` ┌─────────┬────────────────────────────────────┐ │ 清单 任务 │ 模糊测试技术 - Day 159 │ ├─────────┼────────────────────────────────────┤ │ 味道 │ 阿里味(自动:安全任务) │ ├─────────┼────────────────────────────────────┤ │ 压力 │ L0 · 信任期 │ └─────────┴────────────────────────────────────┘ ``` ▎ 模糊测试不是乱输入,是系统测试。测试不系统,漏洞就是遗漏的。今天深入模糊测试技术。 --- ## 清单 目录 1. [模糊测试概述](#模糊测试概述) 2. [模糊测试原理](#模糊测试原理) 3. [模糊测试类型](#模糊测试类型) 4. [测试用例生成](#测试用例生成) 5. [模糊测试工具](#模糊测试工具) 6. [Web 模糊测试](#web 模糊测试) 7. [协议模糊测试](#协议模糊测试) 8. [文件格式模糊测试](#文件格式模糊测试) 9. [结果分析与验证](#结果分析与验证) 10. [总结与思考](#总结与思考) 11. [参考资料](#参考资料) --- ## 模糊测试概述 ### 什么是模糊测试 > ▎ 模糊测试不是盲目测试,是随机测试。随机不系统,漏洞就是遗漏的。 **定义与价值**: ``` 模糊测试 (Fuzzing/Fuzz Testing) 是一种通过向目标系统提供非预期输入并监视异常来发现软件漏洞的自动化测试技术。 核心价值: 1. 自动化发现 - 自动发现漏洞 - 减少人工成本 - 提高测试效率 2. 发现深层漏洞 - 边界条件漏洞 - 内存破坏漏洞 - 逻辑错误漏洞 3. 持续测试 - 集成 CI/CD - 回归测试 - 持续监控 ``` **模糊测试历史**: ``` ┌─────────────────────────────────────────────────────────┐ │ 模糊测试发展历史 │ ├─────────────────────────────────────────────────────────┤ │ │ │ 1988 年:Barton Miller 首次提出模糊测试概念 │ │ ├── 发现 Unix 工具漏洞 │ │ └── 随机输入测试 │ │ │ │ 1990 年代:模糊测试技术发展 │ │ ├── 协议模糊测试 │ │ ├── 文件格式模糊测试 │ │ └── 自动化模糊测试 │ │ │ │ 2000 年代:模糊测试工具兴起 │ │ ├── Peach Fuzzer │ │ ├── American Fuzzy Lop (AFL) │ │ └── libFuzzer │ │ │ │ 2010 年代:智能模糊测试 │ │ ├── 覆盖率引导模糊测试 │ │ ├── 基于变异的模糊测试 │ │ └── 基于生成的模糊测试 │ │ │ │ 2020 年代:AI 赋能模糊测试 │ │ ├── 机器学习辅助 │ │ ├── 自动化漏洞利用 │ │ └── 云模糊测试 │ │ │ └─────────────────────────────────────────────────────────┘ ``` ### 模糊测试流程 **标准流程**: ```python # 模糊测试流程 class FuzzingProcess: """模糊测试标准流程""" # 流程阶段 phases = { 'target_analysis': { 'name': '目标分析', 'description': '分析测试目标', 'duration': '10%', 'activities': [ '识别输入点', '分析输入格式', '确定测试范围' ], 'outputs': ['目标规格', '输入规范'] }, 'test_case_generation': { 'name': '测试用例生成', 'description': '生成测试输入', 'duration': '20%', 'activities': [ '选择生成策略', '创建种子文件', '生成变异用例' ], 'outputs': ['测试用例集'] }, 'fuzzing_execution': { 'name': '模糊测试执行', 'description': '执行模糊测试', 'duration': '50%', 'activities': [ '运行测试用例', '监控目标状态', '记录异常' ], 'outputs': ['测试结果', '崩溃记录'] }, 'crash_analysis': { 'name': '崩溃分析', 'description': '分析发现的崩溃', 'duration': '15%', 'activities': [ '重现崩溃', '分析原因', '确定影响' ], 'outputs': ['崩溃报告', '漏洞分析'] }, 'reporting': { 'name': '报告编写', 'description': '编写测试报告', 'duration': '5%', 'activities': [ '汇总结果', '编写报告', '提出建议' ], 'outputs': ['测试报告'] } } def execute_process(self, target): """执行模糊测试流程""" results = { 'target': target, 'phases': {}, 'findings': [], 'summary': {} } # 目标分析 target_analysis = self.analyze_target(target) results['phases']['target_analysis'] = target_analysis # 生成测试用例 test_cases = self.generate_test_cases(target_analysis) results['phases']['test_case_generation'] = { 'test_cases_count': len(test_cases) } # 执行测试 execution_results = self.execute_fuzzing(target, test_cases) results['phases']['fuzzing_execution'] = execution_results results['findings'] = execution_results.get('crashes', []) # 分析崩溃 crash_analysis = self.analyze_crashes(execution_results.get('crashes', [])) results['phases']['crash_analysis'] = crash_analysis # 汇总结果 results['summary'] = self.summarize_results(results) return results def analyze_target(self, target): """分析测试目标""" return { 'input_types': self.identify_input_types(target), 'input_format': self.analyze_input_format(target), 'test_scope': self.determine_test_scope(target) } def generate_test_cases(self, target_analysis): """生成测试用例""" # 实际实现 return [] def execute_fuzzing(self, target, test_cases): """执行模糊测试""" crashes = [] for i, test_case in enumerate(test_cases): result = self.run_test_case(target, test_case) if result['crash']: crashes.append({ 'test_case': test_case, 'crash_info': result['crash_info'], 'index': i }) return { 'total_executions': len(test_cases), 'crashes': crashes } def analyze_crashes(self, crashes): """分析崩溃""" analysis = [] for crash in crashes: # 重现崩溃 reproduced = self.reproduce_crash(crash) if reproduced['success']: analysis.append({ 'crash': crash, 'reproduction': reproduced, 'severity': self.assess_severity(crash), 'root_cause': self.identify_root_cause(crash) }) return analysis def summarize_results(self, results): """汇总结果""" return { 'total_executions': results['phases']['fuzzing_execution']['total_executions'], 'total_crashes': len(results['findings']), 'unique_crashes': len(set(str(c) for c in results['findings'])), 'confirmed_vulnerabilities': len([ c for c in results['phases']['crash_analysis'] if c.get('root_cause') ]) } ``` --- ## 模糊测试原理 ### 工作原理 > ▎ 模糊测试不是简单随机,是智能测试。测试不智能,效率就是低下的。 **工作原理**: ```python # 模糊测试引擎 class FuzzingEngine: """模糊测试引擎""" def __init__(self, target): self.target = target self.seed_inputs = [] self.test_cases = [] self.crashes = [] self.coverage = set() def initialize(self, seed_inputs): """初始化模糊测试""" self.seed_inputs = seed_inputs # 分析种子输入 self.analyze_seeds() # 生成初始测试用例 self.generate_initial_cases() def analyze_seeds(self): """分析种子输入""" for seed in self.seed_inputs: # 提取结构信息 structure = self.extract_structure(seed) # 识别可变区域 mutable_regions = self.identify_mutable_regions(seed) # 记录覆盖率 coverage = self.measure_coverage(seed) self.coverage.update(coverage) def extract_structure(self, seed): """提取输入结构""" # 分析输入格式 # 识别字段边界 # 识别数据类型 pass def identify_mutable_regions(self, seed): """识别可变区域""" regions = [] # 识别可以修改的区域 # 例如:数值字段、字符串字段 return regions def measure_coverage(self, seed): """测量覆盖率""" # 运行种子输入 # 收集代码覆盖信息 # 返回覆盖的代码块 pass def generate_test_case(self): """生成测试用例""" # 选择种子 seed = self.select_seed() # 选择变异策略 strategy = self.select_mutation_strategy() # 应用变异 test_case = self.mutate(seed, strategy) return test_case def select_seed(self): """选择种子""" # 基于覆盖率选择 # 基于能量选择 pass def select_mutation_strategy(self): """选择变异策略""" strategies = [ 'bit_flip', # 位翻转 'byte_flip', # 字节翻转 'arithmetic', # 算术运算 'interesting', # 有趣值 'dictionary', # 字典替换 'havoc', # 破坏性变异 'splice' # 拼接 ] # 基于历史成功率选择 import random return random.choice(strategies) def mutate(self, seed, strategy): """应用变异""" import random if strategy == 'bit_flip': # 翻转随机位 position = random.randint(0, len(seed) * 8 - 1) return self.flip_bit(seed, position) elif strategy == 'byte_flip': # 翻转随机字节 position = random.randint(0, len(seed) - 1) return self.flip_byte(seed, position) elif strategy == 'arithmetic': # 算术运算 position = random.randint(0, len(seed) - 4) value = self.read_int(seed, position) # 加减有趣值 interesting_values = [1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 32767, 32768, 2147483647] delta = random.choice(interesting_values) if random.random() < 0.5: delta = -delta return self.write_int(seed, position, value + delta) elif strategy == 'interesting': # 插入有趣值 interesting_bytes = [ b'\x00', b'\x01', b'\x7f', b'\x80', b'\xff', b'\x00\x00', b'\xff\xff', b'\x00\x00\x00\x00', b'\xff\xff\xff\xff' ] position = random.randint(0, len(seed) - 1) replacement = random.choice(interesting_bytes) return seed[:position] + replacement + seed[position + len(replacement):] elif strategy == 'dictionary': # 字典替换 dictionary = [ b'admin', b'root', b'password', b'SELECT', b'<script>', b'../', b'%00', b'\\x00' ] position = random.randint(0, len(seed) - 1) replacement = random.choice(dictionary) return seed[:position] + replacement + seed[position + len(replacement):] elif strategy == 'havoc': # 破坏性变异:应用多种变异 for _ in range(random.randint(1, 10)): seed = self.mutate(seed, random.choice(strategies[:-1])) return seed elif strategy == 'splice': # 拼接两个种子 if len(self.seed_inputs) < 2: return self.mutate(seed, 'bit_flip') other_seed = random.choice(self.seed_inputs) position = random.randint(0, len(seed) - 1) return seed[:position] + other_seed[position:] return seed def flip_bit(self, seed, position): """翻转位""" byte_index = position // 8 bit_index = position % 8 seed_list = bytearray(seed) seed_list[byte_index] ^= (1 << bit_index) return bytes(seed_list) def flip_byte(self, seed, position): """翻转字节""" seed_list = bytearray(seed) seed_list[position] ^= 0xFF return bytes(seed_list) def read_int(self, data, position): """读取整数""" import struct if position + 4 <= len(data): return struct.unpack('<I', data[position:position+4])[0] return 0 def write_int(self, data, position, value): """写入整数""" import struct data_list = bytearray(data) if position + 4 <= len(data_list): data_list[position:position+4] = struct.pack('<I', value & 0xFFFFFFFF) return bytes(data_list) def run_test(self, test_case): """运行测试用例""" import subprocess try: # 运行目标程序 process = subprocess.run( [self.target], input=test_case, timeout=5, capture_output=True ) # 检查是否崩溃 if process.returncode != 0: return { 'crash': True, 'crash_info': { 'return_code': process.returncode, 'stderr': process.stderr.decode('utf-8', errors='ignore') } } return {'crash': False} except subprocess.TimeoutExpired: return { 'crash': True, 'crash_info': {'type': 'timeout'} } except Exception as e: return { 'crash': True, 'crash_info': {'type': 'exception', 'message': str(e)} } def fuzz(self, iterations=10000): """执行模糊测试""" for i in range(iterations): # 生成测试用例 test_case = self.generate_test_case() # 运行测试 result = self.run_test(test_case) # 处理结果 if result['crash']: self.crashes.append({ 'test_case': test_case, 'result': result, 'iteration': i }) # 进度报告 if i % 1000 == 0: print(f"Progress: {i}/{iterations}, Crashes: {len(self.crashes)}") return { 'iterations': iterations, 'crashes': self.crashes } ``` --- ## 模糊测试类型 ### 基于变异的模糊测试 > ▎ 变异不是随机改,是有策略改。策略不明确,变异就是盲目的。 **变异策略**: ```python # 基于变异的模糊测试 class MutationBasedFuzzer: """基于变异的模糊测试""" def __init__(self, seed_inputs): self.seeds = seed_inputs self.mutation_operators = self.initialize_operators() def initialize_operators(self): """初始化变异算子""" return [ self.bit_flip, self.byte_flip, self.arithmetic_mutation, self.interesting_value_insertion, self.dictionary_replacement, self.block_deletion, self.block_duplication, self.block_insertion, self.splice ] def bit_flip(self, data): """位翻转""" import random if len(data) == 0: return data position = random.randint(0, len(data) * 8 - 1) byte_index = position // 8 bit_index = position % 8 data_list = bytearray(data) data_list[byte_index] ^= (1 << bit_index) return bytes(data_list) def byte_flip(self, data): """字节翻转""" import random if len(data) == 0: return data position = random.randint(0, len(data) - 1) data_list = bytearray(data) data_list[position] ^= 0xFF return bytes(data_list) def arithmetic_mutation(self, data): """算术变异""" import random import struct if len(data) < 4: return data position = random.randint(0, len(data) - 4) # 读取当前值 value = struct.unpack('<I', data[position:position+4])[0] # 有趣值 interesting = [ 0, 1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 32767, 32768, 65535, 65536, 2147483647, 2147483648, 4294967295 ] # 随机选择变异方式 if random.random() < 0.5: # 加减有趣值 delta = random.choice(interesting) if random.random() < 0.5: delta = -delta new_value = (value + delta) & 0xFFFFFFFF else: # 替换为有趣值 new_value = random.choice(interesting) # 写回 data_list = bytearray(data) data_list[position:position+4] = struct.pack('<I', new_value) return bytes(data_list) def interesting_value_insertion(self, data): """插入有趣值""" import random interesting_bytes = [ b'\x00', b'\x01', b'\x0a', b'\x0d', b'\x7f', b'\x80', b'\xff', b'\x00\x00', b'\xff\xff', b'\x00\x00\x00\x00', b'\xff\xff\xff\xff', b'../', b'..\\', b'%00', b'%0a', b'%0d' ] if len(data) == 0: return random.choice(interesting_bytes) position = random.randint(0, len(data)) replacement = random.choice(interesting_bytes) return data[:position] + replacement + data[position:] def dictionary_replacement(self, data): """字典替换""" import random dictionary = [ b'admin', b'root', b'password', b'passwd', b'user', b'test', b'guest', b'anonymous', b'SELECT', b'INSERT', b'UPDATE', b'DELETE', b'<script>', b'</script>', b'<img', b'onerror', b'../', b'..\\', b'/etc/passwd', b'/etc/shadow', b'cmd.exe', b'/bin/sh', b'powershell', b'bash' ] if len(data) == 0: return random.choice(dictionary) position = random.randint(0, len(data) - 1) replacement = random.choice(dictionary) return data[:position] + replacement + data[position + len(replacement):] def block_deletion(self, data): """块删除""" import random if len(data) < 2: return data # 随机选择删除位置 start = random.randint(0, len(data) - 1) length = random.randint(1, min(100, len(data) - start)) return data[:start] + data[start + length:] def block_duplication(self, data): """块复制""" import random if len(data) < 2: return data # 随机选择复制块 start = random.randint(0, len(data) - 1) length = random.randint(1, min(100, len(data) - start)) block = data[start:start + length] # 随机选择插入位置 insert_pos = random.randint(0, len(data)) return data[:insert_pos] + block + data[insert_pos:] def block_insertion(self, data): """块插入""" import random # 生成随机块 length = random.randint(1, 100) block = bytes([random.randint(0, 255) for _ in range(length)]) if len(data) == 0: return block # 随机选择插入位置 insert_pos = random.randint(0, len(data)) return data[:insert_pos] + block + data[insert_pos:] def splice(self, data): """拼接""" import random if len(self.seeds) < 2: return self.bit_flip(data) # 选择另一个种子 other = random.choice(self.seeds) if len(data) == 0 or len(other) == 0: return data # 随机选择拼接点 pos1 = random.randint(0, len(data)) pos2 = random.randint(0, len(other)) return data[:pos1] + other[pos2:] def mutate(self, data): """应用变异""" import random # 随机选择变异算子 operator = random.choice(self.mutation_operators) return operator(data) def generate(self, count=100): """生成测试用例""" test_cases = [] for _ in range(count): # 选择种子 seed = random.choice(self.seeds) # 应用变异 mutated = self.mutate(seed) test_cases.append(mutated) return test_cases ``` ### 基于生成的模糊测试 **生成策略**: ```python # 基于生成的模糊测试 class GenerationBasedFuzzer: """基于生成的模糊测试""" def __init__(self, input_specification): self.spec = input_specification self.generators = self.initialize_generators() def initialize_generators(self): """初始化生成器""" return { 'integer': self.generate_integer, 'string': self.generate_string, 'bytes': self.generate_bytes, 'list': self.generate_list, 'struct': self.generate_struct } def generate_integer(self, spec): """生成整数""" import random min_val = spec.get('min', 0) max_val = spec.get('max', 2**32 - 1) # 有趣值 interesting = [ 0, 1, -1, 127, 128, -128, 255, 256, -256, 32767, 32768, -32768, 65535, 65536, 2147483647, 2147483648, -2147483648, 4294967295 ] # 50% 概率生成有趣值 if random.random() < 0.5: valid_interesting = [v for v in interesting if min_val <= v <= max_val] if valid_interesting: return random.choice(valid_interesting) # 否则随机生成 return random.randint(min_val, max_val) def generate_string(self, spec): """生成字符串""" import random import string min_len = spec.get('min_length', 0) max_len = spec.get('max_length', 1000) # 有趣字符串 interesting = [ '', # 空字符串 'a', 'admin', 'root', 'password', '<script>alert(1)</script>', "' OR '1'='1", '../../../etc/passwd', '%00', '\\x00', 'a' * 100, 'a' * 1000, 'a' * 10000 ] # 50% 概率生成有趣值 if random.random() < 0.5: valid_interesting = [ s for s in interesting if min_len <= len(s) <= max_len ] if valid_interesting: return random.choice(valid_interesting) # 否则随机生成 length = random.randint(min_len, max_len) charset = spec.get('charset', string.ascii_letters + string.digits) return ''.join(random.choice(charset) for _ in range(length)) def generate_bytes(self, spec): """生成字节""" import random min_len = spec.get('min_length', 0) max_len = spec.get('max_length', 1000) # 有趣字节序列 interesting = [ b'\x00', b'\xff', b'\x00\x00', b'\xff\xff', b'\x00\x00\x00\x00', b'\xff\xff\xff\xff', b'\x7f\x00\x00\x00', b'\x80\x00\x00\x00', b'../', b'..\\', b'%00', b'\x00' * 100, b'\xff' * 100 ] # 50% 概率生成有趣值 if random.random() < 0.5: valid_interesting = [ b for b in interesting if min_len <= len(b) <= max_len ] if valid_interesting: return random.choice(valid_interesting) # 否则随机生成 length = random.randint(min_len, max_len) return bytes([random.randint(0, 255) for _ in range(length)]) def generate_list(self, spec): """生成列表""" import random min_count = spec.get('min_count', 0) max_count = spec.get('max_count', 10) item_spec = spec.get('item_spec', {}) count = random.randint(min_count, max_count) generator = self.get_generator(item_spec.get('type', 'bytes')) return [generator(item_spec) for _ in range(count)] def generate_struct(self, spec): """生成结构体""" result = {} for field_name, field_spec in spec.get('fields', {}).items(): generator = self.get_generator(field_spec.get('type', 'bytes')) result[field_name] = generator(field_spec) return result def get_generator(self, type_name): """获取生成器""" return self.generators.get(type_name, self.generate_bytes) def generate(self, count=100): """生成测试用例""" test_cases = [] for _ in range(count): test_case = self.generate_struct(self.spec) test_cases.append(test_case) return test_cases ``` --- ## 模糊测试工具 ### AFL 使用 > ▎ 工具不是装了就用,是理解再用。理解不深入,使用就是表面的。 **AFL 使用指南**: ```bash # AFL 安装 # Ubuntu/Debian sudo apt-get install afl++ # macOS brew install afl++ # 从源码编译 git clone https://github.com/AFLplusplus/AFLplusplus cd AFLplusplus make sudo make install # AFL 基本使用 # 1. 插桩目标程序 afl-gcc -o target target.c afl-g++ -o target target.cpp # 2. 准备种子文件 mkdir seeds echo "test input" > seeds/input1.txt # 3. 运行模糊测试 afl-fuzz -i seeds -o output ./target @@ # 4. 查看结果 # output/crashes/ - 崩溃文件 # output/hangs/ - 挂起文件 # output/queue/ - 测试用例 # AFL 高级选项 # -M 主模式 (分布式模糊测试) # -S 从模式 # -d 快速模式 # -D 禁用位翻转 # -C 检查内存泄漏 # -t 超时时间 (毫秒) # -m 内存限制 (MB) # -f 输出文件 # -F 输入文件 # 示例:分布式模糊测试 # 终端 1 (主) afl-fuzz -M master -i seeds -o output ./target @@ # 终端 2-N (从) afl-fuzz -S slave1 -i seeds -o output ./target @@ afl-fuzz -S slave2 -i seeds -o output ./target @@ # AFL 结果分析 # 查看崩溃 cd output/crashes for f in *; do echo "=== $f ===" ./target < "$f" done # 重现崩溃 ./target < output/crashes/id:000000,sig:11,src:000000,op:flip1,pos:42 ``` ### libFuzzer 使用 **libFuzzer 指南**: ```cpp // libFuzzer 使用示例 // 1. 编写 Fuzz 目标 // fuzz_target.cpp extern "C" int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size) { // 处理输入数据 // 如果发现崩溃,libFuzzer 会自动记录 // 示例:解析数据 if (size < 4) return 0; uint32_t value = *(const uint32_t*)data; // 触发条件 if (value == 0x12345678) { // 这会触发崩溃 volatile int* ptr = nullptr; *ptr = 1; } return 0; } // 2. 编译 Fuzz 目标 // 使用 clang 和 -fsanitize=fuzzer clang++ -fsanitize=fuzzer -o fuzz_target fuzz_target.cpp // 3. 运行 Fuzz ./fuzz_target // 4. 使用语料库 mkdir corpus echo "test" > corpus/input1 ./fuzz_target corpus/ // 5. 最小化语料库 ./fuzz_target -merge=1 corpus_minimized/ corpus/ // 高级用法 // 限制运行时间 ./fuzz_target -max_total_time=3600 // 限制内存使用 ./fuzz_target -rss_limit_mb=2048 // 并行 Fuzz ./fuzz_target -jobs=4 -workers=2 // 详细输出 ./fuzz_target -verbose=1 // 打印覆盖率 ./fuzz_target -print_coverage=1 ``` --- ## Web 模糊测试 ### Web 参数 Fuzzing > ▎ Web 模糊不是乱测试,是有目标测试。目标不明确,测试就是浪费的。 **Web 模糊测试**: ```python # Web 模糊测试 class WebFuzzer: """Web 模糊测试""" def __init__(self, base_url): self.base_url = base_url self.session = requests.Session() self.results = [] def fuzz_parameters(self, url, parameters): """模糊测试参数""" payloads = self.generate_web_payloads() for param in parameters: for payload in payloads: test_url = f"{url}?{param}={payload}" try: response = self.session.get(test_url, timeout=5) # 检测异常 if self.detect_anomaly(response, payload): self.results.append({ 'url': url, 'parameter': param, 'payload': payload, 'response_code': response.status_code, 'anomaly': self.get_anomaly_type(response, payload) }) except: pass return self.results def fuzz_form(self, form_action, form_fields): """模糊测试表单""" payloads = self.generate_web_payloads() for field in form_fields: for payload in payloads: data = {field: payload} try: response = self.session.post(form_action, data=data, timeout=5) # 检测异常 if self.detect_anomaly(response, payload): self.results.append({ 'url': form_action, 'field': field, 'payload': payload, 'response_code': response.status_code, 'anomaly': self.get_anomaly_type(response, payload) }) except: pass return self.results def fuzz_headers(self, url): """模糊测试 HTTP 头""" headers_to_fuzz = [ 'User-Agent', 'Referer', 'X-Forwarded-For', 'X-Real-IP', 'Cookie', 'Content-Type' ] payloads = self.generate_web_payloads() for header in headers_to_fuzz: for payload in payloads: headers = {header: payload} try: response = self.session.get(url, headers=headers, timeout=5) if self.detect_anomaly(response, payload): self.results.append({ 'url': url, 'header': header, 'payload': payload, 'anomaly': self.get_anomaly_type(response, payload) }) except: pass return self.results def fuzz_path(self, base_url, wordlist): """模糊测试路径""" for path in wordlist: url = f"{base_url}/{path}" try: response = self.session.get(url, timeout=5) if response.status_code == 200: self.results.append({ 'url': url, 'status_code': response.status_code, 'size': len(response.content) }) except: pass return self.results def generate_web_payloads(self): """生成 Web 测试 payload""" return [ # SQL 注入 "' OR '1'='1", "1; DROP TABLE users--", "' UNION SELECT NULL--", # XSS "<script>alert(1)</script>", "<img src=x onerror=alert(1)>", # 路径遍历 "../../../etc/passwd", "..\\..\\..\\windows\\system32\\config\\sam", # 命令注入 "; cat /etc/passwd", "| whoami", "`id`", # 特殊字符 "%00", "%0a", "%0d", "\\x00", # 长字符串 "A" * 100, "A" * 1000, "A" * 10000, # 边界值 "0", "-1", "2147483647", "2147483648", "4294967295" ] def detect_anomaly(self, response, payload): """检测异常""" # SQL 错误 sql_errors = ['SQL syntax', 'mysql_fetch', 'ORA-', 'PostgreSQL'] for error in sql_errors: if error.lower() in response.text.lower(): return True # XSS if payload in response.text: return True # 服务器错误 if response.status_code >= 500: return True return False def get_anomaly_type(self, response, payload): """获取异常类型""" sql_errors = ['SQL syntax', 'mysql_fetch', 'ORA-'] for error in sql_errors: if error.lower() in response.text.lower(): return 'SQL Injection' if payload in response.text: return 'XSS' if response.status_code >= 500: return 'Server Error' return 'Unknown' ``` --- 统计 **Sprint 交付 · 绩效评估** ``` ┌───────────────┬────────────────┬────────────────┐ │ 主动出击 │ ██████████ 5/5 │ [PUA 生效] 充足 │ ├───────────────┼────────────────┼────────────────┤ │ + 验证闭环 │ ██████████ 5/5 │ 案例完整 │ ├───────────────┼────────────────┼────────────────┤ │ 设计 代码质量 │ ██████████ 5/5 │ 生产就绪 │ └───────────────┴────────────────┴────────────────┘ 综合:4.5 ``` ▎ 这才配得上 P8。模糊测试不是盲目测试,是系统测试。测试不系统,漏洞就是遗漏的。 --- ## 总结与思考 ### 核心要点回顾 > ▎ 复盘四步法:回顾目标、评估结果、分析原因、总结经验。别跳过——这是闭环。 **模糊测试框架**: ``` 1. 测试原理 - 基于变异 - 基于生成 - 覆盖率引导 2. 测试类型 - 文件模糊测试 - 协议模糊测试 - Web 模糊测试 - API 模糊测试 3. 测试工具 - AFL/AFL++ - libFuzzer - Honggfuzz - Peach Fuzzer 4. 结果分析 - 崩溃分析 - 漏洞验证 - 根本原因 ``` **关键成功因素**: ``` 1. 种子质量 - 多样化的种子 - 有效的种子 - 覆盖全面的种子 2. 变异策略 - 智能变异 - 针对性变异 - 高效变异 3. 持续优化 - 覆盖率反馈 - 策略调整 - 工具升级 ``` --- ## 参考资料 ### 学习资源 ``` - AFL++ Documentation https://aflplus.plus/docs/ - libFuzzer Documentation https://llvm.org/docs/LibFuzzer.html - Fuzzing Book https://www.fuzzingbook.org/ ``` ### 工具资源 ``` - AFL++ https://github.com/AFLplusplus/AFLplusplus - libFuzzer https://llvm.org/docs/LibFuzzer.html - Honggfuzz https://github.com/google/honggfuzz ``` ### 书籍推荐 ``` - 《Fuzzing: Brute Force Vulnerability Discovery》 - 《The Fuzzing Book》 - 《Guide to Fuzz Testing》 ``` --- **标记 明日预告**:Day 160 - 逆向工程基础 > ▎ 模糊测试是发现漏洞,逆向工程是分析漏洞——明天看逆向工程基础。 > 本文内容仅供学习和研究使用,请勿用于非法目的。所有实验请在隔离环境中进行。 --- *本文是 365 天信息安全技术系列的第 159 篇,漏洞与攻防系列第 4 篇,精编版本* *漏洞与攻防系列 (Day 156-165) 继续!*
myh0st
2026年4月13日 23:19
分享文档
收藏文档
上一篇
下一篇
微信扫一扫
复制链接
手机扫一扫进行分享
复制链接
Markdown文件
分享
链接
类型
密码
更新密码