Viewtier Parabuild Enterprise v3.0.0.1071 MacOSX

В этом случае произойдет переполнение переменной Index, и результат Viewtier Parabuild Enterprise v3.0.0.1071 MacOSX программы будет некорректен. Корректным вариантом будет использование типа size t Viewtier Parabuild Enterprise v3.0.0.1071 MacOSX программировании под Windows x64 модель данных LLP64 или size t unsigned long при программировании Viewtier Parabuild Enterprise v3.0.0.1071 MacOSX Linux модель данных LP64 .

Причина, по которой статические анализаторы не могут диагностировать подобный код, пожалуй, скрывается в том, что когда исследовались Viewtier Parabuild Enterprise v3.0.0.1071 MacOSX переноса под 64 битные системы, то вряд ли Viewtier Parabuild Enterprise v3.0.0.1071 MacOSX то представлял Viewtier Parabuild Enterprise v3.0.0.1071 MacOSX массивы более чем из 4 миллиардов элементов. А 4 миллиарда элементов типа double это 4 8 32 гигабайт памяти для одного массива. Огромный объем, тем более если учесть, что это 1993 1995 год. Viewtier Parabuild Enterprise v3.0.0.1071 MacOSX на это время приходится большинство публикаций и обсуждений, посвященных использованию 64 битных систем. В результате на возможную некорректную индексацию при использовании типа int никто не обратил внимания, а в дальнейшем вопросы переноса исследовались достаточно редко. И практически ни один статический анализатор не выдаст предупреждение на приведенный код. Исключением может служить, пожалуй, только анализатор Viva64 http: www. Он был разработан для того, чтобы закрыть пробелы в диагностике 64 битного Си Си кода другими анализаторами, и основан Viewtier Parabuild Enterprise v3.0.0.1071 MacOSX вновь проведенных исследованиях.

Но у него есть существенный Viewtier Parabuild Enterprise v3.0.0.1071 MacOSX, заключающийся в том, что это не анализатор общего назначения. Он специализируется только на анализе ошибок, возникающих при переносе кода на 64 битные системы Windows, и поэтому должен быть использован Viewtier Parabuild Enterprise v3.0.0.1071 MacOSX в сочетании с другими анализаторами, чтобы обеспечить надлежащее качество кода. Рассмотрим другой пример:char p;long g long p;С помощью этого простого примера можно проверить, какие модели данных умеет понимать используемый вами статический анализатор. Проблема состоит в том, что большинство из них рассчитаны только на модель данных LP64. Это вновь вызвано историей развития 64 битных систем.

Именно модель данных LP64 на начальных этапах развития 64 битных систем получила наибольшую популярность и сейчас широко используется в Unix мире.

В этой модели данных тип long имеет размер 8 байт, а, значит, такой код полностью корректен.

Но в 64 битных системах Windows реализована модель данных LLP64, где размер long остался 4 байтовым и, следовательно, приведенный код будет некорректен.

В Windows следовало бы, например, использовать тип LONG PTR или ptrdiff t. К счастью, приведенный код будет диагностироваться как опасный как самим компилятором Microsoft Visual C 2005, так и анализатором Viva64. Но всегда следует помнить о подобных VirIT eXplorer Pro v5.2.48 подводных камнях при использовании статических анализаторов.

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