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

数据集概述

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

文件详解

• 文档类文件：
• readme.md：Markdown格式，说明数据集背景、来源及复现方法
• checksums.txt：TXT格式，包含文件校验和信息
• abstract.pdf：PDF格式，可能为相关研究的摘要文档
• counts.txt：TXT格式，包含计数相关数据
• 归档类文件：
• formulas.tar：TAR格式，包含所有CNF公式数据

适用场景

• 投影模型计数算法性能测试与评估
• 漏洞优先级排序量化方法研究
• 真实程序安全控制问题建模分析
• 形式化验证工具基准测试