manticore

  • soot：一个Java字节码分析和转换框架。
  • sea：一种帮助开发二进制程序的工具。
  • ropper：显示有关二进制文件的信息，并查找用于为不同架构构建ROP链的小工具
  • binflow：POSIX函数跟踪。比ftrace更好更快。
  • python2-frida：面向开发人员、逆向工程师和安全研究人员的动态工具工具包。
  • cpp2il：一种逆转unity的IL2PP工具链的工具
  • origami：旨在提供脚本工具来生成和分析恶意PDF文件。
  • unifuzzer：基于Unicorn和LibFuzzer的封闭源代码二进制文件的模糊化工具。