damm

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