C2314

必须检查传递给库函数的值的有效性

Category: Required

Decidability: Undecidable

说明

项目的性质和组织方式将决定哪些库——以及这些库中的哪些函数——应受本规则约束。

依据

对于许多标准库函数，C语言标准并不要求检查传递给它们的形参的有效性。即使C语言标准要求进行检查，或者编译器编写者声称要检查形参，也无法保证真的会进行充分检查。

登录查看完整文章