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

/*
 * Rule: WIN04-C
 * Source: wiki
 * Status: PASS - Should NOT trigger WIN04-C violation
 * Description: Function pointer encrypted with EncodePointer
 */

/* Mock Windows.h declarations for analysis */
typedef int (*FARPROC)(void);
void *EncodePointer(void *ptr);
void *DecodePointer(void *ptr);
int printf(const char *, ...);

void testcase_compliant_encrypted_fnptr(void) {
    void *log_fn = EncodePointer((void *)printf);  /* Compliant: encrypted */
    /* ... */
    int (*fn)(const char *, ...) = (int (*)(const char *, ...))DecodePointer(log_fn);

    fn("foo");
}