Стек, который падает от оверфлоу, это та самая структура, в которой, по сути, хранятся вызовы методов и их локальные переменные. Оверфлоу падает, когда стек переполняется раньше, чем происходит выход из рекурсии, которая накидывает в стек эти самые вызовы