找到1个数据集

标签: 真实程序

过滤结果

  • MCComp_2025_攻击者控制与漏洞优先级排序基准数据集

    2025年12月21日 30 48 23

    数据集概述 该数据集是面向投影模型计数的CNF公式基准，基于《攻击者控制与漏洞优先级排序》（USENIX Security 2025）的研究工件构建，包含一百六十二组对应真实程序定量控制问题的公式（其中一百三十七组源自CVE），用于MCComp 2025竞赛。 文件详解 文档类文件：...
    packageimg