klee

  • expose：JavaScript的动态符号执行（DSE）引擎
  • loadlibrary：将Windows动态链接库移植到Linux。
  • jpegdump：分析jpeg图像的工具读取二进制文件并分析其中的jpeg标记。
  • gostringsr2：使用radare2从Go二进制文件中提取字符串。
  • radare2-unicorn：radare2的独角兽模拟器插件。
  • lazydroid：作为bash脚本编写的工具，用于促进Android评估的某些方面
  • chipsec：用于分析PC平台安全性的框架，包括硬件、系统固件（bios/uefi）和平台组件。
  • python-peid：压缩可执行文件iDentifer（PEiD）的Python实现。