Sound static analysis for the masses

The analysis tool that reliably and consistently detects bugs in your codebase, at unmatched speed.

queue.c
1
enum cc_stat cc_queue_new_conf(CC_QueueConf const * const conf, CC_Queue **q)
2
{
3
CC_Queue *queue = conf->mem_calloc(1, sizeof(CC_Queue));
4

5
if (!queue)
6
    return CC_ERR_ALLOC;
7

8
CC_Deque *deque;
9
cc_deque_new_conf(conf, &deque);
10

11
if (!deque) {
12
    conf->mem_free(queue);
13
    return CC_ERR_ALLOC;
14
}
15

16
*q = queue;
17

18
return CC_OK;
19
}
>
Parsing
Generating traces
Analysing
Error
Accessing uninitialized memory in cc_queue_new at line 11.

Why ?

Want

more information?

less bugs?

Read more

Discover how can transform your development process. Go through our documentation or join our community to get started today!