数据集 - 海数据

BlaSt_OPAL_Based模块化协作程序分析评估结果

2026年1月29日 30 5 4

数据集概述本数据集为ESEC/FSE 2020发表的“Modular Collaborative Program Analysis in OPAL”的完整评估结果，以压缩包形式提供，包含原始分析执行数据和聚合中位数结果的CSV文件，数据集在双盲评审期间使用别名“BlaSt”。文件详解文件名称：BlaSt-Evaluation.zip...

ZIP

基于面向对象程序的规范错误推断研究支持数据_OOPSLA24

2026年1月29日 30 68 46

数据集概述本数据集是OOPSLA24会议投稿论文《Inferring Incorrectness Specifications for OO Programs》的支持数据，包含论文中呈现的源代码和基准测试内容，以压缩包形式提供，总计一个文件，无目录层级结构。文件详解文件名称：infer_oop.zip 文件格式：ZIP...

ZIP

Detection_Based_功能相似代码克隆检测研究数据集

2026年1月28日 30 114 101

数据集概述本数据集包含2800个已知功能相似的Java和C程序，以及代码克隆检测分析软件和基准测试结果。通过验证现有克隆检测工具对功能相似性的识别能力，分类未检测到的差异，为代码克隆检测研究提供基础数据和评估基准。文件详解文件名称：clone-study-v0.1.zip 文件格式：ZIP...

ZIP

ICPC2025_程序理解_Jupyter_笔记本方法名称探索性研究数据集

2026年1月21日 30 134 129

数据集概述本数据集是论文《Method Names in Jupyter Notebooks: An Exploratory Study》的配套数据，用于支持对Jupyter Notebooks中方法名称的探索性研究。该论文已被第33届IEEE/ACM国际程序理解会议（ICPC 2025）研究轨道接收，数据集包含1个压缩文件。文件详解...

ZIP

vstte21_Artifact_LLVM区域内存模型抽象解释实验复现数据

2026年1月21日 30 7 4

数据集概述本数据集为论文“Abstract Interpretation of LLVM with a Region-Based Memory Model”的实验复现工件，包含复现论文表1结果所需的全部脚本，支持验证LLVM区域内存模型抽象解释的实验结论，是程序分析领域研究的重要辅助材料。文件详解文件名称：vstte21-artifact.zip...

ZIP

POWERPOLY_Based_WebAssembly辅助多语言程序分析数据

2026年1月20日 30 21 16

数据集概述本数据集围绕POWERPOLY项目展开，聚焦WebAssembly辅助的多语言程序分析主题，包含1个压缩文件，无分层目录结构，未划分训练/测试、数据/标签或原始/处理数据，可用于多语言程序分析相关研究。文件详解文件名称：PowerPoly.zip 文件格式：ZIP（压缩文件）...

ZIP

塞巴斯蒂安_哈纳尔硕士论文_基于数据驱动的设计时间分析_DSL实现及映射结果数据集

2026年1月14日 30 145 48

数据集概述本数据集为Sebastian Hahner硕士论文的补充数据，包含领域特定语言（DSL）的原型实现、样本场景及映射结果，用于支持数据驱动设计时间分析与逻辑程序结果映射相关研究，仅含一个压缩文件。文件详解文件名称：SebastianHahnerMasterThesisDataSet.zip 文件格式：ZIP...

ZIP

dmmc_datasets_Based_Java软件方法调用与类型使用数据集_2013

2026年1月14日 30 5 3

数据集概述本数据集包含Java软件的方法调用与类型使用数据，源自2013年发表于ACM Transactions on Software Engineering and Methodology的论文研究，用于检测缺失方法调用问题，为Java软件代码分析提供基础数据支持。文件详解文件名称：dmmc-datasets.zip 文件格式：.zip...

ZIP

ICSE2022_Artifacts_化学反应网络程序不变量推理与测试生成研究工件_出版物发布

2026年1月12日 30 18 0

