1 2 3 4 5 6 7 8
/* * Rule: DCL11-C * Source: wiki * Status: FAIL - Should trigger DCL11-C violation */ char* string = NULL; printf("%s %d\n", string, 1);