Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/42628
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.advisor | Беляев Михаил Анатольевич | ru_RU |
dc.contributor.advisor | Belaev Mihail Anatolevic | en_GB |
dc.contributor.author | Кутуев Владимир Александрович | ru_RU |
dc.contributor.author | Kutuev Vladimir Aleksandrovic | en_GB |
dc.contributor.editor | Григорьев Семен Вячеславович | ru_RU |
dc.contributor.editor | Grigorev Semen Vaceslavovic | en_GB |
dc.date.accessioned | 2023-07-26T12:44:25Z | - |
dc.date.available | 2023-07-26T12:44:25Z | - |
dc.date.issued | 2023 | |
dc.identifier.other | 054438 | en_GB |
dc.identifier.uri | http://hdl.handle.net/11701/42628 | - |
dc.description.abstract | Целью данной работы является экспериментальное исследование алгоритмов КС-достижимости в задаче статического анализа кода. В работе рассмотрены способы сведения анализа псевдонимов и Points-to анализа, учитывающего поля, к задаче КС-достижимости. Также предоставлен обзор решающих её алгоритмов, основанных на операциях линейной алгебры. Описаны модификация тензорного алгоритма и особенности её реализации, а также оптимизация реализации матричного алгоритма. Представлены и обощены результаты проведенных замеров производительности реализаций алгоритмов КС-достижимости. | ru_RU |
dc.description.abstract | 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. | en_GB |
dc.language.iso | ru | |
dc.subject | анализ графов | ru_RU |
dc.subject | контекстно-свободная достижимость | ru_RU |
dc.subject | статический анализ кода | ru_RU |
dc.subject | разреженные матрицы | ru_RU |
dc.subject | произведение Кронекера | ru_RU |
dc.subject | graph analysis | en_GB |
dc.subject | context-free language reachability | en_GB |
dc.subject | static program analysis | en_GB |
dc.subject | sparse matrices | en_GB |
dc.subject | Kronecker product | en_GB |
dc.title | Experimental investigation of context-free-language reachability algorithms as applied to static code analysis | en_GB |
dc.title.alternative | Экспериментальное исследование алгоритмов контекстно-свободной достижимости применительно к задачам статического анализа кода | ru_RU |
Располагается в коллекциях: | MASTER'S STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
Kutuev_Thesis.pdf | Article | 491,43 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_Vladimir_Kutuev._Otzyv_naucnogo_rukovoditela_na_VKR_magistra.sgn.pdf | ReviewSV | 61,39 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_st054438_Kutuev_Vladimir_Aleksandrovic_(supervisor)(Ru).txt | ReviewSV | 3,51 kB | Text | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.