plasma

  • sea：一种帮助开发二进制程序的工具。
  • manticore：符号执行工具。
  • backdoor-factory：用shellcode修补win32/64二进制文件。
  • periscope：一个PE文件检查工具。
  • marc4dasm：这个基于Python的工具是AtmelMarc4（一个4位的HarvardMicro）的反汇编程序。
  • pixd：用于二进制文件的彩色可视化工具。
  • barf：一个多平台的开源二进制分析和逆向工程框架。
  • triton：动态二进制分析（DBA）框架。