Каковы общие способы определения и обнаружения избыточных проверок границ массивов в программном коде?