有没有哪个静态检查软件能够检查的出来如图的内存溢出...

2019-12-10 18:20发布

本帖最后由 zxq6 于 2019-8-4 09:24 编辑

如图,使用cppcheck没有检查出来,splint也没有检查出来,tscancode也没有检查出来。
可能用的都不咋专业吧。请方便的大虾帮忙试试,看看有哪个软件可以检测的出来呢?
或者是说,这些软件都可以检测,而是我的哪里设置可能存在问题?
谢谢!
无标题.png (53.01 KB, 下载次数: 0) 下载附件 2019-8-4 09:23 上传

main文件如下:
main.rar (233 Bytes, 下载次数: 1) 2019-8-4 09:21 上传 点击文件名下载附件
友情提示: 此问题已得到解决,问题已经关闭,关闭后问题禁止继续编辑,回答。
该问题目前已经被作者或者管理员关闭, 无法添加新回复
11条回答
canspider
1楼-- · 2019-12-10 21:45
好良言难劝该死鬼
大慈悲不渡自决人
styleno1
2楼-- · 2019-12-11 01:57
我也想过,后来放弃了。参数检查加了断言。
wzbwzb
3楼-- · 2019-12-11 03:06
什么问题呢?
lhj200304
4楼-- · 2019-12-11 03:48
 精彩回答 2  元偷偷看……
lusson
5楼-- · 2019-12-11 06:34
这种需要代码规则来规定,比如对输入参数必须进行范围判断。
wudicgi
6楼-- · 2019-12-11 07:51
这种静态检查怎么查?a 的值是运行时才能确定的

一周热门 更多>