Please use this identifier to cite or link to this item:
http://hdl.handle.net/11701/45895
Title: | Development of taint analysis for the KLEE symbolic machine |
Other Titles: | Разработка taint анализа для символьной машины KLEE |
Authors: | Мисонижник Александр Владимирович Misoniznik Aleksandr Vladimirovic Козловцева Мария Сергеевна Kozlovceva Maria Sergeevna Мордвинов Дмитрий Александрович Mordvinov Dmitrij Aleksandrovic |
Issue Date: | 2024 |
URI: | http://hdl.handle.net/11701/45895 |
Appears in Collections: | BACHELOR STUDIES |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
st068803.pdf | Article | 405,68 kB | Adobe PDF | View/Open |
reviewSV_Otzyv_naucnogo_rukovoditela_Kozlovceva.pdf | ReviewSV | 69,39 kB | Adobe PDF | View/Open |
reviewSV_st068803_Kozlovceva_Maria_Sergeevna_(supervisor)(Ru).txt | ReviewSV | 5,38 kB | Text | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.