klee

Hacking Tools
1190 阅读

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

pixd：用于二进制文件的彩色可视化工具。
procdump：根据性能触发器生成coredumps。
patchkit：从python强大的二进制补丁。
radare2-keystone：Radare2的Keystone汇编插件。
cminer：在PE文件中枚举代码洞穴的工具。
recstudio：跨平台交互式反编译器
apkstudio：一个用于反编译/编辑的IDE，然后重新编译Android应用程序二进制文件。
cpp2il：一种逆转unity的IL2PP工具链的工具