MIESC 开源智能合约安全框架：一条命令集成 50 个工具与 9 层分析

fboiero 发布开源框架 MIESC，用一条命令编排 Slither、Aderyn、Solhint 等 50 个安全工具和 9 层分析，自动去重发现项并给出置信分，支持检测、修复、验证到 MiCA/DORA/ISO 27001 合规映射的完整流程。在 SmartBugs-curated 143 个合约上，无 LLM 消融显示静态层召回 82.5%，加自有检测器达 93.0%，再加智能引擎达 97.9%，精度 22.2%；对 11 起真实 DeFi 漏洞事件召回 81.8%。EVMBench 上本地 qwen2.5-coder:32b 召回 59.2%，DeepSeek-R1 精度 88.5%、F1 78.7 且约 $0.08/次审计，Claude Sonnet 4.6 召回 82.5%。