stacoan

  • cppcheck：一种静态C/C++代码分析工具
  • bof-detector：通过源代码级检查简单地检测BOF漏洞。
  • shellcheck：shell脚本分析工具
  • procyon：一套Java元编程工具，专注于代码生成和分析。
  • checkov：防止云配置错误，并在构建时在基础设施中以代码、容器映像和开源包的形式发现漏洞。
  • slither：用Python 3编写的Solidity静态分析框架。
  • apkid：Android应用程序标识符，用于打包机、保护器、模糊器和杂物。
  • androwarn：另一个用于恶意Android应用程序的静态代码分析器。