道理呢大家都懂，但是需要时间消化，而且人还是易犯错误的动物

所以才有了，这些个静态代码检查工具。

gcc 12

开源的
https://developers.redhat.com/articles/2022/04/12/state-static-analysis-gcc-12-compiler#
这个是redhat工作人员实现的一个嵌在gcc编译器里的静态检查工具。
-Wanalyzer-use-of-uninitialized-value
-Wuninitialized
-Wmaybe-uninitialized
-fanalyzer-checker=taint
-Wanalyzer-tainted-array-index

sonarqube

https://www.sonarqube.org/
收费的