leena

  • splint：静态检查C程序安全漏洞和编码错误的工具
  • horusec：静态代码分析，用于识别多种语言的安全缺陷。
  • ms-sys：编写win9x-.Linux下的主引导记录（MBR）-RTM！
  • expose：JavaScript的动态符号执行（DSE）引擎
  • plasma：x86/ARM/MIPS的交互式反汇编程序。它可以用彩色语法生成缩进伪代码。
  • saruman：ELF反取证执行程序，用于将完整的动态可执行文件注入进程映像（使用线程注入）。
  • angr：加州大学圣巴巴拉分校Seclab的下一代二进制分析平台。
  • bvi：一个面向显示的二进制文件编辑器操作起来像“vi”编辑器。