-
ESBMC_v7_6_C_基准测试实验评估数据
2026年2月1日 30 161 132
数据集概述 本数据集是对ESBMC v7.6版本在C++基准测试（benchexec）上的实验评估结果，包含一个压缩文件，记录了工具的性能测试数据，可用于分析ESBMC v7.6在C++程序验证中的表现。 文件详解 zip压缩文件 文件名称：esbmc-v7.6-bench.zip 文件格式：.zip 字段映射介绍：压缩包内包含ESBMC...
-
CADD_System_静态分析规则数据集重用研究数据
2026年1月30日 30 33 23
数据集概述 本数据集为静态分析规则重用研究数据（葡萄牙语），包含三份文件，记录了CADD系统中静态分析规则的相关研究内容，涉及Django ORM Get方法的测试计划、测试证据及说明文档，用于支持静态分析规则的复用研究。 文件详解 README.txt 文件格式：TXT 字段映射介绍：说明Django...
-
GPT_4_Based_智能合约上下文驱动协同审计实验数据
2026年1月30日 30 52 24
数据集概述 本数据集为论文“A Context-Driven Approach for Co-Auditing Smart Contracts with The Support of...
-
Eclipse_Based_10个Java项目静态分析函数调用数据
2026年1月27日 30 180 0
数据集概述 本数据集包含Eclipse JDT Core对10个Java项目进行静态分析的结果，覆盖每个项目的方法声明、函数调用序列及补全建议。数据以JSON和TXT格式存储，总计30个文件，用于函数调用补全相关研究。 文件详解 JSON文件（10个） 文件名称：遵循“[项目名]_eclipse.json”模式（如game-of-...
-
Java_8_Streams_Based_使用与误用实证研究数据集
2026年1月27日 30 28 4
数据集概述 本数据集为Java 8 Streams使用与误用实证研究的原始数据，基于34个Java项目、553万行代码及719个手动检查补丁分析生成，涵盖流操作的使用模式、并行化决策及相关缺陷特征，包含11个文件，以CSV格式为主。 文件详解 文档文件 文件名称：README.md 文件格式：MD 字段映射介绍：数据集说明文档，列出各文件用途及字段注释...
-
Valar_Active_Learning_静态分析告警排序数据集
2026年1月27日 30 158 130
数据集概述 本数据集包含Valar静态分析告警排序相关数据，以JSON格式呈现各项目的静态分析结果，每个告警项涵盖分析结果、代码上下文、漏洞确认来源及SVF工具生成的中间结果，用于支持基于值流辅助主动学习的告警排序研究。 文件详解 Readme.md 文件格式：MD...
-
ICSE2021_Based_单体系统迁移微服务架构静态动态分析数据集
2026年1月26日 30 17 13
数据集概述 本数据集为ICSE 2021会议论文《Static and Dynamic Analysis for the Migration of Monolith Systems to a Microservices Architecture》的配套数据，包含支持该论文研究的相关分析数据。数据集仅含一个压缩文件，无目录层级或数据拆分结构。 文件详解...
-
Kismet_Based_Linux配置规范静态分析实验原始结果数据
2026年1月23日 30 198 175
数据集概述 本数据集为论文“Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig Language”的实验原始结果数据，包含1个压缩文件，记录Kconfig静态分析的原始处理结果，用于验证Linux配置规范的完整性。 文件详解...
-
vstte21_Artifact_LLVM区域内存模型抽象解释实验复现数据
2026年1月21日 30 192 145
数据集概述 本数据集为论文“Abstract Interpretation of LLVM with a Region-Based Memory Model”的实验复现工件，包含复现论文表1结果所需的全部脚本，支持验证LLVM区域内存模型抽象解释的实验结论，是程序分析领域研究的重要辅助材料。 文件详解 文件名称：vstte21-artifact.zip...
-
MSR_2019_Based_JavaScript代码片段规则违规挖掘数据集
2026年1月20日 30 137 125
数据集概述 本数据集为MSR 2019挖掘挑战赛的配套资源，包含从Google BigQuery获取的JavaScript代码片段原始数据、代码提取与ESLint检测脚本，以及规则违规统计结果。数据覆盖代码块内容、长度等基础信息，通过ESLint分析生成规则违规分类统计与单条报告，支持JavaScript代码质量相关研究。 文件详解 原始数据集文件...
-
Static_Analysis_Source_云原生系统安全挑战静态分析研究数据
2026年1月15日 30 170 114
数据集概述 本数据集为系统映射研究相关数据，围绕云原生系统安全挑战的静态分析解决方案展开，基于特定搜索查询（包含安全、攻击、防御、微服务、云原生、静态分析等关键词组合）构建，包含一份Excel文件，用于支撑云原生系统安全静态分析领域的研究梳理。 文件详解 文件名称：Static-Analysis-Based Solutions to Security...
-
FASTTypescript_Based_TypeScript示例代码AST表示数据集
2026年1月14日 30 76 22
数据集概述 本数据集包含通过Pharo中的新项目FASTTypescript解析并表示为抽象语法树（AST）的Typescript示例代码。示例涵盖来自开源项目的小型、基础、复杂及超长代码，可用于研究Typescript代码结构及AST表示。 文件详解 文件名称：Typescript examples.xlsx 文件格式：XLSX...
-
Linux内核4_21调用图数据集
2025年12月23日 30 204 15
数据集概述 该数据集包含使用CScout生成的Linux内核4.21版本调用图，涵盖文件包含图、编译时依赖图、控制依赖图、数据依赖图及函数和宏调用图，数据来源于2030万行源代码，为内核代码结构分析提供支持。 文件详解 压缩包文件: linux-4.21-call-graphs-all.zip: ZIP格式压缩包，包含以下文本文件...
-
C和C_内存不安全问题的模糊测试与静态分析工具对比研究数据集
2025年12月22日 30 2 1
数据集概述 本数据集包含针对C和C++内存不安全问题的模糊测试（DAST）与静态分析（SAST）安全工具对比评估的分析脚本，为相关安全工具的性能研究提供支持。 文件详解 文件名称: fuzzing-vs-static-artifact-main.zip 文件格式: ZIP (.zip) 内容说明:...
-
软件系统中依赖注入反模式编目研究报告
2025年12月20日 30 66 46
数据集概述 本数据集是一份关于软件系统中依赖注入（DI）反模式的研究报告，聚焦于Java DI框架下的不良实践。通过对开源和闭源项目的静态分析及开发者调查，构建并验证了包含十二种Java DI反模式的编目，为开发者避免此类反模式提供参考。 文件详解 文件名称：DI Anti-Patterns Survey Complete.pdf...
-
Tracer_Artifact_Based_基于签名的静态分析漏洞检测完整数据
2025年12月20日 30 207 198
数据集概述 该数据集为2022年发布的Tracer项目相关资源，包含基于签名的静态分析工具（用于检测复现漏洞）的说明文档与程序包，支持漏洞检测技术的研究与应用。 文件详解 文件名称: README.pdf 文件格式: PDF 内容说明: 可能包含Tracer工具的介绍、使用方法、技术细节或项目背景等文档内容 文件名称: tracer.tar.gz...
-
Rajiv_Thorat_Based_Python_Taint_Analysis_污点分析基准测试完整数据
2025年12月20日 30 140 124
数据集概述 该数据集是一个用于Python污点分析的基准数据集，旨在研究Python可用的污点分析工具。原始来源于Rajiv Thorat创建的基准测试库，包含测试用例和元数据，现简化后可用于特定工具的评估。 文件详解 该数据集包含4个文件，具体说明如下： - 文件名称: LICENSE - 文件格式: 无扩展名（no_ext） - 内容说明:...
-
DroidLeaks_真实世界Android应用资源泄漏缺陷数据集
2025年12月15日 30 202 86
数据集概述 该数据集包含292个真实世界开源Android应用中的资源泄漏缺陷，涵盖流行且大规模的应用程序。每个缺陷提供代码仓库、资源类、缺陷代码版本、修复代码版本及相关报告或拉取请求（若有）的链接，为研究Android应用资源泄漏问题提供数据支持。 文件详解 文件名称：DroidLeaks.zip 文件格式：ZIP（压缩文件）...
-
静态分析结果验证的多目标多步骤定向灰盒模糊测试数据集
2025年12月10日 30 154 60
数据集概述 本数据集是论文《From Alarms to Real Bugs: Multi-target Multi-step Directed Greybox Fuzzing for Static Analysis Result...
-
语法压缩用于上下文无关语言可达性数据集
2025年12月6日 30 49 9
数据集概述 该数据集是OOPSLA 2025会议投稿#737的初步版本成果，围绕“语法压缩用于上下文无关语言可达性”主题构建，包含说明文档与代码或数据压缩包，需结合Readme.pdf了解详细内容。 文件详解 文件名称: Readme.pdf 文件格式: PDF 内容说明: 提供数据集的详细说明文档，包含研究背景、数据结构、使用方法等信息 文件名称:...
