func: void CWE617_Reachable_Assertion__fgets_67_bad() int data ; CWE617_Reachable_Assertion__fgets_67_structType myStruct ; data = - 1; char inputBuffer [ CHAR_ARRAY_SIZE ] = "" ; if ( fgets ( inputBuffer , CHAR_ARRAY_SIZE , stdin ) != NULL )  data = atoi ( inputBuffer ); myStruct . structFirst = data; CWE617_Reachable_Assertion__fgets_67b_badSink ( myStruct ); void CWE617_Reachable_Assertion__fgets_67b_badSink(CWE617_Reachable_Assertion__fgets_67_structType myStruct) int data = myStruct . structFirst ; assert ( data > ASSERT_VALUE ); 