klee

  • binflow：POSIX函数跟踪。比ftrace更好更快。
  • pwntools：CTF框架和开发库。
  • balbuzard：python中的恶意软件分析工具包，用于从可疑文件（IP地址、域名、已知文件头、感兴趣的字符串等）中提取感兴趣的模式。
  • python-jsbeautifier：javascript无模糊和美化器
  • peframe：用于对（可移植可执行）恶意软件执行静态分析的工具。
  • metame：用于任意可执行文件的简单变形代码引擎。
  • shellnoob：简化shellcode编写和调试的工具包
  • qbdi：基于LLVM的动态二进制检测框架。