找到4个数据集

标签: C程序

过滤结果

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

    2026年1月28日 30 124 30

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

  • DE441_Based_NASA_JPL星历三体合相数据_压缩包

    2026年1月28日 30 45 16

    数据集概述 本数据集基于NASA JPL发布的DE441星历，通过cspice程序模块计算得出近三万零三百九十一年间所有非太阳参与的三体合相事件，共三十三万二千一百四十二条记录，合相判定标准为质心顶点夹角≤0.5度（30角分）。数据集以压缩包形式提供，包含相关数据及支持C程序。 文件详解 文件名称：DE441_Conjunctions.zip...
    packageimg

  • Software_Heritage_Selected_C程序AST结构JSON数据

    2026年1月15日 30 202 18

    数据集概述 本数据集包含从Software Heritage平台选取的C程序抽象语法树（AST）相关文件，通过AST大小筛选热门代码生成。包含C源文件、对应的JSON格式AST文件及说明文档，总计3个文件，用于代码结构分析与AST研究。 文件详解 README 文件格式：无扩展名 内容介绍：说明数据来源为Software...
    packageimg

  • C程序形式化验证高效技术_SV_COMP2022数据集

    2025年12月15日 30 193 171

    数据集概述 本数据集包含工具Theta在SV-COMP 2022的最后一轮预运行基准测试结果，由SV-COMP 2022组织者执行，相关评估见于学士论文，旨在为论文读者提供可访问的基准结果存档。 文件详解 该数据集包含十八个文件，具体说明如下： - 核心基准结果文件（.bz2格式，共十三个）： -...
    packageimg