求 c 代码的静态检查工具推荐几个

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

For Existing Member Sign In

• 请不要在回答技术问题时复制粘贴 AI 生成的内容

This topic created in 1938 days ago, the information mentioned may be changed or developed.

本人所在的团队用 C 开发嵌入式产品，求各位推荐一下自己知道的，好用的 C 代码静态检查工具。
我计划给团队引入这部分的工作

静态

代码

检查

工具

17 replies • 2021-01-06 09:46:24 +08:00

zjsxwc

Jan 5, 2021

开源的不行吗
https://github.com/danmar/cppcheck

gantleman

Jan 5, 2021

SourceMonitor
http://www.campwoodsw.com/sourcemonitor.html

dinghao188

Jan 5, 2021

你倒是说说你要检查什么吧

linux40

Jan 5, 2021 via Android

你们有考虑针对自己的需求，自己进行开发吗？

codyfeng

Jan 5, 2021 via Android

Clang Static Analyzer

frmongo

Jan 5, 2021

@linux40 #4 目前我司还是小公司，我一个人负责手动测试、自动化测试开发、持续集成还有 AI 算法的语料收集和最后的产品测试，开发也是忙成狗，暂时没有考虑针对自己的需求自己开发

leoleoasd

Jan 5, 2021

clang-tidy

YouLMAO

Jan 5, 2021

C 代码.... 我以为是 c++14, 大厂 internals

YouLMAO

Jan 5, 2021

asan tsan msan 三剑客

icyalala

Jan 5, 2021

@YouLMAO 这都是运行期的检查啊。。
静态检查看看 Clang Static Analyzer

YouLMAO

Jan 5, 2021

@icyalala 不是啊, 大厂在 prod 不使用的, 都是在集成测试 e2e CI 使用的

jzmws

Jan 5, 2021

Fortify SCA ？不过这个收费的，况且收费还不便宜

linux40

Jan 5, 2021 via Android

@frmongo 那把 clang-tidy 集成到开发环境就行，clangd 算是现成的。真实的错误还是推荐通过测试发现。

jmc891205

Jan 5, 2021

看下我司的 Coverity
https://www.synopsys.com/software-integrity/security-testing/static-analysis-sast.html

linux40

Jan 5, 2021

@jmc891205 贵司缺做这个的人吗？

jmc891205

Jan 5, 2021

@linux40
我查了一下，现在安全这块在大陆没有研发的 opening，只有一个 Application Engineer(做售后咨询)和 Sales 的岗位在招人。你可以到「 Synopsys 招聘」公众号里看一下有没有感兴趣的岗位。

calvincc

Jan 6, 2021 via iPhone

cppcheck ？