klee

Hacking Tools
1179 阅读

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

elfutils：用于处理ELF对象文件和DWARF调试信息的实用程序。
jeb-intel：英特尔反编译程序。
stringsifter：机器学习工具，根据字符串与恶意软件分析的相关性自动排列字符串。
jd-gui：一个独立的图形工具，显示.class文件的Java源代码。
rz-ghidra：rizin和rz cutter的Deep ghidra反编译器集成
rej：一个API和一个图形工具，用于检查和操作Java平台的类文件。
voltron：gdb、lldb和vivisec的vdb的用户界面。
radare2：radare2是一个开源的逆向工程和二进制分析框架