sqc 0.4.13

Software Code Quality - CERT C compliance checker
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53

/*
 * Rule: BRULE-060
 * Status: PASS - malloc/free in init functions and main
 */
#include <stdlib.h>

int main(void) {
    int *buf = malloc(100 * sizeof(int));
    if (!buf) return 1;
    free(buf);
    return 0;
}

void system_init(void) {
    void *pool = malloc(4096);
    if (pool) {
        /* use pool */
    }
}

void module_setup(void) {
    char *config = calloc(1024, 1);
    if (config) {
        /* use config */
    }
}

void *buffer_create(size_t size) {
    return malloc(size);
}

void pool_initialize(void) {
    void *p = malloc(8192);
    free(p);
}

void *alloc_context(void) {
    return calloc(1, 256);
}

void create_session(void) {
    void *s = malloc(512);
    (void)s;
}

void *new_buffer(size_t n) {
    return malloc(n);
}

void init(void) {
    void *p = malloc(64);
    (void)p;
}