func: void CWE617_Reachable_Assertion__rand_66_bad() int data ; int dataArray [ 5 ] ; data = - 1; data = RAND32 ( ); dataArray [ 2 ] = data; CWE617_Reachable_Assertion__rand_66b_badSink ( dataArray ); void CWE617_Reachable_Assertion__rand_66b_badSink(int dataArray[]) int data = dataArray [ 2 ] ; assert ( data > ASSERT_VALUE ); 