sqc 0.4.13

Software Code Quality - CERT C compliance checker
1
2
3
4
5
6
7
8
9
10

/*
 * Rule: ERR07-C
 * Status: PASS - dlopen with hardcoded path (no taint)
 */

void *dlopen(const char *filename, int flags);

void f(void) {
    void *handle = dlopen("/usr/lib/libfoo.so", 1);  /* Safe: hardcoded path */
}