Меню
Публикации
Главный редактор

НИКИФОРОВ
Владимир Олегович
д.т.н., профессор
Партнеры
Пакет визуализации графа управления модели мишени как часть программного комплекса по выявлению вредоносного кода и недекларированных возможностей ПО
Аннотация
Группой разработчиков кафедры БИТ СПбГУ ИТМО разрабатывается программный комплекс по вери-
фикации программного обеспечения (ПО), выявлению недекларированных возможностей и вредоносно-
го кода. В статье рассказывается об одной из компонент разрабатываемого программного комплекса, а
именно – о пакете визуализации графа управления программы, названном Alpha.
Ключевые слова:
Alpha, БИТ СПбГУ ИТМО, разработка, вирус