-
FMP_SMT_Based_Formal_Methods_Playground脚本分析数据集
2026年1月17日 30 196 4
数据集概述 本数据集为FMP_smt数据集，包含在Formal Methods Playground平台上编辑和分析的SMT-LIB脚本。每条数据记录包含唯一标识、父项关联、完整脚本代码、平台永久链接及时间戳，用于形式化方法领域的脚本分析与研究。 文件详解 文件名称：fmp_smt.json 文件格式：JSON...
-
程序切片对代码审查中漏洞检测影响的实证实验复现数据集
2025年12月11日 30 71 66
数据集概述 本数据集为实证实验复现包，围绕程序切片对代码审查中漏洞检测的影响展开，包含参与者响应原始数据、代码文件、数据分析文件及相关文档，支持复现论文所述实验结果。 文件详解...
