Методы и средства автоматизированного обнаружения уязвимостей в программах на языке С на основе статического анализа их исходных текстовдиссертация