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