Acereader Pro Deluxe Network v2.2x

Как это Acereader Pro Deluxe Network v2.2x странно, несмотря Acereader Pro Deluxe Network v2.2x все свои огромные Acereader Pro Deluxe Network v2.2x, длительный период разработки и практику использования, статические анализаторы оказались плохо готовы к поиску ошибок в 64 битных программах.

Рассмотрим ситуацию на примере анализа Си кода как область, где статические анализаторы нашли наибольшее применение.

Многие статические анализаторы поддерживают ряд правил, связанных с поиском кода, имеющего некорректное поведение при переносе его на 64 битные системы.

Но реализуют они это весьма разрозненными методами и весьма неполно.

Особенно хорошо это проявилось после начала массовой разработки приложений под 64 битную версию ОС Windows в среде Microsoft Visual C 2005. Объяснением Acereader Pro Deluxe Network v2.2x может служить тот факт, что большинство проверок основано на достаточно старых материалах по исследованию проблем Acereader Pro Deluxe AceReader v4.0 network v2.2x программ на 64 битные системы с точки зрения языка Acereader Pro Deluxe Network v2.2x. В результате ряд конструкций, появившихся в языке Си , был обделен вниманием с точки зрения контроля переносимости и не нашел своего отражения в анализаторах.

Не учтен и ряд других изменений, таких как, например, существенно возросший объем оперативной памяти и использование в разных компиляторах различных моделей данных LP64, LLP64, ILP64 11 . Для наглядности рассмотрим пару примеров:double DoubleArray;unsigned Index 0;while . 0f;Получить предупреждение на подобный код Вам не удастся даже такими мощными анализаторами, как Parasoft C test http: www.

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