damm

  • klee构建在LLVM编译器基础结构之上的符号虚拟机。
  • ssma简单静态恶意软件分析器。
  • elfparser跨平台ELF分析。
  • polyswarm公共和私有polyswarmapi的接口。
  • recaf现代Java字节码编辑器。
  • leenajavascript的符号执行引擎
  • retdec基于LLVM的可重定目标机器代码解压器。
  • periscope一个PE文件检查工具。