c - 我正在尝试找到队列的 C 代码中的安全漏洞

Question

我知道 malloc 部分有些可疑，但我无法看出其中的不安全之处:

//que structure
typedef struct queue{
         int *que;  // the actual array of queue elements
         int head;   // the head index in que of the queue
         int count;  /// number of elements in queue
         int size; // max number of elements in queue
    } QUEUE;


void qManage(QUEUE **qptr, int flag, int size){
      if(flag){
              /* allocate a new queue */
              *qptr = malloc(sizeof(QUEUE));
              (*qptr)->head = (*qptr)->count = 0;
              (*qptr)->que = malloc(size * sizeof(int));
              (*qptr)->size = size;
    }
    else{
             /* delete the current queue */
             (void) free((*qptr)->que);
             (void) free(*qptr);
    }
}

Answer 1

我很确定问题是这样的:如果为“size”传递负值会发生什么？

另一个可能的问题是，您在分配后没有检查 *qptr 是否为 NULL，但是，这在实际代码中很少会出现问题，如果它会出现的话如果发生这种情况，您还有其他错误需要担心。