manticore

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