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

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

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.) https://doi.org/10.15514/ISPRAS-2018-30(5)-3