1. Shudrak M., Zolotarev V. A Model, Algorithms and Software Tool for Vulnerabilities Detection in Machine Code // SPIIRAS Proceedings. 2015. № 42 (5). C. 212-231.