shell - 是否有任何 shell 脚本和/或 Makefile 静态代码分析器？

Question

或者如何确保我的 Makefile/脚本的可靠性？

更新：shell 脚本是指 sh 方言（bash、zsh 等），Makefile 是指 GNU make。我知道，它们是不同的野兽，但它们有许多共同点。

PS 是的，我知道，静态代码分析无法验证所有可能的情况，并且我需要以某种可靠的方式编写我的 Makefile 和 shell 脚本。我只需要工具，它会告诉我，当我使用不良做法时，当我忘记它们或在大脚本中没有注意到时。不是为我修复错误，而是再看一遍。

Answer 1

对于 sh 脚本，ShellCheck会做一些静态分析检查，例如检测变量修改何时被子 shell 隐藏、何时意外使用[ $foo=bar ]或何时忽略引用可能包含空格的变量。它还评论了一些文体问题，例如在可以使用参数扩展时无用使用 cat 或使用 sed。