title: Using symbolic execution to verify the results of the static code analyzer for ArkTs language
metadata.name: dc.contributor.advisor
metadata.value: Куликов Егор Константинович
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Kulikov Egor Konstantinovic
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Мильшин Максим Сергеевич
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Milsin Maksim 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: 2024-07-25T11:49:51Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2024-07-25T11:49:51Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2024
metadata.name: dc.identifier.other
metadata.value: 086967
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/46302
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: Целью данной работы является создание решения для проведения различных видов статического анализа программ на языке ArkTS, а также верификация полученных вердиктов с помощью символьного исполнения. Для достижения этой цели были поставлены задачи по изучению экосистемы ArkTS, изучению и реализации алгоритмов анализа потока данных, созданию тестового набора программ, стабилизации ядра статического анализатора ArkTS, а также апробации анализатора на тестовой выборке и верификации результатов посредством символьного исполнения.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: The goal of this work is to develop a solution for conducting various types of static analysis of programs in the ArkTS language, as well as to verify the obtained verdicts using symbolic execution. To achieve this goal, tasks were set to study the ArkTS ecosystem, study and implement data flow analysis algorithms, create a test suite, stabilize the core of the ArkTS static analyzer, and test the analyzer on a sample set and verify the results using symbolic execution.
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: static analysis
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: symbolic execution
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: verification
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: data flow analysis
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Using symbolic execution to verify the results of the static code analyzer for ArkTs language
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Использование символьного исполнения для верификации результатов работы статического анализатора кода для языка ArkTs
metadata.lang: ru_RU
resources.filename: st086967.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/46302/2/st086967.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 583,27 kB
resources.filename: reviewSV_Milsin_Otzyv_naucnogo_rukovoditela.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/46302/3/reviewSV_Milsin_Otzyv_naucnogo_rukovoditela.pdf
resources.format: Adobe PDF
resources.description: ReviewSV
resources.size: 53,83 kB
resources.filename: reviewSV_st086967_Milsin_Maksim_Sergeevic_(supervisor)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/46302/4/reviewSV_st086967_Milsin_Maksim_Sergeevic_%28supervisor%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 5,96 kB