Question

作为我的Linux C应用程序的一部分，我编写了一个小库，以允许不同的进程通过共享内存区域进行通信。

我对以这种方式创建的内存区域中包含的潜在越界指针和潜在未初始化变量有很多警报。

考虑我编写的用于创建共享内存区域的函数：

int LayOutShm (const char *shm_key, size_t memory_size, void ** new_memory)
{
    int fd_value = 0;
    void * pshm = NULL;
    int return_value = MEM_MGMT_SHM_ERROR;

    /* Force new_buffer pointer to NULL just like we initialize return_value to MEM_MGMT_SHM_ERROR */
    *new_memory = NULL;

    /* Shared object is created with O_EXCL to prevent two namesake areas from being created*/
    fd_value = shm_open(shm_key, O_CREAT | O_RDWR | O_EXCL , S_IRWXU);

    if(fd_value > 0){
        if(ftruncate(fd_value, memory_size) == 0){
            /* Here is where we get the pointer to the created memory area */
            pshm = mmap(NULL, memory_size, PROT_READ | PROT_WRITE, MAP_SHARED, fd_value, 0);
            if(pshm != MAP_FAILED){
                return_value = MEM_MGMT_SHM_OK;
                memset(pshm,0,memory_size); /* Initialize the memory area */
                *new_memory = pshm; /* Pass the pointer back to the caller */
            }
        }
    }

    return return_value;
}/*LayOutShm*/

现在，这是我得到警告的一些代码：

#define SHM_KEY                 "my_shm_key"

typedef struct{
    pthread_mutex_t shm_mutex;
    int shm_var1;
    char shm_var2;
    union{
        int shm_union_var1;
        char shm_union_var2;
    }shm_union
}t_shm_area;

static t_shm_area * shm_area = NULL;

static int ShmInitialization(void)
{
    int return_value = -1;

    (void)LayOutShm(SHM_KEY, sizeof(t_shm_area), (void**)&shm_area);

    /*Check for errors in shared memory creation*/
    if (shm_area == NULL){
        syslog(LOG_ERR | LOG_USER, "Error laying out shared memory segment\n");
    }
    else{
        shm_area->var1 = 0; /* This assignment gets flagged with a potential out-of-bounds runtime error */
        shm_area->shm_union.shm_union_var2 = 0; /* This assignment gets flagged with a potential out-of-bounds runtime error */

        /*Create empty attributes structure*/
        pthread_mutexattr_t mutex_attributes;

        /*Initialize attributes structures with default values*/
        (void)pthread_mutexattr_init(&mutex_attributes);

        /*Set attributes structure with shared memory value*/
        (void)pthread_mutexattr_setpshared(&mutex_attributes, PTHREAD_PROCESS_SHARED);

        /*settype mutex PTHREAD_MUTEX_ERRORCHECK*/
        (void)pthread_mutexattr_settype(&mutex_attributes, PTHREAD_MUTEX_ERRORCHECK);

        /*Initialize the mutex with all the previous attributes*/
        (void)pthread_mutex_init(&shm_area->shm_mutex, &mutex_attributes);

        return_value = 0;
    }

    return return_value;
}/*ShmInitialization*/

这是我第一次尝试使用双指针，所以如果我在声明中使用void **或将输入双指针转换为void的方式搞砸了，我不会感到惊讶。

该函数的先前实现直接返回了指针，并且没有产生这些问题，但是我被要求对其进行更改，以便我们可以返回状态代码（即使我们暂时不使用它们）。 / p>

在创建该区域之后，我传递给库以从共享内存中获取值的任何本地声明的变量都会受到“污染”，并警告潜在的“越界”运行时错误或“变量可能未初始化”警告。该库已通过几种不同类型的数据结构（其中一些大小高达15kB）进行了测试，并且数据完整性和性能令人满意。

知道我为什么会收到这些警告吗？

非常感谢，最诚挚的问候！

Answer 1

C中的通用指针类型为rgb。但是，没有通用的指针对指针类型void*。因此，强制类型转换void**是不兼容指针类型之间的强制类型转换。从技术上讲，这是未定义的行为（严格违反别名），因此任何事情都可能发生。

要解决此问题，请为参数传递使用临时(void**)&shm_area：

void*

通过映射的共享内存获取“越界”和“变量未初始化”警告

1 个答案: