klee

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