SplintC代码漏洞检测工具

联合创作 · 2023-10-02 03:48

Splint 是一个用来静态检测 C 程序安全漏洞的小工具。

splint是一个开源的静态代码检测工具,用于动态检查C语言程序安全弱点和编写错误的程序。splint会进行多种常规检查,包括未使用的变量,类型不一致,使用未定义变量,无法执行的代码,忽略返回值,执行路径未返回,无限循环等错误。它以大师级的眼光来审阅你的代码,Splint只能检测标准C代码。

'lint-clean' -- 程序能够顺利通过lint程序的检查。这是微软的编码要求。

浏览 8
点赞
评论
收藏
分享

手机扫一扫分享

编辑 分享
举报
评论
图片
表情
推荐
点赞
评论
收藏
分享

手机扫一扫分享

编辑 分享
举报