Splint-一个C程序验证程序-yiteyi-C++库

C编译器在检查程序正确性的许多方面相当模糊，尤其是在类型检查方面。仔细使用函数原型可以帮助现代C编译器完成这项任务。然而，仍然不能保证一旦成功编译了程序，它就能正确运行。

null

UNIX Lint工具 安全编程Lint 可以帮助检查大量的编程错误。查看在线手册页面（man splint），了解夹板的完整细节。

要运行splint，只需输入以下命令：

splint myprog.c

Splint特别擅长检查变量和函数分配的类型检查、效率、未使用的变量和函数标识符、无法访问的代码和可能的内存泄漏。有许多有用的选项可以帮助控制夹板（参见man splint）。

推荐：请尝试你的方法 {IDE} 首先，在进入解决方案之前。

                       #include <stdio.h>                     
                       int                                  main()                     
                       {                     
                                             char                                  a[] =                                  "hello"                                  ;                     
                                             printf                                  (                                  "%d"                                  , a);                     
                                             return                                  0;                     
                       }                     

输出： 图片[1]-Splint-一个C程序验证程序-yiteyi-C++库

文章版权归作者所有，未经允许请勿转载。

THE END