![]() PVS-Studio, статический анализатор кода для 64-битного и параллельного программирования на Си/Си++
|
|
![]() ![]() ![]() ![]() ![]()
11.03.2010
Параллельные заметки N4 - продолжаем знакомиться с конструкциями OpenMP Продолжим знакомство с технологией OpenMP и рассмотрим некоторые функции и новые директивы.»
02.03.2010
Параллельные заметки №3 - базовые конструкции OpenMP Мы начинаем знакомить вас непосредственно с использованием технологии OpenMP и рассмотрим в этой заметке некоторые базовые конструкции.»
28.02.2010
Как стандарт C++0x поможет в борьбе с 64-битными ошибками Программисты видят в стандарте C++0x возможность использовать лямбда-функции и прочие мало понятные для меня сущности :).» ![]()
10.12.2009
Вопросы и ответы по PVS-Studio (PVS-Studio FAQ) В документе собраны некоторые вопросы и ответы по анализатору кода PVS-Studio компании ООО "СиПроВер".»
09.12.2009
Вопросы и ответы по библиотеке VivaCore (VivaCore FAQ) В документе собраны некоторые вопросы и ответы по библиотеке анализа Си/Си++ кода VivaCore компании ООО "СиПроВер".»
23.11.2009
PVS-Studio: использование функции "Mark as False Alarm"
В статье приведены описание и пример использования новой функции PVS-Studio 3.40 "Mark as False Alarm" ("Пометить как ложное срабатывание").» ![]() |
Терминология![]() size_tsize_t. Базовый беззнаковый целочисленный тип языка Си/Си++. Является типом результата, возвращаемого оператором sizeof. Размер типа выбирается таким образом, чтобы в него можно было записать максимальный размер теоретически возможного массива любого типа. На 32-битной системе size_t будет занимать 32-бита, на 64-битной - 64-бита. Другими словами в тип size_t может быть безопасно помещен указатель (исключение составляют указатели на функции классов, но это особый случай). Тип size_t обычно применяется для счетчиков циклов, индексации массивов, хранения размеров, адресной арифметики. Хотя в size_t можно помещать указатель, для этих целей лучше подходит другой беззнаковый целочисленный тип uintptr_t, само название которого отражает эту возможность. В ряде случаев использование типа size_t безопаснее и эффективнее, чем использование более привычного программисту типа unsigned. В терминах статического анализатора PVS-Studio тип size_t относится к memsize-типам. Анализатор включает в себя систему Viva64 для детального выявления ошибок в 64-битных программах и для оптимизации кода. И большое количество диагностических сообщений, выдаваемых анализатором Viva64, связанны именно с рекомендацией использования memsize-типов. Использование memsize типов (таких как size_t, ptrdiff_t, INT_PTR) в 64-битных программах, вместо 32-битных типов (int, unsigned) позволяет:
Более подробно об ошибках, которых можно избежать при использовании типа size_t, а также о том, как тип данных позволит улучшить и оптимизировать ваши 64-битные программы, вы можете познакомиться в статьях, приведенных в библиографическом списке. Если вы планируете заняться разработкой 64-битных проектов или переносом существующих 32-битных проектов на 64-битные системы, то предлагаем приобрести анализатор PVS-Studio, который существенно упростит эту задачу и позволит избежать длительного этапа поиска скрытых ошибок.
Библиографический список
|