我正在尝试在此 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

我很确定问题是：What happens if you pass a negative value for 'size'?

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