我正在尝试找到队列的 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但是，这在实际代码中很少会出现问题，如果发生的话，您还需要担心其他错误。