Автоматизированный поиск багов в C и C++ (Александр Зайцев, LVEE-2018)