夹板是静态检查C程序的安全漏洞和错误的编程工具。
夹板做了很多传统的皮棉检查,包括未使用的声明,类型不一致,使用定义之前,无法访问的代码,忽略返回值,执行路径没有返回,可能无限循环,并告吹的情况。
更强大的检查在源代码中的注释给出更多的信息成为可能。注释是程式化的评论关于函数,变量,参数和类型文件的假设。
除了由注解专门启用支票,许多传统的棉绒检查都通过利用这个附加信息得到改善。
随着越来越多的精力投入注释方案,更完善的检查结果。使用夹板代表性的努力收益曲线如图1所示。
夹板的设计是灵活的,允许程序员选择用于特定项目的工作量效益曲线上相应点。
作为不同的检查被接通和被赋予在代码的更多信息注解了可显着地检测出的增加的错误的数量。
通过检测夹板存在的问题包括:
最近浏览的软件
MySQL Append Two Tables Software 22 Sep 15
Yintersync.NET 1 Sep 16
Bascom51 BASIC Compiler for the 8051 24 Oct 15
TouchstoneJS 10 Feb 16
Agent 2.0 Document: text normalization documentation for Spanish Lernout & Hauspie TTS3000 engine 21 Sep 15
Virtual WiFi Plus 31 Dec 14
XMLmind XML Editor 1 Jan 15
Microsoft Windows Media Player .ASF Processor Contains Unchecked Buffer 5 Dec 15
OpenGL Library 2 Jun 15
Batch File FTP Sync Uploader 1 Jan 15
按类别搜索
热门软件
xtrace 11 May 15
Fiddler for Mono 17 Feb 15
GDB 16 Aug 18
Nemiver 17 Feb 15
BuGLe 17 Feb 15
Electric Fence 3 Jun 15
radare 11 May 15
Splint
类似的软件
意见 Splint
最近浏览的软件
MySQL Append Two Tables Software 22 Sep 15
Yintersync.NET 1 Sep 16
Bascom51 BASIC Compiler for the 8051 24 Oct 15
TouchstoneJS 10 Feb 16
Agent 2.0 Document: text normalization documentation for Spanish Lernout & Hauspie TTS3000 engine 21 Sep 15
Virtual WiFi Plus 31 Dec 14
XMLmind XML Editor 1 Jan 15
Microsoft Windows Media Player .ASF Processor Contains Unchecked Buffer 5 Dec 15
OpenGL Library 2 Jun 15
Batch File FTP Sync Uploader 1 Jan 15
按类别搜索
热门软件
BuGLe 17 Feb 15
glibc-audit 3 Jun 15
WingDBG 20 Feb 15
Profiler4j 3 Jun 15
ngrep 2 Jun 15
strace 23 Nov 17
LMDBG 20 Feb 15
评论没有发现