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

/* Rule: CON07-C
 * Source: testcases
 * Status: FAIL - Compound operations on shared variables without atomicity
 */

/* Case 1: Two static variables accessed in one function without mutex */
static int x;
static int y;

int get_product(void) {
    return x * y;
}

void set_xy(int nx, int ny) {
    x = nx;
    y = ny;
}

/* Case 2: Compound assignment (+=) on static variable without protection */
static int total;

void accumulate(int value) {
    total += value;
}

/* Case 3: Increment on static variable without protection */
static int event_count;

void log_event(void) {
    event_count++;
}