Jova Sparbrief V2.1.0

Рассмотрим ситуацию на примере анализа Си кода как область, где статические анализаторы нашли наибольшее применение. Многие статические Jova Sparbrief V2.1.0 поддерживают ряд правил, связанных с Jova Sparbrief V2.1.0 кода, имеющего некорректное поведение при переносе его на 64 битные системы. Но реализуют Jova Sparbrief V2.1.0 это весьма Jova Sparbrief V2.1.0 методами и весьма неполно.

Особенно хорошо Jova Sparbrief V2.1.0 проявилось после начала массовой разработки приложений под Jova Sparbrief V2.1.0 битную версию ОС Windows в среде Microsoft Visual C 2005. Объяснением этому может служить тот Jova Konto v3.6.1 факт, что Jova Sparbrief V2.1.0 проверок основано на достаточно старых материалах по исследованию проблем переноса программ на 64 битные системы с точки зрения языка Си. В результате ряд конструкций, появившихся в языке Си , был обделен вниманием с точки зрения контроля переносимости и не нашел своего отражения в анализаторах. Не учтен и ряд других изменений, таких как, например, существенно возросший объем оперативной памяти и использование в разных компиляторах различных моделей данных LP64, LLP64, ILP64 11 . Для наглядности рассмотрим пару примеров:double DoubleArray;unsigned Index 0;while . 0f;Получить предупреждение на подобный код Вам не удастся даже такими мощными анализаторами, как Parasoft C test http: Jova Sparbrief V2.1.0.

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

Корректным вариантом будет использование типа size t при программировании под Windows x64 модель данных LLP64 или size t unsigned long при программировании под Linux модель данных LP64 . Причина, по которой статические анализаторы не могут диагностировать подобный код, пожалуй, скрывается в том, что когда исследовались вопросы переноса под 64 битные системы, то вряд ли кто то представлял себе массивы более чем из 4 миллиардов элементов. А 4 миллиарда элементов JoGoVERE v8.25 типа double это 4 8 32 гигабайт памяти для одного массива.

Огромный объем, тем более если учесть, что это 1993 1995 год.

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

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

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