Детальная информация

Название: Статический анализ кода программно-аппаратного комплекса: выпускная квалификационная работа бакалавра: 09.03.01 - Информатика и вычислительная техника ; 09.03.01_09 - Разработка программного обеспечения
Авторы: Выскарь Екатерина Александровна
Научный руководитель: Амосов Владимир Владимирович
Организация: Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Выходные сведения: Санкт-Петербург, 2018
Коллекция: Выпускные квалификационные работы; Общая коллекция
Тематика: статистический анализ кода; пак; анализ кода; таймер; механизмы
Тип документа: Выпускная квалификационная работа бакалавра
Тип файла: PDF
Язык: Русский
Код специальности ФГОС: 09.03.01
Группа специальностей ФГОС: 090000 - Информатика и вычислительная техника
Ссылки: Отзыв руководителя
DOI: 10.18720/SPBPU/2/v18-1381
Права доступа: Доступ по паролю из сети Интернет (чтение, печать, копирование)

Разрешенные действия:

Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети

Группа: Анонимные пользователи

Сеть: Интернет

Аннотация

В бакалаврской работе рассматривается анализ потока управления как один из видов статического анализа. Здесь применяются бинарные отношения и механизмы графа для анализа исходного кода, чтобы в дальнейшем реализовать программу статического анализа ПАК. Эти механизмы реализуются на примере таймера.

Права на использование объекта хранения

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все Прочитать Печать Загрузить
Интернет Авторизованные пользователи Прочитать Печать Загрузить
-> Интернет Анонимные пользователи

Статистика использования

stat Количество обращений: 105
За последние 30 дней: 0
Подробная статистика