cgrammar 0.9.1

A comprehensive C language grammar parser library written in Rust, implementing the C23 standard (ISO/IEC 9899:2023).
Documentation 
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

#pragma safety enable


void* malloc(unsigned long size);
void free(void* ptr);

struct X {
    char* text;
};

void f(struct X* p1, struct X** p2)
{
    *p2 = p1;
}

int main()
{
    struct X* p1 = malloc(sizeof * p1);
    if (p1)
    {
        p1->text = 0;
        struct X* p2 = 0;
        f(p1, &p2);

        free(p2->text);
#pragma cake diagnostic check "-Wanalyzer-null-dereference"

        free(p2);
    }
}