C2317

必须检查从外部来源获取的值的有效性

Category: Required

Decidability: Undecidable

说明

“外部来源”包括：

• 从文件读取的数据；

登录查看完整文章