klee

Hacking Tools
1206 阅读

描述：构建在LLVM编译器基础结构之上的符号虚拟机。
类别：
版本：2.1
官网：https://github.com/klee/klee
更新：2020-03-19
标签：

eresi：ERESI逆向工程软件接口。
androguard：逆向工程，恶意软件和Android应用程序的goodware分析等。
gef：多体系结构GDB增强功能，适用于开发人员和反向工程师。
peframe：用于对（可移植可执行）恶意软件执行静态分析的工具。
python-peid：压缩可执行文件iDentifer（PEiD）的Python实现。
manticore：符号执行工具。
amber：反光PE封隔器。
bytecode-viewer：Java 8／Android APK逆向工程套件。