V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
frmongo
V2EX  ›  程序员

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

  •  
  •   frmongo · 2021-01-05 13:22:54 +08:00 · 2405 次点击
    这是一个创建于 1178 天前的主题,其中的信息可能已经有所发展或是发生改变。
    本人所在的团队用 C 开发嵌入式产品,求各位推荐一下自己知道的,好用的 C 代码静态检查工具。
    我计划给团队引入这部分的工作
    17 条回复    2021-01-06 09:46:24 +08:00
    zjsxwc
        1
    zjsxwc  
       2021-01-05 13:32:03 +08:00
    gantleman
        2
    gantleman  
       2021-01-05 13:35:24 +08:00
    dinghao188
        3
    dinghao188  
       2021-01-05 13:42:46 +08:00
    你倒是说说你要检查什么吧
    linux40
        4
    linux40  
       2021-01-05 13:47:49 +08:00 via Android
    你们有考虑针对自己的需求,自己进行开发吗?
    codyfeng
        5
    codyfeng  
       2021-01-05 14:07:05 +08:00 via Android
    Clang Static Analyzer
    frmongo
        6
    frmongo  
    OP
       2021-01-05 14:27:17 +08:00
    @linux40 #4 目前我司还是小公司,我一个人负责手动测试、自动化测试开发、持续集成还有 AI 算法的语料收集和最后的产品测试,开发也是忙成狗,暂时没有考虑针对自己的需求自己开发
    leoleoasd
        7
    leoleoasd  
       2021-01-05 14:34:13 +08:00   ❤️ 1
    clang-tidy
    YouLMAO
        8
    YouLMAO  
       2021-01-05 16:00:52 +08:00
    C 代码.... 我以为是 c++14, 大厂 internals
    YouLMAO
        9
    YouLMAO  
       2021-01-05 16:02:34 +08:00
    asan tsan msan 三剑客
    icyalala
        10
    icyalala  
       2021-01-05 16:09:06 +08:00
    @YouLMAO 这都是运行期的检查啊。。
    静态检查看看 Clang Static Analyzer
    YouLMAO
        11
    YouLMAO  
       2021-01-05 16:14:43 +08:00
    @icyalala 不是啊, 大厂在 prod 不使用的, 都是在集成测试 e2e CI 使用的
    jzmws
        12
    jzmws  
       2021-01-05 16:15:25 +08:00
    Fortify SCA ? 不过这个 收费的 ,况且收费还不便宜
    linux40
        13
    linux40  
       2021-01-05 20:13:56 +08:00 via Android
    @frmongo 那把 clang-tidy 集成到开发环境就行,clangd 算是现成的。真实的错误还是推荐通过测试发现。
    jmc891205
        14
    jmc891205  
       2021-01-05 20:34:36 +08:00
    linux40
        15
    linux40  
       2021-01-05 21:24:27 +08:00
    @jmc891205 贵司缺做这个的人吗?
    jmc891205
        16
    jmc891205  
       2021-01-05 21:37:18 +08:00   ❤️ 1
    @linux40
    我查了一下,现在安全这块在大陆没有研发的 opening,只有一个 Application Engineer(做售后咨询)和 Sales 的岗位在招人。你可以到「 Synopsys 招聘」公众号里看一下有没有感兴趣的岗位。
    calvincc
        17
    calvincc  
       2021-01-06 09:46:24 +08:00 via iPhone
    cppcheck ?
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   我们的愿景   ·   实用小工具   ·   2426 人在线   最高记录 6543   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 26ms · UTC 16:09 · PVG 00:09 · LAX 09:09 · JFK 12:09
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.