Evnevich, Perminov, Belash, and Vnukov. 2008. “ Vulnerability Analysis of Program Code by Pattern Techniques”. SPIIRAS Proceedings, no. 7 (April), 160-69. https://doi.org/10.15622/sp.7.15.