klee

  • viper：二进制分析框架。
  • dynamorio：动态二进制检测框架。
  • libc-database：数据库的libc偏移量，以简化利用。
  • dissector：此代码解析ELF文件中的内部数据结构。它支持x86和x86_64架构，并在Linux下运行。
  • pin：动态二进制检测工具。
  • python2-jsbeautifier：javascript无模糊和美化器
  • jbe：Java字节码编辑器，适用于查看和修改Java类文件。
  • sherlocked：通用脚本打包程序——将任何类型的脚本转换为受保护的ELF可执行文件，并用反调试加密。