binflow

  • truegaze：针对Android/iOS应用程序的静态分析工具，主要关注源代码之外的安全问题。
  • oletools：用于分析Microsoft OLE2文件的工具。
  • radare2-unicorn：radare2的独角兽模拟器插件。
  • jwscan：扫描jar-to-exe包装，如launch4j、exe4j、jsmooth、jar2exe。
  • binaryninja：一种新型的倒车平台（演示版）。
  • python2-oletools：分析Microsoft OLE2文件的工具。
  • rp：一个完整的CPP编写工具，旨在查找PE/ELF/Mach-O x86/X64二进制文件中的ROP序列。
  • manticore：符号执行工具。