Пакет визуализации графа управления модели мишени как часть программного комплекса по выявлению вредоносного кода и недекларированных возможностей ПО

Гусарова Д.А.



Аннотация

 

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

Ключевые слова:

Alpha, БИТ СПбГУ ИТМО, разработка, вирус



Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License
Информация 2001-2024 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

Яндекс.Метрика