Verdis 开源:在人类读取前自动复现安全报告的分诊工具
开源工具 Verdis 在安全报告被人工读取前先自动复现问题:按报告声称的版本构建项目,在无网络的 rootless 沙箱中运行 proof of concept,并返回判定结果和带哈希的证据包。它以 Python CLI 和 GitHub Action 形式发布,需 Python 3.12+ 及 Podman 或 Docker,支持 C/C++(ASan/UBSan)、Go、Node 和 Python 构建。模型只起草运行计划,判定由 oracle 决定,最终决定权留给维护者。