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

/*
 * Rule: INT32-C
 * Source: testcases
 * Status: FAIL - Should trigger INT32-C violation
 */

/*
 * Rule: INT32-C - Ensure that operations on signed integers do not result in overflow
 * Status: FAIL
 * Reason: Bit shifting with large shift counts or values can cause overflow
 */

#include <limits.h>
#include <stdio.h>

int main() {
    int value = 1;
    int shift_count = 31;

    // VIOLATION: 1 << 31 in signed int is undefined behavior/overflow
    int result = value << shift_count;

    printf("1 << 31 = %d\n", result);

    // Another violation: shifting a large value
    int large_value = INT_MAX / 4;
    int result2 = large_value << 3; // VIOLATION: likely to overflow

    printf("(%d) << 3 = %d\n", large_value, result2);

    return 0;
}