数据集概述
本数据集包含三个通过Witness Visualizer工具生成的SVCOMP见证可视化数据集，涵盖工具整体全面性、按属性分类的见证、已知bug案例及全面性与验证率对比等内容，每个数据集包含原始见证文件和HTML格式的可视化文件，可用于程序验证见证的可视化分析与研究。
文件详解
- 数据集1（dataset_1.zip）
- 文件格式：ZIP
- 内容：包含各SVCOMP工具的随机见证及对应可视化文件，展示函数调用、条件、假设等见证元素，文件命名遵循
error_trace-witness.[工具名].html对应witness.[工具名].graphml的模式
- 数据集2（dataset_2.zip）
- 文件格式：ZIP
- 内容：包含各SVCOMP属性（ReachSafety、MemSafety等）的精选见证及对应可视化文件，记录属性类型、强制元素及错误描述
- 数据集3（dataset_3.zip）
- 文件格式：ZIP
- 内容：包含已知bug（linux-3.14驱动数据竞争）的ESBMC-kind和CPALockator工具见证及对应可视化文件
适用场景
- 程序验证见证可视化研究: 分析SVCOMP见证的结构、元素组成及可视化呈现效果
- 验证工具性能评估: 通过见证全面性与验证率的对比，评估不同SVCOMP工具的验证能力
- 程序错误分析: 基于已知bug的见证数据，研究数据竞争等程序错误的检测与可视化方法
- 属性分类验证研究: 针对不同SVCOMP属性（如MemSafety、NoOverflow），分析见证元素与验证结果的关联
- 可视化工具优化: 基于见证可视化的呈现效果，优化Witness Visualizer工具的功能与展示方式
