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