文章目录
- 道理呢大家都懂,但是需要时间消化,而且人还是易犯错误的动物
- lint
- gcc 12
- sonarqube
道理呢大家都懂,但是需要时间消化,而且人还是易犯错误的动物
所以才有了,这些个静态代码检查工具。
lint
古老的工具。
Lint后来形成了一系列的工具,包括PC-Lint/FlexeLint(Gimpel),LintPlus(Cleanscape)以及Splint。
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/
收费的