搜索
bottom↓
回复: 7

求推荐C语言的代码分析工具

[复制链接]

出5入0汤圆

发表于 2021-2-2 09:04:30 | 显示全部楼层 |阅读模式
求推荐C语言的代码分析工具
对于大型C/C++项目,一般是以团队分模块开发的方式,代码量数十万或者更多。由于代码量的激增以及开发人员众多,代码出现bug的概率也随之增加。——这是一个数学上概率论的问题,而不是程序员的编码技术问题。其中一部分问题是非执行过程引起的静态问题,如内存泄露、内存越界、野指针、逻辑模糊、死锁等等,在发布代码前可以借助一些检测工具进行代码分析,以排除静态bug。除了检查代码静态bug外,还可以判断代码复杂度、代码质量、代码执行效率等等,作为提高代码质量的依据。

尝试找到了一些资料,
https://www.xiaoheidiannao.com/219274.html

有没有类似的用户,求推荐一款好用的代码分析工具

阿莫论坛20周年了!感谢大家的支持与爱护!!

月入3000的是反美的。收入3万是亲美的。收入30万是移民美国的。收入300万是取得绿卡后回国,教唆那些3000来反美的!

出0入0汤圆

发表于 2021-2-2 09:12:50 | 显示全部楼层
改用rust吧

出0入0汤圆

发表于 2021-2-2 09:40:34 | 显示全部楼层
clang的静态检查也还有点用

出95入100汤圆

发表于 2021-2-2 22:01:33 | 显示全部楼层
pc-lint 可以试试看,静态代码检查工具

出10入46汤圆

发表于 2021-2-3 09:12:36 | 显示全部楼层
团队的能力的到什么样啊

对团队最基本的要求,是规规矩矩的写代码,不要想着用啥特殊的技巧。

出0入4汤圆

发表于 2021-2-3 10:11:10 | 显示全部楼层
c++ test,QAC,klockwork、pc-lint plus、Polyspace,这些都是用过的,基本都能帮助发现潜在问题,不过都是收费软件,主要是用来检查是否遵循misra c 2012的部分规范、以及自定义规范。
免费的目前cppcheck比较好用,但功能要弱很多。

出0入0汤圆

发表于 2021-2-4 00:42:16 来自手机 | 显示全部楼层
公司用过codecc  codex,都是专门的人搭建好的,开发人员只是解决工具发现的问题

出0入0汤圆

发表于 2021-2-5 09:07:29 | 显示全部楼层
感谢6楼的分享...
回帖提示: 反政府言论将被立即封锁ID 在按“提交”前,请自问一下:我这样表达会给举报吗,会给自己惹麻烦吗? 另外:尽量不要使用Mark、顶等没有意义的回复。不得大量使用大字体和彩色字。【本论坛不允许直接上传手机拍摄图片,浪费大家下载带宽和论坛服务器空间,请压缩后(图片小于1兆)才上传。压缩方法可以在微信里面发给自己(不要勾选“原图),然后下载,就能得到压缩后的图片】。另外,手机版只能上传图片,要上传附件需要切换到电脑版(不需要使用电脑,手机上切换到电脑版就行,页面底部)。
您需要登录后才可以回帖 登录 | 注册

本版积分规则

手机版|Archiver|amobbs.com 阿莫电子技术论坛 ( 粤ICP备2022115958号, 版权所有:东莞阿莫电子贸易商行 创办于2004年 (公安交互式论坛备案:44190002001997 ) )

GMT+8, 2024-4-26 10:47

© Since 2004 www.amobbs.com, 原www.ourdev.cn, 原www.ouravr.com

快速回复 返回顶部 返回列表