C编译器在检查程序正确性的许多方面都非常模糊,尤其是在类型检查中。仔细使用函数原型可以帮助现代C编译器完成此任务。但是,仍然不能保证一旦成功编译了程序,程序就可以正确运行。
UNIX Lint工具安全编程Lint (SPLINT)可以帮助检查多种编程错误。请查看在线手册页(夹板)以获取夹板的完整详细信息。
要运行夹板,只需输入以下命令:
splint myprog.c
Splint特别擅长检查变量和函数分配的类型检查,效率,未使用的变量和函数标识符,无法访问的代码以及可能的内存泄漏。有许多有用的选项可帮助控制夹板(请参阅手动夹板)。
#include
int main()
{
char a[] = "hello";
printf("%d\n", a);
return 0;
}
输出 :
想要从精选的最佳视频中学习和练习问题,请查看《基础知识到高级C的C基础课程》。