func: static void goodG2B() int data ; data = - 1; data = ASSERT_VALUE + 1; CWE617_Reachable_Assertion__connect_socket_53b_goodG2BSink ( data ); void CWE617_Reachable_Assertion__connect_socket_53b_goodG2BSink(int data) CWE617_Reachable_Assertion__connect_socket_53c_goodG2BSink ( data ); void CWE617_Reachable_Assertion__connect_socket_53c_goodG2BSink(int data) CWE617_Reachable_Assertion__connect_socket_53d_goodG2BSink ( data ); void CWE617_Reachable_Assertion__connect_socket_53d_goodG2BSink(int data) assert ( data > ASSERT_VALUE ); 