1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
/* * Rule: MEM04-C * Source: wiki * Status: FAIL - Should trigger MEM04-C violation */ size_t size; /* Initialize size, possibly by user-controlled input */ int *list = (int *)malloc(size); if (list == NULL) { /* Handle allocation error */ } else { /* Continue processing list */ }