klee

赞助位招租
  • linux-inject：用于将共享对象注入Linux进程的工具。
  • pextractor：一种取证工具，可以从由连接程序或类似程序创建的可执行文件中提取所有文件。
  • bindiff：二进制文件的比较工具，帮助漏洞研究人员和工程师快速发现反汇编代码中的差异和相似之处。
  • binaryninja-python：用python编写的二进制忍者原型。
  • plasma：x86/ARM/MIPS的交互式反汇编程序。它可以用彩色语法生成缩进伪代码。
  • voltron：gdb、lldb和vivisec的vdb的用户界面。
  • de4dot：.NET除臭剂和解包器。
  • radare2-keystone：Radare2的Keystone汇编插件。