Details

Title: Статический анализ кода программно-аппаратного комплекса: выпускная квалификационная работа бакалавра: 09.03.01 - Информатика и вычислительная техника ; 09.03.01_09 - Разработка программного обеспечения
Creators: Выскарь Екатерина Александровна
Scientific adviser: Амосов Владимир Владимирович
Organization: Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint: Санкт-Петербург, 2018
Collection: Выпускные квалификационные работы; Общая коллекция
Subjects: статистический анализ кода; пак; анализ кода; таймер; механизмы
Document type: Bachelor graduation qualification work
File type: PDF
Language: Russian
Speciality code (FGOS): 09.03.01
Speciality group (FGOS): 090000 - Информатика и вычислительная техника
Links: Отзыв руководителя
DOI: 10.18720/SPBPU/2/v18-1381
Rights: Доступ по паролю из сети Интернет (чтение, печать, копирование)

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

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

Document access rights

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

Usage statistics

stat Access count: 105
Last 30 days: 0
Detailed usage statistics