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

Дудина И.А., Малышев Н.Е. Об одном подходе к анализу строк в языке Си для поиска переполнения буфера. Труды Института системного программирования РАН. 2018;30(5):55-74.

For citation:

Dudina I.A., Malyshev N.E. An approach to the C string analysis for buffer overflow detection. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2018;30(5):55-74. (In Russ.)