При отладке следует широко использовать всевозможные проверки, выполняемые машиной автоматически. К ним относятся контроль деления на нуль, арифметического переполнения, арифметической потери значимости, длины цепочек символов и значений индексов. В некоторых компиляторах предусматривается возможность включения и отключения этих средств контроля в связи со значительными затратами машинного времени на указанные проверки. Средства такого контроля наряду с обнаружением упомянутых специфических ошибок часто способны выявлять и серьезные логические ошибки.