title: Development of the static analyzer based on symbolic execution
metadata.name: dc.contributor.advisor
metadata.value: Соболь Валентин
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Sobol Valentin
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Строганов Никита Сергеевич
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Stroganov Nikita Sergeevic
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: Шалымов Дмитрий Сергеевич
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Salymov Dmitrij Sergeevic
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2023-07-26T12:02:57Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2023-07-26T12:02:57Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2023
metadata.name: dc.identifier.other
metadata.value: 076433
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/42121
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: Данная выпускная квалификационная работа посвящена разработке статического анализатора кода для языка Java. Реализованный инструмент основан на автоматической генерации тестов с помощью символьного исполнения, а также техники taint-анализа, и позволяет обнаруживать серьезные ошибки в анализируемой программе, например, разыменование нулевого указателя, запись или чтение вне границ массива, целочисленное деление на ноль или SQL-инъекция.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: This thesis is devoted to the development of a static code analyzer for the Java language. The implemented tool is based on automatic test generation using symbolic execution, as well as taint analysis techniques, and allows you to detect crucial mistakes in the analyzed program, for example, dereferencing a null pointer, writing or reading outside the bounds of an array, integer division by zero or SQL-injection.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.name: dc.subject
metadata.value: статический анализ
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: символьное исполнение
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: taint-анализ
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: static analysis
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: symbolic execution
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: taint-analysis
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Development of the static analyzer based on symbolic execution
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Разработка статического анализатора на основе символьного исполнения
metadata.lang: ru_RU
resources.filename: st076433.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/42121/2/st076433.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 643,52 kB
resources.filename: reviewSV_st076433_Stroganov_Nikita_Sergeevic_(supervisor)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/42121/3/reviewSV_st076433_Stroganov_Nikita_Sergeevic_%28supervisor%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 3,12 kB