Научная исследовательская работа (НИР). Кафедра компьютерной и информационной безопасности

Тема работы: Проведение межпроцедурого контекстнозависимого статического анализа кода в рамках подготовки к сертификации по требованиям безопасности информации

Задачи:
- Провести анализ средств стат. анализа, сравнить между собой.
– Выбрать перечень средств.
– Собрать стенд, на котором будут развернуты все средства (обсуждаемо).
– Скачать большой проект (в открытых источниках, предпочитаемые языки – Golang, C, C++, обсуждаемо).
– Провести его анализ выбранными средствами.

В соответствии с требованиями (в отдельном файле), написать и оформить работу по выбранной теме.
Объем работы от 30 стр. Недостающий объем можно покрыть терминологией по теме.
В итоге должна быть построена модель, алгоритм проведения подобного анализа кода, сделать вывод об эффективности данных методов.

Нужно исполнение до двух недель. С промежуточными итогами.