aether

Aether v6.0 — 智能合约安全分析框架 版本 6.0 | v6.0 新特性 | 更新日志 Aether 是一个基于 Python 的框架，用于分析 Solidity 智能合约、生成漏洞发现、生成基于 Foundry 的概念验证（PoC）测试，并在主网分叉上验证漏洞利用。它将 Solidity AST 解析、污点分析、控制流图分析、跨合约分析、Halmos 符号执行、180+ 基于模式的静态检测器、带有共享 SAGE 机构记忆的协作式多智能体 LLM 流水线 （GPT/Gemini/Claude）、14 种协议原型、75+ 漏洞利用知识库、ML...