Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/45895
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.advisor | Мисонижник Александр Владимирович | ru_RU |
dc.contributor.advisor | Misoniznik Aleksandr Vladimirovic | en_GB |
dc.contributor.author | Козловцева Мария Сергеевна | ru_RU |
dc.contributor.author | Kozlovceva Maria Sergeevna | en_GB |
dc.contributor.editor | Мордвинов Дмитрий Александрович | ru_RU |
dc.contributor.editor | Mordvinov Dmitrij Aleksandrovic | en_GB |
dc.date.accessioned | 2024-07-25T11:48:10Z | - |
dc.date.available | 2024-07-25T11:48:10Z | - |
dc.date.issued | 2024 | |
dc.identifier.other | 068803 | en_GB |
dc.identifier.uri | http://hdl.handle.net/11701/45895 | - |
dc.description.abstract | В современном мире важной характеристикой любого программного продукта является его надежность, поскольку с ростом кодовой базы растёт вероятность появления в коде уязвимостей и ошибок. Поэтому тестирование является важнейшей и неотъемлемой частью разработки любого программно- го продукта. Но с увеличением объема кода растут затраты на тестирование, поэтому важной задачей является автоматизация тестирования и поиска уяз- вимостей. Одним из эффективных подходов для автоматизации тестирования является символьное исполнение. Однако оно имеет недостатки при работе с внешними функциями. В данной работае будет реализован taint анализ для символьного исполнения для решения данной проблемы. | ru_RU |
dc.description.abstract | 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. | en_GB |
dc.language.iso | ru | |
dc.subject | taint | ru_RU |
dc.subject | анализ | en_GB |
dc.title | Development of taint analysis for the KLEE symbolic machine | en_GB |
dc.title.alternative | Разработка taint анализа для символьной машины KLEE | ru_RU |
Располагается в коллекциях: | BACHELOR STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
st068803.pdf | Article | 405,68 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_Otzyv_naucnogo_rukovoditela_Kozlovceva.pdf | ReviewSV | 69,39 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_st068803_Kozlovceva_Maria_Sergeevna_(supervisor)(Ru).txt | ReviewSV | 5,38 kB | Text | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.