-
sVerify_Experiment_Based_实验结果与测试合约数据
2026年1月22日 30 185 115
数据集概述 本数据集包含sVerify实验的总结文件以及七个手动插入断言的真实测试合约,总计两个文件。数据聚焦于sVerify实验的结果记录与测试用例,为智能合约验证相关研究提供实验数据支持。 文件详解 实验总结文件 文件名称:sVerify_experiment.xlsx 文件格式:XLSX...
-
智能合约漏洞数据集
2025年12月23日 30 197 80
数据集概述 该数据集为智能合约漏洞相关数据,包含一个压缩文件。数据未进行训练/测试、数据/标签或原始/处理的拆分,无自述文件或内容预览,具体内容需解压后查看。 文件详解 文件名称: contracts.zip 文件格式: ZIP (.zip) 文件内容:...
-
以太坊智能合约重入攻击数据集EthereumSmartContractReentrancyAttackDataset-neetnetnet
2025年5月29日 30 74 64
以太坊智能合约重入攻击数据集EthereumSmartContractReentrancyAttackDataset-neetnetnet 数据来源:互联网公开数据 标签:区块链,以太坊,智能合约,安全,漏洞,重入攻击,代码分析,安全审计 数据概述: 该数据集包含以太坊智能合约相关的代码和攻击信息,记录了与重入攻击相关的合约实例。主要特征如下:...
-
区块链智能合约安全漏洞检测数据集-Solidity代码-2023
2025年4月19日 30 177 97
区块链智能合约安全漏洞检测数据集-Solidity代码-2023 数据来源:互联网公开数据 标签:智能合约,Solidity,区块链,安全漏洞,代码分析,机器学习,安全检测,漏洞检测,数据挖掘 数据概述: BCCC-...



