@@ -315,7 +315,7 @@ void test6(unsigned unsigned_value, int value) {
315315 sprintf (buffer, " %u" , unsigned_value); // BAD: buffer overflow
316316 sprintf (buffer, " %d" , unsigned_value); // BAD: buffer overflow
317317 if (unsigned_value < 10 ) {
318- sprintf (buffer, " %u" , unsigned_value); // GOOD [FALSE POSITIVE]
318+ sprintf (buffer, " %u" , unsigned_value); // GOOD
319319 }
320320
321321 sprintf (buffer, " %u" , -10 ); // BAD: buffer overflow
@@ -329,12 +329,12 @@ void test6(unsigned unsigned_value, int value) {
329329 sprintf (buffer, " %d" , value); // BAD: buffer overflow
330330
331331 if (value > 0 ) {
332- sprintf (buffer, " %d" , value); // GOOD [FALSE POSITIVE]
332+ sprintf (buffer, " %d" , value); // GOOD
333333 }
334334 }
335335
336- sprintf (buffer, " %u" , 0 ); // GOOD [FALSE POSITIVE]
337- sprintf (buffer, " %d" , 0 ); // GOOD [FALSE POSITIVE]
338- sprintf (buffer, " %u" , 5 ); // GOOD [FALSE POSITIVE]
339- sprintf (buffer, " %d" , 5 ); // GOOD [FALSE POSITIVE]
336+ sprintf (buffer, " %u" , 0 ); // GOOD
337+ sprintf (buffer, " %d" , 0 ); // GOOD
338+ sprintf (buffer, " %u" , 5 ); // GOOD
339+ sprintf (buffer, " %d" , 5 ); // GOOD
340340}
0 commit comments