manticore

  • binaryninja-python：用python编写的二进制忍者原型。
  • ffdec：开源FlashSWF反编译器和编辑器。
  • dynamorio：动态二进制检测框架。
  • upx：终极可执行压缩程序。
  • leena：javascript的符号执行引擎
  • analyzepesig：分析PE文件的数字签名。
  • malscan：一个简单的PE文件启发式扫描仪。
  • pixd：用于二进制文件的彩色可视化工具。