C++

Программирование
С
 
+1
 
C++
CppCat – это статический анализатор кода, интегрирующийся в среду Visual Studio 2010-2013. Анализатор предназначен для регулярного использования и позволяет выявить множество ошибок и опечаток в программах на языке Си и Си++. С целью его популяризации мы решили выдавать бесплатные лицензии всем студентам, которые к нам обратятся. Достаточно прислать фотографию студенческого билета или зачётной книжки.

Пара слов о статическом анализе кода

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

[Код]

С точки зрения языка программирования и компилятора это корректный код. Вполне обычна ситуация, когда при делении целочисленного числа 16 на целочисленное число 116 мы получим 0. Такое бывает нужно. Однако, анализатор смотрит более широко и обнаруживает ошибочный паттерн. Если результат такого целочисленного деления потом используется совместно с типом double, то это подозрительно.

Анализатор укажет на это подозрительное деление предупреждением: V636 The '16 / 116' expression was implicitly casted from 'int' type...

Читать дальше
  Thunderbolt | 17:56, 16.11.2014 | Просмотров: 610 CppCat c++
С
 
+3
 
user posted image
Для подробного изучения 64-битных диагностик, мы решили в качестве эксперимента предложить ключ для PVS-Studio на 5 дней.

Демонстрационная версия PVS-Studio является полнофункциональной. Её достаточно для изучения и инструмента и знакомства с его возможностями. Пользователь может до 200 раз перейти к участкам кода, которые, по мнению анализатора, могут содержать ошибку. Мы думаем этого достаточно, чтобы инструмент понравился или нет.
[more]
Однако в случае поиска 64-битных ошибок, этого может быть недостаточно. Множество 64-битных предупреждений являются ложными или не могут приводить к ошибкам в данной программе. Поэтому, просмотрев 200 сообщений можно не успеть составить мнение об инструменте.


Читать дальше
  Thunderbolt | 17:10, 16.04.2013 | Просмотров: 827 pvs-studio с++ Си си++ статический анализ кода
Bookmark and Share
О хабе
Подписчиков: 120
advanced
Отправить