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