klee

  • python2-frida-tools：Frida CLI工具。
  • javasnoop：一种工具，可以截取方法、更改数据并以其他方式破解运行在计算机上的Java应用程序。
  • chipsec：用于分析PC平台安全性的框架，包括硬件、系统固件（bios/uefi）和平台组件。
  • avet：防病毒规避工具
  • syringe：一个通用的dll&code注入实用程序。
  • ecfs：扩展核心文件快照格式。
  • ltrace：跟踪动态链接程序中的运行时库调用
  • marc4dasm：这个基于Python的工具是AtmelMarc4（一个4位的HarvardMicro）的反汇编程序。