Для цитирования:

Дудина И.А., Кошелев В.К., Бородин А.Е. Поиск ошибок доступа к буферу в программах на языке C/C++. Труды Института системного программирования РАН. 2016;28(4):149-168. https://doi.org/10.15514/ISPRAS-2016-28(4)-9

For citation:

Dudina I..., Koshelev V..., Borodin A... Statically detecting buffer overflows in C/C++. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2016;28(4):149-168. (In Russ.) https://doi.org/10.15514/ISPRAS-2016-28(4)-9