Шудрак, М.О., Золотарев, В.В.: Модель, алгоритмы и программный комплекс автоматизированного поиска уязвимостей в исполняемом коде. Труды СПИИРАН 5(42), 212-231 (2015). doi:10.15622/sp.42.11