?

Details
Table Card RUSMARC
Title: Статический анализ кода программно-аппаратного комплекса: бакалаврская работа: 09.03.01
Creators: Сорока Валерия Валентиновна
Scientific adviser: Амосов Владимир Владимирович
Organization: Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint: Санкт-Петербург, 2017
Collection: Выпускные квалификационные работы; Общая коллекция
Subjects: DP-32; controlflowanalysis; модель программы; статический анализ кода; ПАК
Document type: Bachelor graduation qualification work
File type: PDF
Language: Russian
Level of education: Bachelor
Speciality code (FGOS): 09.03.01
Speciality group (FGOS): 090000 - Информатика и вычислительная техника
DOI: 10.18720/SPBPU/2/v17-5247
Rights: Доступ по паролю из сети Интернет (чтение, печать, копирование)
Record key: RU\SPSTU\edoc\46344

Allowed Actions: –

Action 'Read' will be available if you login or access site from another network Action 'Download' will be available if you login or access site from another network

Group: Anonymous

Network: Internet

Annotation

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

Document access rights

Network User group Action
ILC SPbPU Local Network All Read Print Download
Internet Authorized users SPbPU Read Print Download
-> Internet Anonymous

Usage statistics

stat Access count: 135
Last 30 days: 1
Detailed usage statistics