CWE: 195 Signed to Unsigned Conversion Error
BadSource: fscanf Read data from the console using fscanf()
GoodSource: Positive integer
BadSink : Copy strings using memcpy() with the length of data
Flow Variant: 03 Control flow: if(5==5) and if(5!=5)
Have any comments on this test case? Please, send us an email.