当前位置:  软件>C/C++软件

C代码漏洞检测工具 Splint

    来源:    发布时间:2015-01-28

    本文导语:  Splint 是一个用来静态检测 C 程序安全漏洞的小工具。 splint是一个开源的静态代码检测工具,用于动态检查C语言程序安全弱点和编写错误的程序。splint会进行多种常规检查,包括未使用的变量,类型不一致,使用未定义变量,无...

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

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

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


    
 
 

您可能感兴趣的文章:

  • Microsoft IE MSHTML内存破坏远程代码执行漏洞
  • PHP代码漏洞检测工具 PHPSecurityScanner
  • Oracle E-Business套件多个认证绕过及代码注入漏洞
  • ThinkPHP框架任意代码执行漏洞的利用及其修复方法
  • IBM WebSphere源代码暴露漏洞
  • PHP编程中的常见漏洞和代码实例
  • jquery代码-如何检测各种浏览器
  • Java 代码检测工具 Hammurapi
  • 无用代码检测插件 UCDetector
  • JS代码质量检测工具 JSCritic
  • Eclipse的C/C++代码检测插件 Goanna
  • adnroid已安装应用中检测某应用是否安装的代码实例
  • 请问Linux C代码规范性检测工具有哪些?
  • Linux下如何检测硬盘和内存(源代码)
  • Eclipse代码检测插件 Smelly
  • jquery代码-如何使用jQuery来检测右键和左键的鼠标单击两种情况
  • php判断字符串是否存在 php字符串检测代码
  • 使用python检测手机QQ在线状态的脚本代码
  • Shell脚本实现检测文件是否被修改过代码分享
  • 检测网站down掉后自动发信的shell脚本代码
  • php检测url是否被百度收录示例代码
  • 一个ping检测告警函数代码
  • 登录远程桌面时遇到“由于客户端检测到一个协议错误(代码0x1104)”
  • php检测useragent版本的代码
  • LINUX下如何用程序实现对一段代码运行使用的内存进行检测
  • PHP批量检测并去除文件BOM头代码实例
  •  
    本站(WWW.)旨在分享和传播互联网科技相关的资讯和技术,将尽最大努力为读者提供更好的信息聚合和浏览方式。
    本站(WWW.)站内文章除注明原创外,均为转载、整理或搜集自网络。欢迎任何形式的转载,转载请注明出处。












  • 相关文章推荐
  • 哪位会使用代码保护工具WingGuard来保护java代码?
  • 请问用jsp编写程序,非要编写代码么?有没有什么象fontpage2000那样的工具,能够生成一些固定模板的工具?就是说不用全部都写的工具。望
  • 可视化代码评审工具 Phabricator
  • Java 代码分析工具 JHawk
  • 代码覆盖率统计工具gcov的扩展 lcov
  • 代码覆盖率检查工具 Cobertura
  • 代码检索工具 CodeQuery
  • 代码审查工具 CodePro Analytix
  • linux下的代码查看工具
  • 代码审查工具 Codebrag
  • 代码评审工具 QuickRev
  • 代码自动生成工具 Acceleo
  • C/C++代码覆盖率测试工具 BullseyeCoverage
  • C代码分析工具 Frama-C
  • 代码审核的Web工具 JSHintr
  • Java 代码生成工具 JAnnocessor
  • 代码研究工具 Relo
  • 代码覆盖测试工具 kcov
  • PHP 代码格式化工具 phpCodeBeautifier
  • 代码审查工具 Groogle
  • javascript 添加到收藏夹和书签代码示例
  • 在JBuilder中,为什么编写的代码中,当代码出现关键字时,后面的部分代码就移位了,当在有关键字的那些代码行进行选择时,也会出现鼠标位
  • Python GUI编程:tkinter实现一个窗口并居中代码
  • 为什么两行代码间不加入其他代码就崩溃,而加入了日志代码后就不崩溃?
  • JSP中清空cookie代码参考
  • 在ubuntu8.10 新立得中安装anjuta,为什么没有代码提示功能,怎么做才有,还有自动代码补全和代码提示有什么区别,
  • Python获取网页编码的方法及示例代码
  • 到底怎么样的代码算是有效代码?请教了。。
  • CSS属性参考手册 iis7站长之家
  • 如果要研究源代码以提高自己,哪一个开放源代码的软件比较合适?
  • php通过socket_bind()设置IP地址代码示例


  • 站内导航:


    特别声明:169IT网站部分信息来自互联网,如果侵犯您的权利,请及时告知,本站将立即删除!

    ©2012-2021,,E-mail:www_#163.com(请将#改为@)

    浙ICP备11055608号-3