title: Realization of dataflow analysis for Go applications
metadata.name: dc.contributor.advisor
metadata.value: Ицыксон Владимир Михайлович
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Icykson Vladimir Mihajlovic
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Тульчинский Александр Станиславович
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Tulcinskij Aleksandr Stanislavovic
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:50:06Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2024-07-25T11:50:06Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2024
metadata.name: dc.identifier.other
metadata.value: 087782
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/46398
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: В данной работе будет рассматриваться реализация анализа потока данных для проктов, написанных на языке Go. В качестве инструмента для анализа потока данных будет использована Java Compilation Database.
  
  В данной работе будет представлен инструмент для переноса структур данных из Go кода в Kotlin код, будет измерена его производительность, а также предложены дальнейшие способы оптимизации.
  
  Также будет представлен способ применения полученного представления внутри символьного интерпретатора языка Go поверх универсальной символьной виртуальной машины (USVM).
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: In this work, we will consider the implementation of dataflow analysis for Go applications. Java Compilation Database will be used as a tool for the dataflow analysis.
  
  In this work, a tool for converting data structures from Go code to Kotlin code will be presented, its performance will be measured, and further optimization methods will be proposed.
  
  We will also present a way to use the resulting representation inside the Go symbolic interpreter on top of the USVM.
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: Dataflow analysis
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: code generation
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: symbolic execution
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Realization of dataflow analysis for Go applications
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Реализация анализа потока данных приложений на языке Go
metadata.lang: ru_RU
resources.filename: st087782.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/46398/2/st087782.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 452,39 kB
resources.filename: reviewSV_Otzyv_naucnogo_rukovoditela_na_bakalavrskuu_Tulcinskogo_A_S_.docx
resources.url: https://dspace.spbu.ru/bitstream/11701/46398/3/reviewSV_Otzyv_naucnogo_rukovoditela_na_bakalavrskuu_Tulcinskogo_A_S_.docx
resources.format: Microsoft Word XML
resources.description: ReviewSV
resources.size: 7,89 kB
resources.filename: reviewSV_st087782_Tulcinskij_Aleksandr_Stanislavovic_(supervisor)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/46398/4/reviewSV_st087782_Tulcinskij_Aleksandr_Stanislavovic_%28supervisor%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 3,72 kB