angr

angr 是一个用于 Python 的开源二进制分析平台。它结合了静态和动态符号化（“混同”）分析，提供工具以解决各种任务。

特性

开源：采用宽松的 BSD 许可证发布，为自由开源软件。欢迎贡献。 跨平台：可在 Windows、macOS 和 Linux 上运行。支持 Python 3.8+。 符号执行：提供强大的符号执行引擎、约束求解及代码插桩功能。 控制流图恢复：提供先进的控制流图恢复分析技术。 反汇编与提升：提供便捷的方法进行代码反汇编并提升至中间语言。 反编译：将机器码反编译为 angr 中间语言（AIL）和 C 伪代码。 架构支持：支持多种 CPU 架构的分析，并可从多种可执行文件格式加载。 可扩展性：提供强大的可扩展性，支持分析、架构、平台、探索技术、钩子等功能的自定义。