Рубрики




Статьи → C/С++ → Статический анализ: ошибки в медиаплеере и безглючная аська

Продолжу экскурсию по ошибкам в программах и демонстрацию полезности статического анализа кода.

Это мой последний пост про пока недоступную для скачиванию версию PVS-Studio. Планирую, что через неделю вы уже сможете попробовать первую beta-версию с новым набором правил общего назначения.

Опубликовал admin
10 Дек, Пятница 2010г.

Статьи → C/С++ → Разница в подходах анализа кода компилятором и выделенным инструментом

У компилятора и сторонних инструментов статического анализа кода есть общая задача — выявление опасных фрагментов кода. Однако существует существенная разница в том, анализ какого типа они осуществляют. Я попробую на примере компилятора Intel C++ и анализатора PVS-Studio продемонстрировать различия подходов, и пояснить, чем они вызваны.

Опубликовал admin
2 Ноя, Вторник 2010г.

Статьи → C/С++ → 64 битная разработка → Сравнение возможностей PVS-Studio и Visual Studio 2010 по выявлению дефектов в 64-битных программах

В статье сравниваются три механизма анализа кода с точки зрения выявления 64-битных ошибок: компилятор Visual C++2010, компонент Code Analysis for C/C++ входящий в состав Visual Studio 2010 Premium/Ultimate и анализатор Viva64 входящий в состав PVS-Studio 3.60. Показаны возможности как по выявлению дефектов в 64-битных проектах, так и предварительной диагностики 64-битных ошибок еще в 32-битном проекте.

Опубликовал admin
29 Сен, Среда 2010г.

Статьи → C/С++ → Уроки разработки 64-битных приложений на языке Си/Си++ → Урок 08. Статический анализ для выявления 64-битных ошибок

Статический анализ кода - методология выявления ошибок в программном коде, основанная на просмотре программистом участков кода, помеченных статическим анализатором. Помеченные участки кода с большой вероятностью содержат ошибки определенного типа.

Опубликовал admin
29 Июл, Четверг 2010г.

Статьи → C/С++ → Статический анализ Си++ кода и новый стандарт языка C++0x

В статье рассмотрены новые возможности языка Си++, описанные в стандарте C++0x и поддержанные в Visual Studio 2010. На примере PVS-Studio рассмотрено, как изменения языка отразятся на инструментах статического анализа кода.

Опубликовал admin
10 Апр, Суббота 2010г.


RSS-материал

Программирование для чайников.