Информация о ресурсе
Автор(ы):
Васютин А. М.
Заглавие:
Расширение функциональности этапа статического анализа компилятора "clang" для верификации корректности значений указателей
: выпускная квалификационная работа, научный руководитель Малявко Александр Антонович
Выходные данные:
Новосибирск, 2025
Полный текст:
Тип:
выпускные квалификационные работы
Предметная область:
информатика и вычислительная техника
Кафедра/
подразделение-разработчик:
подразделение-разработчик:
каф. ВТ (факультет АВТФ)