CTESK

Обходчик ndfsm для поиска не до конца пройденных состояний использует структуру данных PathFinderData (см. функцию find_nonfinished_state, файл ndfsm.c). Проблема в том, что эта структура имеет достаточно большой размер (она содержит внутри себя хэш-таблицу), поэтому не всегда помещается в стеке вызова функции. При инициализации структуры вызывается memset(...), который может обнулять память за пределами стека со всеми вытекающими последствиями.

Проблема (если понять, в чем именно дело) решается уменьшением константы NDFSM_HASH_MAP_SIZE. Предлагается одно из следующих решений: либо создавать структуру PathFinderData динамически (а не размещать ее в стеке), либо поставить assertion, который проверяет, что структура в стек влезает.