title: Experimental investigation of context-free-language reachability algorithms as applied to static code analysis
metadata.name: dc.contributor.advisor
metadata.value: Беляев Михаил Анатольевич
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Belaev Mihail Anatolevic
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Кутуев Владимир Александрович
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Kutuev Vladimir Aleksandrovic
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: Григорьев Семен Вячеславович
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Grigorev Semen Vaceslavovic
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2023-07-26T12:44:25Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2023-07-26T12:44:25Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2023
metadata.name: dc.identifier.other
metadata.value: 054438
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/42628
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: Целью данной работы является экспериментальное исследование алгоритмов КС-достижимости в задаче статического анализа кода. В работе рассмотрены способы сведения анализа псевдонимов и Points-to анализа, учитывающего поля, к задаче КС-достижимости. Также предоставлен обзор решающих её алгоритмов, основанных на операциях линейной алгебры. Описаны модификация тензорного алгоритма и особенности её реализации, а также оптимизация реализации матричного алгоритма. Представлены и обощены результаты проведенных замеров производительности реализаций алгоритмов КС-достижимости.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: The purpose of this paper is to experimentally investigate CFL-reachability algorithms in the static code analysis problem. The paper discusses how to reduce alias analysis and fiel-sensitive points-to analysis, to the problem of CFL-reachability. A review of algorithms solving it based on linear algebra operations is also given. A modification of tensor algorithm and peculiarities of its implementation are described, as well as optimization of matrix algorithm implementation. The results of performance measurements of CFL-reachability algorithms implementations are presented and summarized.
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: статический анализ кода
metadata.lang: ru_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: graph analysis
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: context-free language reachability
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: static program analysis
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: sparse matrices
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: Kronecker product
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Experimental investigation of context-free-language reachability algorithms as applied to static code analysis
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Экспериментальное исследование алгоритмов контекстно-свободной достижимости применительно к задачам статического анализа кода
metadata.lang: ru_RU
resources.filename: Kutuev_Thesis.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/42628/2/Kutuev_Thesis.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 491,43 kB
resources.filename: reviewSV_Vladimir_Kutuev._Otzyv_naucnogo_rukovoditela_na_VKR_magistra.sgn.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/42628/3/reviewSV_Vladimir_Kutuev._Otzyv_naucnogo_rukovoditela_na_VKR_magistra.sgn.pdf
resources.format: Adobe PDF
resources.description: ReviewSV
resources.size: 61,39 kB
resources.filename: reviewSV_st054438_Kutuev_Vladimir_Aleksandrovic_(supervisor)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/42628/4/reviewSV_st054438_Kutuev_Vladimir_Aleksandrovic_%28supervisor%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 3,51 kB