Символьные предикаты безопасности в гибридном фаззингедоклад на конференции