GitHub · 灵魂体仓库·· 3 天前AI 评分38
VERITAS：结合静态分析与 LLM 推理的以证据为中心的全程序分析平台
skg7on/VERITAS
来源与原文
GitHub · 灵魂体仓库
发布时间：（北京时间）
阅读原始来源 · github.com ↗完整链接与内容说明
https://github.com/skg7on/VERITAS
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
GitHub 仓库 skg7on/VERITAS 是一个以证据为中心的全程序分析平台，将确定性静态分析与 LLM 辅助语义推理结合：Agent 只在结构化的 Evidence IR 上推理，假设须经确定性验证器确认。平台以 Function Summary IR 与 SummaryDB 为核心，使用 Soufflé Datalog 做增量 WPA，集成 SVF 与 Z3，基于 C++20、CMake 3.23+ 和 LLVM/Clang 22+（推荐 24.x），存储支持 RocksDB 与 SQLite。
来源：GitHub · 灵魂体仓库 · github.com