#符号执行
angrop - 基于angr的自动化ROP链生成与分析工具
angropROP链漏洞利用符号执行二进制分析Github开源项目
angrop是一款基于angr符号执行引擎的ROP小工具查找和链构建工具。它支持x86/x64、ARM和MIPS等多种架构,能够自动生成ROP链,并提供设置寄存器、调用函数等功能,适用于漏洞利用和CTF竞赛。angrop利用约束求解技术分析小工具效果,在生成长链时通常比人工操作更快捷高效。
angr - 开源跨平台二进制分析框架
angr二进制分析符号执行Python库逆向工程Github开源项目
angr是一个开源的跨平台二进制分析框架,提供了一套Python 3库用于静态和动态分析。它支持反汇编、符号执行、控制流分析、程序插桩、数据依赖分析和反编译等功能。angr广泛应用于CTF挑战和安全研究,是二进制分析领域的重要工具。该项目由加州大学圣巴巴拉分校计算机安全实验室和亚利桑那州立大学SEFCOM联合开发,拥有详细文档和API参考。