DiscJuggler v1.05.320

Не учтен и ряд других изменений, таких как, например, DiscJuggler v1.05.320 возросший объем оперативной памяти и использование в разных DiscJuggler v1.05.320 различных моделей данных LP64, DiscJuggler v1.05.320, ILP64 11 . Для наглядности рассмотрим пару примеров:double DoubleArray;unsigned Index 0;while . 0f;Получить предупреждение на подобный код Вам не удастся даже такими мощными анализаторами, как Parasoft C test http: DiscJuggler v1.05.320. Приведенный код DiscJuggler v1.05.320 вызывает никаких подозрений у рядового разработчика, привыкшего к практике использования в качестве индексов переменных типа int или unsigned. К сожалению, приведенный код на 64 битной DiscJuggler v1.05.320 будет неработоспособен, если объем обрабатываемого массива DoubleArray превысит размер в DiscJuggler v1.05.320 элементов. В DiscJuggler v1.05.320 случае произойдет переполнение переменной Index, и результат работы программы будет некорректен. Корректным вариантом будет использование типа size t при программировании под Windows x64 модель данных LLP64 или size t unsigned long при программировании под Linux модель данных LP64 . Причина, по которой статические анализаторы не могут диагностировать подобный код, пожалуй, скрывается в том, что когда исследовались вопросы переноса под 64 битные системы, то вряд ли кто то представлял себе массивы более чем из 4 миллиардов элементов.

А 4 миллиарда элементов типа double это 4 8 32 гигабайт памяти для одного массива. Огромный объем, тем более если учесть, DiscJuggler v1.05.320 это 1993 1995 год. Именно на это время приходится большинство публикаций и обсуждений, посвященных использованию 64 битных систем.

В результате на возможную некорректную индексацию при использовании типа int никто не обратил внимания, а в дальнейшем вопросы переноса исследовались достаточно редко.

И практически ни один статический анализатор не DiscJuggler v1.05.320 предупреждение на приведенный код.

Исключением может служить, пожалуй, только анализатор Viva64 http: www.

Он был разработан для того, чтобы закрыть пробелы в диагностике 64 битного Си Си кода другими анализаторами, и основан на вновь проведенных исследованиях. Но у него есть существенный недостаток, заключающийся в том, что это не DiscBlaze v6.1.6 MacOSX UB анализатор общего назначения. Он специализируется только на анализе ошибок, возникающих при переносе кода на 64 битные системы Windows, и поэтому должен быть использован только в сочетании с другими анализаторами, чтобы обеспечить надлежащее качество кода. Рассмотрим другой пример:char p;long g long p;С помощью этого простого примера можно проверить, какие модели данных умеет понимать используемый вами статический анализатор.

Проблема состоит в том, что большинство из них рассчитаны только на модель данных LP64. Это DiscJuggler v1.05.320 вызвано историей развития 64 битных систем.

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