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
33
34
35
36
37
38
39
40
41

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

/*
 * Rule: INT33-C - Ensure that division and remainder operations do not result in divide-by-zero errors
 * Status: PASS
 * Reason: Fraction structure validates denominator is non-zero before creation
 */

#include <stdio.h>
#include <stdbool.h>

typedef struct {
    int numerator;
    int denominator;
} Fraction;

bool create_fraction(Fraction *frac, int num, int denom) {
    if (denom == 0) {
        printf("Error: Denominator cannot be zero\n");
        return false;
    }
    frac->numerator = num;
    frac->denominator = denom;
    return true;
}

double fraction_to_decimal(Fraction *frac) {
    return (double)frac->numerator / frac->denominator;
}

int main() {
    Fraction f;
    if (create_fraction(&f, 3, 4)) {
        printf("Fraction: %d/%d = %.2f\n", f.numerator, f.denominator, fraction_to_decimal(&f));
    }
    return 0;
}