Детальная информация
| Название | Статический анализ кода программно-аппаратного комплекса: бакалаврская работа: 09.03.01 |
|---|---|
| Авторы | Сорока Валерия Валентиновна |
| Научный руководитель | Амосов Владимир Владимирович |
| Организация | Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий |
| Выходные сведения | Санкт-Петербург, 2017 |
| Коллекция | Выпускные квалификационные работы ; Общая коллекция |
| Тематика | DP-32 ; controlflowanalysis ; модель программы ; статический анализ кода ; ПАК |
| Тип документа | Выпускная квалификационная работа бакалавра |
| Тип файла | |
| Язык | Русский |
| Уровень высшего образования | Бакалавриат |
| Код специальности ФГОС | 09.03.01 |
| Группа специальностей ФГОС | 090000 - Информатика и вычислительная техника |
| DOI | 10.18720/SPBPU/2/v17-5247 |
| Права доступа | Доступ по паролю из сети Интернет (чтение, печать, копирование) |
| Ключ записи | RU\SPSTU\edoc\46344 |
| Дата создания записи | 27.10.2017 |
Разрешенные действия
–
Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
| Группа | Анонимные пользователи |
|---|---|
| Сеть | Интернет |
В данной работе рассматривается анализ потока управления как вид статического анализа кода. Рассматривается возможность применения бинарных отношений и механизмов графа для разработки программы статического анализа кода ПАК. Основное внимание уделяется реализации этих применений на поведенческой модели DP32.
| Место доступа | Группа пользователей | Действие |
|---|---|---|
| Локальная сеть ИБК СПбПУ | Все |
|
| Интернет | Авторизованные пользователи СПбПУ |
|
| Интернет | Анонимные пользователи |
|
Количество обращений: 137
За последние 30 дней: 0
