metame

  • klee构建在LLVM编译器基础结构之上的符号虚拟机。
  • python2-frida-toolsFrida CLI工具。
  • qbdi基于LLVM的动态二进制检测框架。
  • binaryninja-python用python编写的二进制忍者原型。
  • binaryninja-demo一种新型的倒车平台(演示版)。
  • binwalk用于搜索给定二进制图像以查找嵌入文件的工具
  • soot一个Java字节码分析和转换框架。
  • bindead二进制文件的静态分析工具