title: Implementation of interval analysis using abstract interpretation for searching for vulnerabilities in JavaScript projects
metadata.name: dc.contributor.advisor
metadata.value: Кичин Егор Андреевич
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Kicin Egor Andreevic
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Выгузов Артем Андреевич
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Vyguzov Artem Andreevic
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:32Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2024-07-25T11:49:32Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2024
metadata.name: dc.identifier.other
metadata.value: 085118
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/46185
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: В рамках данной работы был спроектирован интервальный домен и реализован интервальный анализ для абстрактного интерпретатора проектов на языке JavaScript. В работе рассматриваются существующие абстрактные числовые домены, приводятся детали реализации интервального анализа на спроектированном домене и результаты сравнения с анализом распространения констант.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: In this work, an interval domain was designed and interval analysis was implemented for the abstract interpreter of JavaScript projects. The work examines existing abstract numerical domains, provides implementation details of interval analysis on the designed domain and results of comparison with constant propagation analysis.
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: abstract interpretation
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: constant propagation analysis
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: interval analysis
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Implementation of interval analysis using abstract interpretation for searching for vulnerabilities in JavaScript projects
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Реализация интервального анализа путём абстрактной интерпретации для поиска уязвимостей в проектах на языке JavaScript
metadata.lang: ru_RU
resources.filename: st085118.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/46185/2/st085118.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 377,9 kB
resources.filename: reviewSV_Vyguzov.docx
resources.url: https://dspace.spbu.ru/bitstream/11701/46185/3/reviewSV_Vyguzov.docx
resources.format: Microsoft Word XML
resources.description: ReviewSV
resources.size: 16,32 kB
resources.filename: reviewSV_st085118_Vyguzov_Artem_Andreevic_(supervisor)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/46185/4/reviewSV_st085118_Vyguzov_Artem_Andreevic_%28supervisor%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 4,6 kB