Приватные байки от разработчиков анализатора кода

Андрей Карпов

Андрей Карпов к.ф.-м.н., технический директор компании ООО «Системы программной верификации». Имеет практический опыт разработки ресурсоемких параллельных приложений в области численного моделирования газодинамических процессов и визуализации больших объемов данных. На данный момент занят в создании специализированного статического анализатора кода PVS-Studio, предназначенного для создания эффективных ресурсоемких приложений. Является автором множества статей, посвященных вопросам написания безопасного 64-битного и параллельного кода на языке Си++. MVP в категории Visual C++.

Доклад о редких нестандартных расширениях языка С++, про которые никто не знает, но которые надо поддерживать в анализаторе кода.
О магии Visual C++ с файлом stdafx.h, когда проект компилируется, хотя не должен. О том как зародился viva64 (предшественник PVS-Studio) для поиска 64-битных проблем. Как и почему исчез анализ кода, который одно время существовал в компиляторе Intel C++.

Comments are closed.