または、Makefile/スクリプトの信頼性を確保するにはどうすればよいですか?
更新: シェル スクリプトとは sh 方言 (bash、zsh など) を意味し、Makefile とは GNU make を意味します。私は知っています、彼らは異なる獣ですが、多くの共通点があります.
PSええ、私は知っています、静的コード分析はすべての可能なケースを検証することはできず、信頼できる方法でMakefileとシェルスクリプトを書く必要があることを知っています. 悪い慣行を使用したとき、それらを忘れたとき、または大きなスクリプトで気付かなかったときに、ツールが必要なだけです。私のためにエラーを修正するのではなく、もう一度見てください。