软件截图:
夹板是静态检查C程序的安全漏洞和错误的编程工具。
夹板做了很多传统的皮棉检查，包括未使用的声明，类型不一致，使用定义之前，无法访问的代码，忽略返回值，执行路径没有返回，可能无限循环，并告吹的情况。
更强大的检查在源代码中的注释给出更多的信息成为可能。注释是程式化的评论关于函数，变量，参数和类型文件的假设。
除了由注解专门启用支票，许多传统的棉绒检查都通过利用这个附加信息得到改善。
随着越来越多的精力投入注释方案，更完善的检查结果。使用夹板代表性的努力收益曲线如图1所示。
夹板的设计是灵活的，允许程序员选择用于特定项目的工作量效益曲线上相应点。
作为不同的检查被接通和被赋予在代码的更多信息注解了可显着地检测出的增加的错误的数量。
通过检测夹板存在的问题包括：
评论没有发现