Ромащенко Николай Сергеевич

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