DvdInfoPro v2.26

К сожалению, приведенный код на 64 битной системе будет неработоспособен, если объем обрабатываемого массива DoubleArray превысит DvdInfoPro v2.26 в 4Gb элементов. В этом DvdInfoPro v2.26 произойдет переполнение переменной Index, и результат работы DvdInfoPro v2.26 будет некорректен.

Корректным вариантом будет использование DvdInfoPro v2.26 size t при DvdInfoPro v2.26 под Windows x64 модель данных LLP64 или size t unsigned long при программировании под Linux модель данных LP64 . Причина, по которой статические анализаторы не могут диагностировать подобный код, пожалуй, скрывается в том, что когда исследовались вопросы переноса под 64 битные системы, то вряд ли кто то представлял себе массивы более чем из 4 миллиардов элементов. А 4 миллиарда элементов типа double это 4 8 32 гигабайт памяти для одного массива. Огромный объем, тем более если учесть, что это 1993 1995 год. Именно на это DvdInfoPro v2.26 приходится большинство публикаций и обсуждений, посвященных использованию 64 битных систем. В результате DvdInfoPro v2.26 возможную некорректную DVDCreator v4.71 индексацию при использовании типа int никто DvdInfoPro v2.26 обратил внимания, а в дальнейшем вопросы переноса исследовались достаточно DvdInfoPro v2.26. И практически ни один статический анализатор не DvdInfoPro v2.26 предупреждение на приведенный код. Исключением может служить, пожалуй, только анализатор Viva64 http: www. Он был разработан для того, чтобы закрыть пробелы в диагностике 64 битного Си Си DvdInfoPro v2.26 другими анализаторами, и основан на вновь проведенных исследованиях. Но у него есть существенный недостаток, заключающийся в том, что это не анализатор общего назначения. Он специализируется только на анализе ошибок, возникающих при переносе кода на 64 битные системы Windows, и поэтому должен быть использован только в сочетании с другими анализаторами, чтобы обеспечить надлежащее качество кода. Рассмотрим другой пример:DvdInfoPro v2.26 p;long g long p;С помощью этого простого примера можно проверить, какие модели данных умеет понимать используемый вами статический анализатор. Проблема состоит в том, что большинство из них рассчитаны только на DvdInfoPro v2.26 данных LP64. Это DvdInfoPro v2.26 вызвано историей развития 64 битных систем. Именно модель данных DvdInfoPro v2.26 на начальных этапах развития 64 битных систем получила наибольшую популярность и сейчас широко используется в Unix мире. В этой модели данных тип long имеет размер 8 байт, а, значит, такой код полностью корректен. Но в 64 битных системах Windows реализована модель данных LLP64, где размер long остался 4 байтовым и, следовательно, приведенный код будет некорректен.

В Windows следовало бы, например, использовать тип LONG PTR или ptrdiff t. К счастью, приведенный код будет диагностироваться как опасный как самим компилятором Microsoft Visual C 2005, так и анализатором Viva64. Но всегда следует помнить о подобных подводных камнях при использовании статических анализаторов. Вопрос переноса программ на 64 битные системы был подробно обсужден, были реализованы различные методики и правила проверки в статических анализаторах, после чего интерес к этой тематике угас. Прошло много лет, многое изменилось, но правила, по которым осуществляется анализ, остаются без изменений и модификаций. Возможно, разработчики просто не замечают изменений, считая, что вопрос тестирования и проверки 64 битных приложений давно решен.

То, что было актуально 10 лет назад, сейчас может таковым не является, но зато появилось много нового. Используя средства статического анализа, убедитесь, что они совместимы с используемой Вами 64 битной моделью данных. Если DvdInfoPro v2.26 не удовлетворяет необходимым условиям, не поленитесь поискать другой или восполнить пробел, используя узконаправленный анализатор Viva64. Усилия, потраченные на это, с лихвой окупятся повышением надежности вашей программы, уменьшением сроков отладки и тестирования.