stacoan

  • pscan：C源文件的有限问题扫描程序
  • pfff：用于代码分析、可视化和转换的工具和API
  • kraken：使用时间/内存权衡攻击对A5/1GSM信令进行加密的项目。
  • splint：静态检查C程序安全漏洞和编码错误的工具
  • lazydroid：作为bash脚本编写的工具，用于促进Android评估的某些方面
  • flawfinder：在源代码中搜索潜在的安全缺陷。
  • spotbugs：用于静态分析的工具，用于查找Java代码中的错误。
  • devaudit：一个面向开发人员和团队的开源、跨平台、多用途安全审计工具。