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

/*
 * Rule: INT15-C
 * Source: wiki
 * Status: PASS - Should NOT trigger INT15-C violation
 * Description: Using strtoumax and uintmax_t for input
 */

#include <stdio.h>
#include <inttypes.h>
#include <errno.h>
#include <stdint.h>

typedef unsigned long long mytypedef_t;
#define MYTYPEDEF_MAX ULLONG_MAX

void compliant(void) {
    mytypedef_t x;
    uintmax_t temp;
    char buff[256];
    char *end_ptr;

    if (fgets(buff, sizeof(buff), stdin) == NULL) {
        /* Handle error */
    } else {
        errno = 0;
        temp = strtoumax(buff, &end_ptr, 10);
        if (ERANGE == errno) {
            /* Handle error */
        } else if (end_ptr == buff) {
            /* Handle error */
        } else if ('\n' != *end_ptr && '\0' != *end_ptr) {
            /* Handle error */
        }
        if (temp > MYTYPEDEF_MAX) {
            /* Handle error */
        } else {
            x = temp;
        }
    }
}