shellcheck

  • valgrind：帮助查找程序内存管理问题的工具
  • zarn：现代Perl应用程序的轻量级静态安全分析工具。
  • slither：用Python 3编写的Solidity静态分析框架。
  • mosca：静态分析工具，用于查找类似grep unix命令的错误。
  • expose：JavaScript的动态符号执行（DSE）引擎
  • codeql：用于GitHub CodeQL的CLI工具
  • cflow：C程序流量分析仪。
  • snyk：cli和build time工具，用于查找和修复开放源代码依赖项中的已知漏洞。