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