找到15个数据集

标签: 程序分析

过滤结果

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

    2025年12月30日 30 66 1

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

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

    2025年12月23日 30 86 74

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

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

    2025年12月23日 30 182 36

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

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

    2025年12月22日 30 20 6

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

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

    2025年12月21日 30 76 25

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

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

    2025年12月20日 30 110 16

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

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

    2025年12月19日 30 152 1

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

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

    2025年12月13日 30 41 1

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

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

    2025年12月12日 30 27 14

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

  • RevDecode_NDCG_Based_二进制函数匹配NDCG评估完整数据

    2025年12月8日 30 105 76

    数据集概述 该数据集包含RevDecode在通用二进制数据集上，针对所有测试的函数匹配器的NDCG评分结果，用于生成论文中评估部分的相关图表。 文件详解 文件名称：revdecode-ndcg-scores.zip 文件格式：ZIP压缩包...
    packageimg

  • 内存高效不动点计算数据集2020

    2025年12月7日 30 38 10

    数据集概述 本数据集为论文《Memory-Efficient Fixpoint Computation》（SAS2020）的原始数据，包含24个文件，涵盖CSV格式的实验数据与PNG格式的可视化图表，用于支撑内存高效不动点计算方法的性能评估与结果呈现。 文件详解 数据文件（CSV格式，共12个）：...
    packageimg

  • 语法压缩用于上下文无关语言可达性数据集

    2025年12月6日 30 92 60

    数据集概述 该数据集是OOPSLA 2025会议投稿#737的初步版本成果，围绕“语法压缩用于上下文无关语言可达性”主题构建，包含说明文档与代码或数据压缩包，需结合Readme.pdf了解详细内容。 文件详解 文件名称: Readme.pdf 文件格式: PDF 内容说明: 提供数据集的详细说明文档，包含研究背景、数据结构、使用方法等信息 文件名称:...
    packageimg

  • 程序运算逻辑推理解题数据集ProgramComputationLogicReasoningDataset-mehrankazeminia

    2025年5月1日 30 60 52

    程序运算逻辑推理解题数据集ProgramComputationLogicReasoningDataset-mehrankazeminia 数据来源：互联网公开数据 标签：程序分析，逻辑推理，算法，机器学习，数据集，问题求解，模式识别，数学 数据概述：...
    packageimg

  • 程序求解器运算结果数据集ProgramSolverOperationResults-mehrankazeminia

    2025年4月29日 30 67 13

    程序求解器运算结果数据集ProgramSolverOperationResults-mehrankazeminia 数据来源：互联网公开数据 标签：程序分析, 求解器, 运算结果, 数据挖掘, 数学建模, 算法评估, 逻辑推理, 数据集 数据概述： 该数据集包含程序求解器在特定运算任务上的结果记录。主要特征如下：...
    packageimg

  • Java程序调用关系图数据集-AutoPruner论文复现-调用关系图

    2025年4月22日 30 143 124

    Java程序调用关系图数据集-AutoPruner论文复现-调用关系图 数据来源：互联网公开数据 标签：Java,调用关系图,静态分析,程序分析,软件工程,代码,AutoPruner,cgPruner 数据概述： 本数据集包含了由AutoPruner论文生成的Java程序调用关系图。这些数据是从AutoPruner的复现包中下载得到的。...
    packageimg