Evnevich, Perminov, Belash, and Vnukov, (2008) “ Vulnerability analysis of program code by pattern techniques”, SPIIRAS Proceedings, (7), pp. 160-169. DOI: 10.15622/sp.7.15.