📜  夹板-AC程序验证器

📅  最后修改于: 2021-05-25 23:58:38             🧑  作者: Mango

C编译器在检查程序正确性的许多方面都非常模糊,尤其是在类型检查中。仔细使用函数原型可以帮助现代C编译器完成此任务。但是,仍然不能保证一旦成功编译了程序,程序就可以正确运行。

UNIX Lint工具安全编程Lint (SPLINT)可以帮助检查多种编程错误。请查看在线手册页(夹板)以获取夹板的完整详细信息。

要运行夹板,只需输入以下命令:

splint myprog.c

Splint特别擅长检查变量和函数分配的类型检查,效率,未使用的变量和函数标识符,无法访问的代码以及可能的内存泄漏。有许多有用的选项可帮助控制夹板(请参阅手动夹板)。

#include 
int main()
{
    char a[] = "hello";
    printf("%d\n", a);
    return 0;
}

输出 :

想要从精选的最佳视频中学习和练习问题,请查看《基础知识到高级C的C基础课程》。