klee

  • bindiff：二进制文件的比较工具，帮助漏洞研究人员和工程师快速发现反汇编代码中的差异和相似之处。
  • jeb-webasm：WebAssembly反编译程序。
  • jsparser：使用Tornado和JSBeautifier解析javascript以发现有趣的enpoint。
  • javasnoop：一种工具，可以截取方法、更改数据并以其他方式破解运行在计算机上的Java应用程序。
  • pwntools：CTF框架和开发库。
  • chipsec：用于分析PC平台安全性的框架，包括硬件、系统固件（bios/uefi）和平台组件。
  • elidecode：一种使用独角兽引擎进行仿真，利用顶石引擎打印asm代码来解码模糊的shell代码的工具。
  • hopper：逆向工程工具，允许您反汇编、反编译和调试应用程序。