C安全编程教学-声明和初始化-不要声明或者定义保留标识符(二)

安小呆

已于 2024-08-23 17:00:22 修改

阅读量576

点赞数 26

分类专栏： C语言软硬件教学文章标签： c语言开发语言 java 安全 tcp/ip 算法

于 2024-08-23 16:58:57 首次发布

本文链接：https://blog.csdn.net/anananajiushiwo/article/details/141468741

版权

C语言软硬件教学专栏收录该内容

50 篇文章 0 订阅

订阅专栏

注：本课程参考文献《C安全编码标准》

欢迎关注我👆，收藏下次不迷路┗|｀O′|┛ 嗷~~

一.不安全代码

二.修改代码

三.练习与答案

一.不安全代码

考察以下不兼容的代码示例，我们发现文件作用域内的对象_max_limit和_limit的命名都采用了下划线作为前缀。尽管_max_limit由于是静态声明的，似乎不会受到实现定义名称冲突的影响。然而，值得注意的是，所包含的<stddef.h>头文件定义了size_t，这意味着存在潜在的名称冲突风险。此外，_limit由于具有外部链接属性，它可能与语言运行时库中定义的同名符号发生冲突，即使这个符号并未在任何头文件中显式定义。因此，我们可以得出结论，即使链接方式可能将标识符的可见性限制在单个翻译单元内，使用下划线作为文件作用域标识符名称的前缀仍然是不安全的做法。

#include <stddef.h>
static const size_t _max_limit = 1024;
size_t _limit = 100;
unsigned int getValue(unsigned int count){
    return count < _limit ? count : _limit;
}

二.修改代码

文件作用域对象名称不以下划线开始

#include <stddef.h>

static const size_t max_limit = 1024;
size_t limit = 100;

unsigned int getValue(unsigned int count){
    return count < limit ? count : limit;
}

三.练习与答案

考察以下代码，我们注意到全局变量_globalCount和_buffer_size的命名都使用了下划线前缀。尽管_buffer_size是静态声明的，看似不会受到名称冲突的影响，但实际上，由于它使用了size_t类型，而size_t在<stddef.h>头文件中定义，这就引入了潜在的名称冲突风险。此外，_globalCount变量由于具有外部链接属性，可能会与语言运行时库或其他模块中定义的同名符号发生冲突。因此，即使链接限制可能使得标识符仅在单个翻译单元内可见，使用下划线作为全局变量名称的前缀依然是不安全的做法。

#include <stddef.h>  
  
static const size_t _buffer_size = 256;  
size_t _globalCount = 0;  
  
void incrementCount() {  
    _globalCount++;  
}  
  
size_t getBufferSize() {  
    return _buffer_size;  
}

为了避免潜在的名称冲突，我们修改了全局变量的命名，使其不再以下划线开始。

#include <stddef.h>  
  
static const size_t bufferSize = 256;  
size_t globalCount = 0;  
  
void incrementCount() {  
    globalCount++;  
}  
  
size_t getBufferSize() {  
    return bufferSize;  
}

在这个修改后的代码中，全局变量globalCount和bufferSize的命名避免了使用下划线前缀，从而减少了与标准库或其他模块中定义的符号发生冲突的可能性。