OOPSLA_Peer_Review_编译器缺陷检测工具验证数据

数据集概述

本数据集为OOPSLA同行评审用数据集,包含由检测工具发现的24个编译器缺陷。数据以压缩包形式存储,每个缺陷对应独立子文件夹,内含缺陷触发程序的原始与精简版本,以及编译器输出的错误信息,可用于编译器缺陷检测工具的验证与分析。

文件详解

  • 压缩包文件
  • 文件名称:CrossLangFuzzerData.zip
  • 文件格式:ZIP
  • 内容结构:包含24个以缺陷ID命名的子文件夹,每个子文件夹下有:
  • trigger-program-before-minimization.xxx:缺陷触发程序的原始版本(文件扩展名依程序类型而定)
  • trigger-program-after-minimization.xxx:缺陷触发程序的精简版本(文件扩展名依程序类型而定)
  • compiler-output/:存放编译器针对该缺陷输出的错误信息文件

适用场景

  • 编译器缺陷检测工具验证: 用于评估缺陷检测工具发现编译器错误的准确性与有效性。
  • 编译器错误复现研究: 通过触发程序复现特定编译器缺陷,分析错误产生机制。
  • 程序精简技术效果评估: 对比原始与精简触发程序,研究程序精简对缺陷复现能力的影响。
  • 软件测试方法优化: 基于缺陷样本优化编译器测试用例生成策略。
packageimg

数据与资源

附加信息

字段
作者 Maxj
版本 1
数据集大小 0.16 MiB
最后更新 2026年1月28日
创建于 2026年1月28日
声明 当前数据集部分源数据来源于公开互联网,如果有侵权,请24小时联系删除(400-600-6816)。