找到4个数据集

标签: 合约安全

过滤结果
  • sVerify_Experiment_Based_实验结果与测试合约数据

    2026年1月22日 30 185 115

    数据集概述 本数据集包含sVerify实验的总结文件以及七个手动插入断言的真实测试合约,总计两个文件。数据聚焦于sVerify实验的结果记录与测试用例,为智能合约验证相关研究提供实验数据支持。 文件详解 实验总结文件 文件名称:sVerify_experiment.xlsx 文件格式:XLSX...
    packageimg
  • 智能合约漏洞数据集

    2025年12月23日 30 197 80

    数据集概述 该数据集为智能合约漏洞相关数据,包含一个压缩文件。数据未进行训练/测试、数据/标签或原始/处理的拆分,无自述文件或内容预览,具体内容需解压后查看。 文件详解 文件名称: contracts.zip 文件格式: ZIP (.zip) 文件内容:...
    packageimg
  • 以太坊智能合约重入攻击数据集EthereumSmartContractReentrancyAttackDataset-neetnetnet

    2025年5月29日 30 74 64

    以太坊智能合约重入攻击数据集EthereumSmartContractReentrancyAttackDataset-neetnetnet 数据来源:互联网公开数据 标签:区块链,以太坊,智能合约,安全,漏洞,重入攻击,代码分析,安全审计 数据概述: 该数据集包含以太坊智能合约相关的代码和攻击信息,记录了与重入攻击相关的合约实例。主要特征如下:...
    packageimg
  • 区块链智能合约安全漏洞检测数据集-Solidity代码-2023

    2025年4月19日 30 177 97

    区块链智能合约安全漏洞检测数据集-Solidity代码-2023 数据来源:互联网公开数据 标签:智能合约,Solidity,区块链,安全漏洞,代码分析,机器学习,安全检测,漏洞检测,数据挖掘 数据概述: BCCC-...
    packageimg