manticore

  • jwscan：扫描jar-to-exe包装，如launch4j、exe4j、jsmooth、jar2exe。
  • qbdi：基于LLVM的动态二进制检测框架。
  • leena：javascript的符号执行引擎
  • procdump：根据性能触发器生成coredumps。
  • zelos：一个全面的二进制仿真和检测平台。
  • cminer：在PE文件中枚举代码洞穴的工具。
  • plasma：x86/ARM/MIPS的交互式反汇编程序。它可以用彩色语法生成缩进伪代码。
  • pe-bear：一个免费的PE文件反转工具。