title: Development of taint analysis for the KLEE symbolic machine
metadata.name: dc.contributor.advisor
metadata.value: Мисонижник Александр Владимирович
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Misoniznik Aleksandr Vladimirovic
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Козловцева Мария Сергеевна
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Kozlovceva Maria Sergeevna
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: Мордвинов Дмитрий Александрович
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Mordvinov Dmitrij Aleksandrovic
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2024-07-25T11:48:10Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2024-07-25T11:48:10Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2024
metadata.name: dc.identifier.other
metadata.value: 068803
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/45895
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: В современном мире важной характеристикой любого программного
  продукта является его надежность, поскольку с ростом кодовой базы растёт
  вероятность появления в коде уязвимостей и ошибок. Поэтому тестирование
  является важнейшей и неотъемлемой частью разработки любого программно-
  го продукта. Но с увеличением объема кода растут затраты на тестирование,
  поэтому важной задачей является автоматизация тестирования и поиска уяз-
  вимостей. Одним из эффективных подходов для автоматизации тестирования
  является символьное исполнение. Однако оно имеет недостатки при работе с внешними функциями. В данной работае будет реализован taint анализ для символьного исполнения для решения данной проблемы.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: In the modern world, an important characteristic of any software
  product is its reliability, since as the code base grows, so does
  the likelihood of vulnerabilities and errors appearing in the code. Therefore testing
  is the most important and integral part of the development of any software
  th product. But as the volume of code increases, testing costs increase,
  Therefore, an important task is to automate testing and search for vulnerabilities.
  Visibility. One of the effective approaches for test automation
  is symbolic execution. However, it has disadvantages when working with external functions. In this work, taint analysis will be implemented for symbolic execution to solve this problem.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.name: dc.subject
metadata.value: taint
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: анализ
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Development of taint analysis for the KLEE symbolic machine
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Разработка taint анализа для символьной машины KLEE
metadata.lang: ru_RU
resources.filename: st068803.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/45895/2/st068803.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 405,68 kB
resources.filename: reviewSV_Otzyv_naucnogo_rukovoditela_Kozlovceva.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/45895/3/reviewSV_Otzyv_naucnogo_rukovoditela_Kozlovceva.pdf
resources.format: Adobe PDF
resources.description: ReviewSV
resources.size: 69,39 kB
resources.filename: reviewSV_st068803_Kozlovceva_Maria_Sergeevna_(supervisor)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/45895/4/reviewSV_st068803_Kozlovceva_Maria_Sergeevna_%28supervisor%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 5,38 kB