klee

  • msvpwn：通过二进制修补绕过Windows的身份验证。
  • bytecode-viewer：Java 8／Android APK逆向工程套件。
  • bindiff：二进制文件的比较工具，帮助漏洞研究人员和工程师快速发现反汇编代码中的差异和相似之处。
  • ctypes-sh：允许您从bash中调用共享库中的例程。
  • android-apktool：重新设计Android APK文件的工具。
  • pintool2：改进版Pintool。
  • binaryninja-demo：一种新型的倒车平台（演示版）。
  • elfparser：跨平台ELF分析。