Тема работы: Проведение межпроцедурого контекстнозависимого статического анализа кода в рамках подготовки к сертификации по требованиям безопасности информации
Задачи: - Провести анализ средств стат. анализа, сравнить между собой. - Выбрать перечень средств. - Собрать стенд, на котором будут развернуты все средства (обсуждаемо). - Скачать большой проект (в открытых источниках, предпочитаемые языки - Golang, C, C++, обсуждаемо). - Провести его анализ выбранными средствами.
В соответствии с требованиями (в отдельном файле), написать и оформить работу по выбранной теме. Объем работы от 30 стр. Недостающий объем можно покрыть терминологией по теме. В итоге должна быть построена модель, алгоритм проведения подобного анализа кода, сделать вывод об эффективности данных методов.
Нужно исполнение до двух недель. С промежуточными итогами.