Интересная вещь, которую я добавляю в проект прямо сейчас, заключается в том, что каждый цикл while будет иметь свойство max_loops, которое проверяется при компиляции в режиме Debug или ReleaseSafe. Каждый массив динамического размера будет иметь проверки, чтобы убедиться, что он находится в ожидаемом диапазоне. Я украл эту идею у команды tiger beatle.