test.c

unsigned long extern_get_size(void);

void test_const(void)
{
    char *buf = malloc(100);
    buf[0];   // COMPLIANT
    buf[99];  // COMPLIANT
    buf[100]; // NON_COMPLIANT
}

void test_const_var(void)
{
    unsigned long size = 100;
    char *buf = malloc(size);
    buf[0];        // COMPLIANT
    buf[99];       // COMPLIANT
    buf[size - 1]; // COMPLIANT
    buf[100];      // NON_COMPLIANT
    buf[size];     // NON_COMPLIANT
}

void test_const_branch(int mode, int random_condition)
{
    unsigned long size = (mode == 1 ? 100 : 200);

    char *buf = malloc(size);

    if (random_condition)
    {
        size = 300;
    }

    buf[0];        // COMPLIANT
    buf[99];       // COMPLIANT
    buf[size - 1]; // NON_COMPLIANT
    buf[100];      // NON_COMPLIANT[DONT REPORT]
    buf[size];     // NON_COMPLIANT
}