Zobrazeno 1 - 5
of 5
pro vyhledávání: '"покрытие кода"'
Autor:
S. A. Asryan, S. S. Gaissaryan, Sh. F. Kurmangaleev, A. M. Aghabalyan, N. H. Hovsepyan, S. S. Sargsyan
Publikováno v:
Труды Института системного программирования РАН, Vol 30, Iss 3, Pp 7-20 (2018)
The article describes new method of use after free bug detection using program dynamic analysis. In memory-unsafe programming languages such as C/C++ this class of bugs mainly accurse when program tries to access specific area of dynamically allocate
Externí odkaz:
https://doaj.org/article/a29f4370e75941fa8bd1ea24d7c03ebf
Publikováno v:
Труды Института системного программирования РАН, Vol 28, Iss 3, Pp 189-208 (2018)
This paper regards problems of analysis and verification of complex modern operating systems, which should take into account variability and configurability of those systems. The main problems of current interest are related with conditional compilat
Externí odkaz:
https://doaj.org/article/051988d144b74df28a3b7648164caa76
Publikováno v:
Труды Института системного программирования РАН, Vol 28, Iss 3, Pp 189-208 (2018)
This paper regards problems of analysis and verification of complex modern operating systems, which should take into account variability and configurability of those systems. The main problems of current interest are related with conditional compilat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ee692e3a2f07fe579537af387b1c143a
https://doi.org/10.15514/ispras-2016-28(3)-12
https://doi.org/10.15514/ispras-2016-28(3)-12
Publikováno v:
Труды Института системного программирования РАН.
В данной работе рассматриваются проблемы верификации и анализа сложных операционных систем с учетом их вариабельности, или наличия бол
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2806::8d2d0ab88fde5463aab256709550570a
http://cyberleninka.ru/article/n/verifikatsiya-i-analiz-variabelnyh-operatsionnyh-sistem
http://cyberleninka.ru/article/n/verifikatsiya-i-analiz-variabelnyh-operatsionnyh-sistem
Publikováno v:
Программные продукты и системы.
В работе дается описание оригинальной методики для динамического анализа уязвимостей в бинарном коде, которая позволяет проводить тес
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2806::29d2ece75fb623e5c647ec0e10b2dda1
http://cyberleninka.ru/article/n/metodika-i-programmnyy-kompleks-dlya-dinamicheskogo-poiska-uyazvimostey-v-binarnom-kode
http://cyberleninka.ru/article/n/metodika-i-programmnyy-kompleks-dlya-dinamicheskogo-poiska-uyazvimostey-v-binarnom-kode