leena

  • cminer：在PE文件中枚举代码洞穴的工具。
  • klee：构建在LLVM编译器基础结构之上的符号虚拟机。
  • haystack：用于从进程内存堆分析内存结构取证中查找C结构的python框架。
  • binaryninja-python：用python编写的二进制忍者原型。
  • soot：一个Java字节码分析和转换框架。
  • triton：动态二进制分析（DBA）框架。
  • manticore：符号执行工具。
  • bvi：一个面向显示的二进制文件编辑器操作起来像“vi”编辑器。