func: void CWE617_Reachable_Assertion__rand_53_bad() int data ; data = - 1; data = RAND32 ( ); CWE617_Reachable_Assertion__rand_53b_badSink ( data ); void CWE617_Reachable_Assertion__rand_53b_badSink(int data) CWE617_Reachable_Assertion__rand_53c_badSink ( data ); void CWE617_Reachable_Assertion__rand_53c_badSink(int data) CWE617_Reachable_Assertion__rand_53d_badSink ( data ); void CWE617_Reachable_Assertion__rand_53d_badSink(int data) assert ( data > ASSERT_VALUE ); 