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