Skip to main content

C2314​

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

Category: Required

Decidability: Undecidable

说明​

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

依据​

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

登录查看完整文章