klee

Hacking Tools
1179 阅读

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

python-peid：压缩可执行文件iDentifer（PEiD）的Python实现。
frida-extract：基于frida.re的runpe（和mapviewofsection）提取工具。
heaptrace：帮助可视化pwn和调试的堆操作。
distorm：用于x86/AMD64的强大反汇编程序库
Dwarf：基于Pyqt5和Frida的全功能多架构/OS逆向工程调试器。
expimp-lookup：在目录树中的所有可移植可执行文件中查找包含指定字符串的所有导出和导入名称。
redasm：用QT5作为UI框架，用C++编写的交互式多体系反汇编程序。
python-jsbeautifier：javascript无模糊和美化器