For citations:
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