Метод совмещения результатов статического и динамического анализа для цикла разработки безопасного программного обеспечения (Максим Мишечкин, OSDAY-2023)