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

Сорока, Валерия Валентиновна. Статический анализ кода программно-аппаратного комплекса [Электронный ресурс]: бакалаврская работа: 09.03.01 / В. В. Сорока; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий ; науч. рук. В. В. Амосов. — Электрон. текстовые дан. (1 файл : 1,86 Мб). — Санкт-Петербург, 2017. — Загл. с титул. экрана. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/v17-5247.pdf>. — <URL:http://doi.org/10.18720/SPBPU/2/v17-5247>.

Дата создания записи: 27.10.2017

Тематика: DP-32; controlflowanalysis; модель программы; статический анализ кода; ПАК

Коллекции: Выпускные квалификационные работы; Общая коллекция

Ссылки: DOI

Разрешенные действия: Прочитать Загрузить (1,9 Мб) Для чтения документа необходим Flash Player

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

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

Аннотация

В данной работе рассматривается анализ потока управления как вид статического анализа кода. Рассматривается возможность применения бинарных отношений и механизмов графа для разработки программы статического анализа кода ПАК. Основное внимание уделяется реализации этих применений на поведенческой модели DP32.

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

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

Статистика использования документа

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