数据集概述本数据集是2022年ICSE会议发表的论文《Inference and Test Generation Using Program Invariants in Chemical Reaction...

ZIP

Linux_Statically_Linked_Based_静态链接Linux二进制文件运行时库识别数据集

2025年12月30日 30 168 18

数据集概述本数据集是论文“Identifying Runtime Libraries in Statically Linked Linux Binaries”配套使用的数据集及哈希值，包含用于识别静态链接Linux二进制文件中运行时库的相关数据，为二进制分析领域的研究提供支持。文件详解...

ZIP

GitHub拉取请求数据丢失调查论文数据集

2025年12月23日 30 110 90

数据集概述本数据集为论文《An Investigation into the Loss of Pull Request Data on GitHub》的配套数据，包含用于分析GitHub拉取请求（PR）数据丢失情况的程序文件、结果统计CSV文件及说明文档，支撑论文中8个研究问题（RQ1-RQ8）的分析与验证。文件详解...

ZIP

GTE代码AST表示学习框架论文在线资源库

2025年12月23日 30 147 131

数据集概述本数据集是IJCAI2024待审论文《GTE: A Framework for Learning Code AST Representation Efficiently and Effectively》的在线资源库，包含论文相关的源代码和附录文档，为理解GTE框架提供支持。文件详解实验数据文件（.zip格式）：...

ZIP

Korn软件验证工具SV_COMP2023竞赛后评估数据集

2025年12月22日 30 11 7

数据集概述本数据集记录了Korn软件验证工具在SV-COMP2023竞赛后的实验结果。Korn工具基于Horn子句求解器（如Z3、Eldarica）自动推断正确性证书，数据集包含竞赛相关的结果文件、表格数据及文档，为评估工具性能提供支持。文件详解结果文件（.bz2格式）：共十个压缩文件，包含不同日期和类别的SV-...

ZIP

JavaSMT_SMT_LIB2代码生成器与解析器解释器基准测试结果数据集2023

2025年12月21日 30 204 28

数据集概述本数据集记录了JavaSMT中新增的SMT-LIB2代码生成器与解析器解释器的基准测试结果，通过CPAchecker、Benchexec框架及SV-Benchmarks完成测试，包含测试结果文件、运行定义文件及日志压缩包。文件详解结果数据文件：...

ZIP

Rajiv_Thorat_Based_Python_Taint_Analysis_污点分析基准测试完整数据

2025年12月20日 30 138 28

数据集概述该数据集是一个用于Python污点分析的基准数据集，旨在研究Python可用的污点分析工具。原始来源于Rajiv Thorat创建的基准测试库，包含测试用例和元数据，现简化后可用于特定工具的评估。文件详解该数据集包含4个文件，具体说明如下： - 文件名称: LICENSE - 文件格式: 无扩展名（no_ext） - 内容说明:...

ZIP

SAS25_Future_Conditions_Based_论文实验验证配套完整数据

2025年12月19日 30 190 127

数据集概述本数据集为SAS25会议论文《Specifying and Verifying Future Conditions》的配套工件，包含用于复现论文实验结果的文档与压缩包，提供Docker镜像使用说明及实验步骤指导，支持论文中表3结果的验证。文件详解...

ZIP

MPI_API使用要求契约验证研究复现数据集

2025年12月13日 30 194 185

数据集概述本数据集包含论文《Verifying MPI API Usage Requirements with Contracts》中呈现的研究结果，以及用于复现这些结果的脚本，以压缩包形式提供，可通过解压后查看README.md获取详细信息。文件详解文件名称: Paper_Repro.zip 文件格式: ZIP压缩包 (.zip) 文件内容:...

ZIP

累积分析_论文配套数据制品_ECOOP2022

2025年12月12日 30 34 29

数据集概述本数据集是2022年ECOOP会议发表的论文《Accumulation Analysis》的配套数据制品，包含使用类型状态规范的文献调查数据及相关主张的支持证据，具体信息可参考README.md文件。文件详解文件名称: ECOOP22-artifact-description.pdf，文件格式:...