manticore

  • gadgetinspector：字节码分析器，用于在Java应用程序中查找反序列化小工具链。
  • klee：构建在LLVM编译器基础结构之上的符号虚拟机。
  • bdfproxy：通过MITM修补二进制文件：后门工厂+Mitmproxy
  • androguard：逆向工程，恶意软件和Android应用程序的goodware分析等。
  • hyperion-crypter：32位可移植可执行文件的运行时加密程序。
  • jwscan：扫描jar-to-exe包装，如launch4j、exe4j、jsmooth、jar2exe。
  • upx：终极可执行压缩程序。
  • ltrace：跟踪动态链接程序中的运行时库调用