Shudrak, M. and Zolotarev, V. 2015. A Model, Algorithms and Software Tool for Vulnerabilities Detection in Machine Code. SPIIRAS Proceedings. 5, 42 (Oct. 2015), 212-231. DOI:https://doi.org/10.15622/sp.42.11.