klee

  • zelos一个全面的二进制仿真和检测平台。
  • dnspy.NET调试器和程序集编辑器。
  • pedapython利用gdb的开发辅助
  • trid一种实用程序,用于从二进制签名中识别文件类型。
  • avet防病毒规避工具
  • binaryninja一种新型的倒车平台(演示版)。
  • jadx命令行和GUI工具从Android DEX和APK文件生成Java源代码
  • amoco另一个分析二进制文件的工具。