Crytic：智能合约的持续安全保障

Trail of Bits 发布智能合约持续安全保障平台 Crytic：接入 GitHub 仓库后，每次提交和 PR 都会自动运行静态分析器 Slither（可检测重入、整数溢出、竞态等 60 多种缺陷）与 Truffle 测试，并提供详细的漏洞报告、GitHub issue 跟踪与结果分诊。