该论文提出 EVerest 数据集，用于支持安全软件工程中的端到端安全验证。EVerest 基于开源电动汽车充电桩软件栈，包含 84 个手动提取的安全需求（注释安全目标）、1445 个细粒度安全元素（组件、实体、数据、数据流、状态等）、验收窗口、共指关系以及架构追踪链接，同时提供软件架构模型、源代码和自然语言文档。该数据集覆盖从需求到架构再到代码的全流程，填补了现有数据集缺乏多工件细粒度安全标注的空白。在数据集构建过程中，发现并报告了一个真实的安全弱点（CWE-1295），已被项目维护者修复。数据集公开可用。该数据集适用于安全需求分类、命名实体识别、架构追踪链接以及设计时或代码级安全验证等研究方向。适合软件安全工程师、研究者和工具开发者关注。