veles

  • klee：构建在LLVM编译器基础结构之上的符号虚拟机。
  • Detect-It-Easy：一款跨平台的PE查壳工具。
  • malscan：一个简单的PE文件启发式扫描仪。
  • bindead：二进制文件的静态分析工具
  • resourcehacker：用于Windows B®应用程序的资源编译器和反编译器。
  • angr-management：这是Angr的GUI。
  • expose：JavaScript的动态符号执行（DSE）引擎
  • chopshop：协议分析/解码器框架。