manticore

Manticore 是一个面向安全分析的符号执行工具，用于自动化探索程序在符号输入下的所有可能执行路径。它支持 Ethereum 智能合约（EVM 字节码）、Linux ELF 二进制文件（x86/x64/ARM/AArch64）及 WebAssembly 模块的深度分析，核心能力包括路径探索、漏洞触发输入生成、崩溃与异常状态检测，并通过 Python API 和事件回调提供灵活的程序化控制。项目基于 Z3 SMT 求解器实现约束求解，适用于智能合约审计、二进制漏洞挖掘和软件可靠性验证等安全研究场景。