GlarySoft Glary Utilities PRO v2.2.1.62

Приведенный код не вызывает никаких подозрений у рядового разработчика, привыкшего к практике использования в качестве индексов переменных типа int или unsigned. К сожалению, приведенный код на 64 битной системе будет неработоспособен, если объем обрабатываемого массива DoubleArray превысит размер в 4Gb элементов. В этом случае произойдет переполнение переменной Index, и результат работы программы будет некорректен.

Корректным вариантом будет использование типа size t при программировании под Windows x64 модель данных LLP64 или size t unsigned long при программировании под Linux модель данных LP64 . Причина, по которой статические анализаторы не могут диагностировать подобный код, пожалуй, скрывается в том, что когда исследовались вопросы переноса Glary v2.2.1.62 Utilities GlarySoft Glacier pRO 64 битные системы, то вряд ли кто GlarySoft Glary Utilities PRO v2.2.1.62 представлял себе массивы более чем из 4 GlarySoft Glary Utilities PRO v2.2.1.62 элементов. А 4 миллиарда элементов типа double это 4 8 32 гигабайт памяти для одного массива. Огромный объем, тем более если учесть, что это 1993 1995 год. Именно на это время приходится большинство публикаций и обсуждений, посвященных использованию 64 битных систем. В результате на возможную некорректную индексацию при использовании типа int никто не обратил внимания, а в дальнейшем вопросы переноса исследовались достаточно редко. И Utilities GlarySoft v2.2.1.62 Glary PRO ни один статический анализатор не выдаст предупреждение на приведенный код. Исключением может служить, пожалуй, только анализатор Viva64 http: www. Он был разработан для того, чтобы закрыть пробелы в диагностике 64 битного Си Си кода GlarySoft Glary Utilities PRO v2.2.1.62 анализаторами, и основан на вновь проведенных исследованиях. Но у него GlarySoft Glary Utilities PRO v2.2.1.62 существенный недостаток, заключающийся в том, что это не Global Mapper v5.10 анализатор общего назначения. Он специализируется только на анализе ошибок, возникающих при переносе GlarySoft Glary Utilities PRO v2.2.1.62 на 64 битные системы Windows, и поэтому должен быть использован только в сочетании с другими анализаторами, чтобы обеспечить надлежащее качество кода.

Рассмотрим другой Glary v2.2.1.62 GlarySoft PRO Utilities:char p;long g long p;С помощью этого простого примера можно проверить, какие модели данных умеет понимать используемый вами статический анализатор. Проблема состоит в том, что большинство GlarySoft Glary Utilities PRO v2.2.1.62 них рассчитаны только на модель данных LP64.

Это вновь вызвано историей развития 64 битных систем. Именно модель данных LP64 на начальных этапах развития 64 битных систем получила наибольшую популярность и сейчас широко используется в Unix мире. В этой модели данных тип long имеет размер 8 байт, а, значит, такой код полностью корректен. Но в 64 битных системах Windows реализована модель данных LLP64, где размер long остался 4 байтовым и, следовательно, приведенный код Global Clipboard v2.1 будет некорректен. В Windows следовало бы, например, использовать тип LONG PTR или ptrdiff t. К счастью, приведенный код будет диагностироваться как опасный как самим компилятором GlarySoft Glary Utilities PRO v2.2.1.62 Visual C 2005, так и анализатором Viva64.