静态分析结果验证的多目标多步骤定向灰盒模糊测试数据集

数据集概述

本数据集是论文《From Alarms to Real Bugs: Multi-target Multi-step Directed Greybox Fuzzing for Static Analysis Result Verification》的配套研究工件，包含用于静态分析结果验证的多目标多步骤定向灰盒模糊测试相关数据，以压缩包形式存储。

文件详解

• 文件名称: magma.zip
• 文件格式: ZIP压缩包
• 内容说明: 包含论文研究中使用的相关数据文件，具体文件结构及内容需解压后查看

适用场景

• 软件测试研究: 用于探索定向灰盒模糊测试在静态分析结果验证中的应用效果
• 静态分析工具评估: 辅助评估静态分析工具检测真实缺陷的能力
• 模糊测试技术优化: 为多目标多步骤模糊测试策略的改进提供实验数据支持
• 软件工程学术研究: 作为论文复现或相关领域扩展研究的基础数据