Cкачать презентацию

У компании Samsung Electronics есть огромное количество исходного кода, написанного на C/C++, и этот код нужно проверять для обнаружения дефектов или уязвимостей, которые сложно найти на этапе тестирования. Для этого большинство разработчиков используют инструменты статического анализа кода, которые позволяют найти подобные проблемы без исполнения самой программы. Один из этих инструментов — статический анализатор Clang, являющийся частью проекта с открытым кодом Clang C/++/Objective C. Этот доклад описывает использование статического анализатора Clang в компании Samsung Electronics, что было сделано для его улучшения, и какие результаты были получены с его помощью.

Евгений Павлов

Ведущий разработчик, ведущий инженер проекта, исследовательский институт Samsung

В 2009 окончил Стерлитамакскую Государственную Педагогическую Академию по специальности «Прикладная математика и информатика».

В 2014 году защитил кандидатскую диссертацию в МИРЭА по специальности «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей».

Основные интересы: статический анализ программ с целью обнаружения дефектов.