Интересный программистский факт: в NASA запрещено использовать рекурсию в коде

Обосновывается это тем, что без рекурсии анализатор кода точно сможет подтвердить, что все операции внутри кода являются ограниченными.

Другие правила для разработки безопасного кода предписывают, например, не писать функции длинее страницы (~60 строк), не пренебрегать предупреждения компилятора, максимально ограничить динамическое выделение памяти.