klee

Hacking Tools
1180 阅读

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

gadgetinspector：字节码分析器，用于在Java应用程序中查找反序列化小工具链。
jad：Java反编译程序
rizin：用于禁用、调试、分析和操作二进制文件的开源工具
pepper：对可移植可执行文件执行恶意软件静态分析的开源脚本。
jwscan：扫描jar-to-exe包装，如launch4j、exe4j、jsmooth、jar2exe。
jeb-android：Android解压器。
plasma-disasm：用于x86/ARM/MIPS的交互式反汇编程序。它可以生成带有彩色语法的缩进伪代码。
python2-capstone：一个轻量级的多平台多体系结构拆卸框架