CodeFest
Справочная
31 марта–1 апреля
Новосибирск, 2012
CodeFest 2012 закрыт. До встречи в следующем году
Использование инструментов статического анализа при отладке и верификации безопасности ПО
Дмитрий Петунин,
Руководитель проекта Static Securuty Analyzer,
Intel
- Если каких-либо инструментов много и они стоят серьезных денег, значит это кому-нибудь нужно? Основные особенности работы и возможности статических анализаторов.
- Что делать, если ваш диагноз ложно-позитивный? Особенности диагностики статических анализаторов. Какая стратегия поиска ошибок в программах оптимальнее: «меньше знаешь крепче спишь» или «лучше два дня потеряем, потом за пять минут долетим»?
- Писать или не писать (тесты) — вот в чем вопрос! Как распределить ресурсы между созданием тестов и другими подходами обеспечения качества ПО?
- Я, ты, он, она ... Кто в проекте должен проводить статический анализ ПО? Модели использования статических анализаторов в процессе разработки ПО.
- Этот безопасный, безопасный, безопасный мир ПО. Роль статического анализа в модели разработки безопасного ПО. Опыт внедрения в компании Intel.
О докладчике:
Последние 3 года Дмитрий работает руководителем проекта Static Security Analyzer в комнании Intel. До этого 5 лет руководил отделом тестирования компиляторов и управления инфраструктурой разработчика в компании Intel. 7 лет работал в должности ведущего разработчика компиляторов Fortran, C++ по заказу компании Sun Microsystems. 2 года работал менеджером по развитию бизнеса компании UniPro.
Дмитрий окончил НГУ по специальности Математика в 1997г.
Кроме работы увлекается бильярдом, спортивными играми и КВН. Также является тренером по навыкам презентации, управлению проектами и коучингу.
- Партнёры
Стать партнёром
Генеральный партнёр CodeFest
Организатор CodeFest
