For citations:
Ivanov G.S., Palchikov P.M., Tarasov A.Yu., Akimov G.S., Aslanyan H.K., Vardanyan V.G., Arutunyan M.S., Keropyan G.S. Research and development of interprocedural algorithms for defect searching in executable program code. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2019;31(6):89-98. (In Russ.) https://doi.org/10.15514/ISPRAS-2019-31(6)-5