klee

  • beebug：用于检查可利用性的工具。
  • soot：一个Java字节码分析和转换框架。
  • ropgadget：允许您在二进制文件（ELF格式）上搜索小工具，以方便您使用ROP。
  • jdeserialize：解释Java序列化对象的库。它还附带了一个命令行工具，可以生成可编译的类声明、提取块数据和打印实例值的文本表示。
  • flasm：SWF字节码反汇编工具
  • gef：多体系结构GDB增强功能，适用于开发人员和反向工程师。
  • 基于C#的反向Shell：HTTP协议的异步反向Shell/反弹Shell
  • nili：网络扫描工具，中间人，协议反向工程和模糊。