• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

ФИО студента
Название работы
Руководитель
Факультет
Программа
Оценка
Год защиты
Гильманова Элина Эдуардовна
Упрощенный подход к межпроцедурному анализу для статического обнаружения ошибок доступа к None-значениям в программах на языке Python
8
2016
Работа посвящена статическому анализу исходного кода программ написанных на языке программирования Python.

В работе рассмотрены основные методы и классификации статического анализа кода. Рассмотрены подходы внутрипроцедурного и межпроцедурного анализа. Также приведены особенности статического поиска ошибок в коде на языке с динамической типизацией Python.

Объектом разработки является модуль поиска ошибок обращения к None-значениям для инструмента TIRPAN (проект Института системного программирования РАН). Модуль позволяет обнаружить возможные ошибки обращения к None-значениям в программном коде до этапа его выполнения.

Работа содержит 44 страницы, 4 главы, 10 рисунков,6 таблицы, 22 источников, 4 приложения.

Ключевые слова: статический анализ, динамическая типизация, межпроцедурный анализ, Python, None.
Текст работы (работа добавлена 27 мая 2016г.)

Выпускные квалификационные работы (ВКР) в НИУ ВШЭ выполняют все студенты в соответствии с университетским Положением и Правилами, определенными каждой образовательной программой.

Аннотации всех ВКР в обязательном порядке публикуются в свободном доступе на корпоративном портале НИУ ВШЭ.

Полный текст ВКР размещается в свободном доступе на портале НИУ ВШЭ только при наличии согласия студента – автора (правообладателя) работы либо, в случае выполнения работы коллективом студентов, при наличии согласия всех соавторов (правообладателей) работы. ВКР после размещения на портале НИУ ВШЭ приобретает статус электронной публикации.

ВКР являются объектами авторских прав, на их использование распространяются ограничения, предусмотренные законодательством Российской Федерации об интеллектуальной собственности.

В случае использования ВКР, в том числе путем цитирования, указание имени автора и источника заимствования обязательно.

Расширенный поиск ВКР