Статья

Садырин Д.С., Ильина А.Г. (науч. рук. Дергачев А.М.) Анализ межпроцедурных зависимостей на основе графа свойств программного кода
УДК тезиса: 004.052

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

Авторы:

Садырин Даниил Сергеевич

Ильина Аглая Геннадьевна

Руководитель:

Дергачев Андрей Михайлович

Садырин Д.С., Ильина А.Г. (науч. рук. Дергачев А.М.) Анализ межпроцедурных зависимостей на основе графа свойств программного кода // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2020]. URL: https://kmu.itmo.ru/digests/article/3853