leena

  • angr：加州大学圣巴巴拉分校Seclab的下一代二进制分析平台。
  • truegaze：针对Android/iOS应用程序的静态分析工具，主要关注源代码之外的安全问题。
  • barf：一个多平台的开源二进制分析和逆向工程框架。
  • exescan：用于检测PE（可移植可执行文件）文件中异常的工具。
  • strace：诊断、调试和指导用户空间跟踪程序
  • klee：构建在LLVM编译器基础结构之上的符号虚拟机。
  • linux-inject：用于将共享对象注入Linux进程的工具。
  • analyzepesig：分析PE文件的数字签名。