PVS-Studio - статический анализатор исходного кода для поиска ошибок и уязвимостей в программах на языке C, C++ и C#. В статье
http://www.viva64.com/ru/b/0466/ я хочу дать обзор технологий, которые мы используем в анализаторе PVS-Studio для выявления ошибок в коде программ. Помимо общей теоретической информации я буду на практических примерах показывать, как та или иная технология позволяет выявлять ошибки.