Безкоштовний CppCat для студентів

Безкоштовний CppCat для студентів
CppCat — це статичний аналізатор коду, інтегрується в середовище Visual Studio 2010-2013. Аналізатор призначений для регулярного використання і дозволяє виявити безліч помилок і друкарських помилок в програмах на мові Сі і Сі++. З метою його популяризації ми вирішили видавати безкоштовні ліцензії всім студентам, які до нас звернуться. Достатньо надіслати фотографію студентського квитка або залікової книжки.

Пара слів про статичному аналізі коду
Інструменти статичного аналізу коду звертають увагу програміста на ті місця, які з високою ймовірністю містять помилку. Простий приклад:
double var_z;
....
var_z = ( var_z- 16 / 116 ) / 7.787;

З точки зору мови програмування, компілятора це коректний код. Цілком звичайна ситуація, коли при поділі цілочисельного 16 числа на ціле число 116 ми отримаємо 0. Таке буває потрібно. Однак, аналізатор дивиться більш широко і виявляє помилковий патерн. Якщо результат такого цілочисельного ділення потім використовується спільно з типом double, то це підозріло.

Аналізатор вкаже на це підозріле поділ попередженням: V636 The '16 / 116' expression was implicitly casted from 'int' type to 'double' type. Consider utilizing an explicit type cast to avoid the loss of a fractional part. An example: double A = (double)(X) / Y;. color.c 125

Швидше за все, слід було написати так:
var_z = ( var_z- 16.0 / 116.0 ) / 7.787;

Тепер значення дробу одно не 0, а 0,137931.

Можна розглядати інструменти статичного аналізу як розширення діагностик компілятора. На відміну від компілятора, аналізатори працюють з більш високорівневими конструкціями і, спираючись на эмпирику, намагаються вгадати, працює код так як задумував програміст чи ні.

Трохи про аналізаторі CppCat
CppCat — простий в налаштуванні і використанні статичний аналізатор коду. Він відмінно підходить на роль першого інструменту при знайомстві з інструментами статичного аналізу. Він поступається за функціональним можливостям своєму старшому братові PVS-Studio (див. порівняння). Але для більшості завдань його більш ніж достатньо. У будь-якому випадку, функціональності CppCat повністю достатньо для студентів і індивідуальних розробників.

Аналізатор інтегрується з Visual Studio 2010, 2012, 2013. На жаль, CppCat не вбудовується в Express editions. З цим нічого не можна вдіяти. Visual Studio Express editions не підтримують модулі розширення (плагіни).

Аналізатор підтримує: C, C++, C/CLI, C/CX.

Важливою особливістю є можливість автоматичного аналізу зміненого коду. Після компіляції змінених файлів CppCat у фоновому режимі запускає аналіз і видає попередження, якщо знайшов щось підозріле. Це дозволяє виявити помилки на самому ранньому етапі і тим самим заощадити час на її пошук і виправлення.

Скачати CppCat можна з сайту продукту: http://www.cppcat.com.

Як отримати ліцензію на CppCat
Використовуючи CppCat, ви набудете навички роботи з інструментами статичного аналізу і підвищите свою кваліфікацію. Статичні аналізатори все більше набирають популярність, і буде корисно вказати в резюме, що ви знайомі з цими інструментами.

Щоб отримати ліцензію, потрібно відправити нам на поштову скриньку team@cppcat.com фотографію або скан студентського квитка, залікової книжки або іншого документа, що підтверджує, що ви — студент. Приклад:

Скан студентського квитка для отримання PVS-Studio

Прохання у листі вказувати своє ім'я, прізвище та назву інституту, так як розібрати їх на фотографії може бути складно. Ці дані будуть використовуватися для генерації ключа.

Ліцензія діє 1 рік. Якщо в наступному році ви захочете продовжити користуватися CppCat, то повинні будете знову надіслати фотографію студентського квитка.

Якщо ви хочете поділитися з іноземними друзями інформацією про безкоштовної ліцензії, то можете отруїти їм посилання на англомовний варіант статті: Free CppCat for Students.

Джерело: Хабрахабр

0 коментарів

Тільки зареєстровані та авторизовані користувачі можуть залишати коментарі.