Технологии статического анализа, позволяющие находить хитрые ошибки

День 2 /  / Зал 3  /  RU /

Комментарий Программного комитета:

Статический анализ не только для разработчиков! Доклад Андрея — про ценность этой практики для всех, кто озабочен вопросами качества продукта.

Одной из технологий выявления ошибок на ранних этапах является статический анализ кода. К сожалению, ряд инструментов реализуют анализ весьма поверхностно, что снижает доверие к методологии статического анализа в целом. Некоторые программисты начинают думать, что анализ кода — это нечто, базирующееся на регулярных выражениях. На самом деле всё гораздо сложнее и интересней. Профессиональные анализаторы кода используют различные алгоритмы и технологии, позволяющие выявлять даже хитрые ошибки.

Цель доклада — рассказать о том, как работают статические анализаторы кода, и показать, какие ошибки они могут находить, используя data-flow анализ и другие технологии.


Наши контакты