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

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

/*
 * Rule: INT33-C - Ensure that division and remainder operations do not result in divide-by-zero errors
 * Status: FAIL
 * Reason: Conditional expression can result in zero divisor without proper checking
 */

#include <stdio.h>

int main() {
    int flag = 1;
    int dividend = 30;
    int divisor = flag ? 0 : 5;  // When flag is 1, divisor becomes 0

    int result = dividend / divisor;  // No validation
    printf("Result: %d\n", result);
    return 0;
}