Например, Бобцов

Development of buffer overflow detection algorithms for C/C++ programs

Сборник тезисов
Конференция:VI Всероссийский конгресс молодых ученых
Раздел:Экономика и гуманитарные науки
Рубрика:Иностранный язык как средство современного научного и профессионального общения
Год:2016

Development of buffer overflow detection algorithms for C/C++ programs

УДК:004.056.2

Аннотация

This study has performed the research of static analyzers approaches to BOF vulnerabilities. Advantages and drawbacks of existing solutions have been revealed and analyzed. A new algorithm for BOF detection has been proposed and implemented. This algorithm can find a bigger range of errors than existing solutions and has a small amount of false positives. The proposed solution is scalable and can handle big real-world applications consisting of hundreds of thousands lines of codes which makes it suitable for the use by other C/C++ developers all over the world.

Материалы конференций