找到3个数据集

标签: 函数调用

过滤结果

  • Eclipse_Based_10个Java项目静态分析函数调用数据

    2026年1月27日 30 198 96

    数据集概述 本数据集包含Eclipse JDT Core对10个Java项目进行静态分析的结果，覆盖每个项目的方法声明、函数调用序列及补全建议。数据以JSON和TXT格式存储，总计30个文件，用于函数调用补全相关研究。 文件详解 JSON文件（10个） 文件名称：遵循“[项目名]_eclipse.json”模式（如game-of-...
    packageimg

  • SVCOMP_Witness_Visualizer_Tool_见证可视化演示数据集

    2026年1月15日 30 92 75

    数据集概述 本数据集包含三个通过Witness Visualizer工具生成的SVCOMP见证可视化数据集，涵盖工具整体全面性、按属性分类的见证、已知bug案例及全面性与验证率对比等内容，每个数据集包含原始见证文件和HTML格式的可视化文件，可用于程序验证见证的可视化分析与研究。 文件详解 数据集1（dataset_1.zip） 文件格式：ZIP...
    packageimg

  • Linux内核4_21调用图数据集

    2025年12月23日 30 125 93

    数据集概述 该数据集包含使用CScout生成的Linux内核4.21版本调用图，涵盖文件包含图、编译时依赖图、控制依赖图、数据依赖图及函数和宏调用图，数据来源于2030万行源代码，为内核代码结构分析提供支持。 文件详解 压缩包文件: linux-4.21-call-graphs-all.zip: ZIP格式压缩包，包含以下文本文件...
    packageimg