manticore

  • pintool该工具可用于解决CTFS事件中的一些逆向挑战。
  • leenajavascript的符号执行引擎
  • angr-py2UC Santa Barbaras Seclab的下一代二进制分析平台。
  • quickscope静态分析windows、linux、osx、可执行文件以及APK文件。
  • exescan用于检测PE(可移植可执行文件)文件中异常的工具。
  • amoco另一个分析二进制文件的工具。
  • powerstager使用PowerShell的有效负载稳定器。
  • sgnShikata ga-nai编码器移植到go中,并进行了一些改进。