CoreInfra
- Мастер-трек "Инструменты управления процессом РБПО"
Программируемый фаззинг как инструмент глубокого тестирования сложных систем
Григорий Петросян, Технический директор CoreInfra
Фаззинг – один из наиболее полезных и практичных инструментов динамического анализа. В то же время, область применения "классического" фаззинга довольно узкая: в основном, поиск низкоуровневых проблем с помощью инструментов типа AddressSanitizer. Расскажем и покажем, как класс инструментов типа software defined fuzzer позволяет расширить сферу применения фаззинга и искать высокоуровневые логические уязвимости и ошибки в программах на примере решения CoreInfra AT1.
Адрес: 199178, г. Санкт-Петербург, Васильевский муниципальный округ, 5-я линия В.О., дом 70 литера А
AI × Верификация → Будущее.
Фокусом CoreInfra является разработка решений на стыке направлений ИИ и формальной верификации: сервис CoreInfra AI Hub предоставляет доступ к передовым агентам и моделям для программирования, а первый в мире программируемый полносистемный фаззер CoreInfra AT1 делает прикладную верификацию реальных систем доступной.