func: void CWE617_Reachable_Assertion__fixed_67_bad() int data ; CWE617_Reachable_Assertion__fixed_67_structType myStruct ; data = - 1; data = ASSERT_VALUE - 1; myStruct . structFirst = data; CWE617_Reachable_Assertion__fixed_67b_badSink ( myStruct ); void CWE617_Reachable_Assertion__fixed_67b_badSink(CWE617_Reachable_Assertion__fixed_67_structType myStruct) int data = myStruct . structFirst ; assert ( data > ASSERT_VALUE ); 