找到2个数据集

标签: 工具复现

过滤结果

  • TYPEPULSE_Based_Rust程序类型混淆漏洞检测评估数据

    2026年1月25日 30 194 114

    数据集概述 本数据集为TYPEPULSE工具的相关文件集合，用于检测Rust程序中的类型混淆漏洞。包含3000个扫描包列表、工具运行脚本、评估结果报告及现有漏洞参考数据，支持工具复现与漏洞检测分析。 文件详解 top3kscanned.txt 文件格式：TXT 内容介绍：记录3000个被扫描的Rust包信息 crates_downloader.py...
    packageimg

  • TAPAAL_HyperLTL_Based_超属性验证工具复现完整数据

    2025年12月6日 30 127 57

    数据集概述 本数据集是论文《TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Net》的复现包，该论文已被ATVA 2025会议接收，包含用于验证论文实验结果的工具相关资源。 文件详解 文件名称: ATVA-2025-artifact.zip 文件格式: ZIP (.zip)...
    packageimg