даже в "нормально написанной" с виду программе далеко не всегда и не везде есть эти проверки. Отчасти из-за забывчивости, отчасти из-за того, что производительность падает, отчасти из-за невозможности ошибки в силу самой логики программы. На последнее часто уповают программисты и эти проверки пропускают там, где они должны быть. Вот и имеем то, что имеем. В языках типа C#, Java, Sing# и прочих обращение к массиву в принципе не может быть выполнено вне его границ, потому что код обращения к элементу массива генерируется компилятором так, что всегда включает в себя проверку на вхождение в границы. Указатель в принципе не может указывать на освобожденный участок памяти, потому что объект освобождается только по обнулению последнего указателя на него. Если же указатель содержит null, то после обращения по такому указателю немедленно вылетает исключение, ибо проверка на null осуществляется всегда при его разыменовании, и программист на это повлиять не может.