klee

  • marc4dasm：这个基于Python的工具是AtmelMarc4（一个4位的HarvardMicro）的反汇编程序。
  • bindiff：二进制文件的比较工具，帮助漏洞研究人员和工程师快速发现反汇编代码中的差异和相似之处。
  • ropper：显示有关二进制文件的信息，并查找用于为不同架构构建ROP链的小工具
  • cafebabe：Java字节码编辑器&；反编译器。
  • apkstudio：一个用于反编译/编辑的IDE，然后重新编译Android应用程序二进制文件。
  • r2cutter：RADEAR2逆向工程框架的QT和C++图形用户界面
  • python2-frida：面向开发人员、逆向工程师和安全研究人员的动态工具工具包。
  • valgrind：帮助查找程序内存管理问题的工具