For citations:

Belyaev M.V., Shimchik N.V., Ignatyev V.N., Belevantsev A.A. Comparative analysis of two approaches to the static taint analysis. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2017;29(3):99-116. (In Russ.) https://doi.org/10.15514/ISPRAS-2017-29(3)-7