Agogo DVD To iPod Ripper v3.38

В результате ряд конструкций, появившихся в языке Си , был обделен вниманием с точки зрения контроля переносимости и не нашел своего отражения в анализаторах. Не учтен и Agogo DVD To iPod Ripper v3.38 других изменений, таких как, например, существенно возросший объем оперативной памяти и использование в разных компиляторах различных моделей данных LP64, LLP64, ILP64 11 .

Для наглядности рассмотрим пару Agogo Zune Video Converter v7.21 примеров:double DoubleArray;unsigned Index 0;while . 0f;Получить предупреждение на подобный код Вам Agogo DVD To iPod Ripper v3.38 удастся даже такими мощными анализаторами, как Agogo DVD To iPod Ripper v3.38 C test http: www.

Приведенный Agogo DVD To iPod Ripper v3.38 не вызывает никаких подозрений у рядового разработчика, привыкшего к Agogo DVD To iPod Ripper v3.38 использования в качестве индексов переменных типа int или unsigned. К сожалению, приведенный код на 64 битной системе будет неработоспособен, если объем обрабатываемого массива DoubleArray превысит размер в 4Gb элементов. В этом случае произойдет переполнение переменной Index, и результат работы программы будет некорректен. Корректным вариантом будет использование типа size t при программировании под Windows x64 модель данных LLP64 или size t unsigned long при программировании Agogo DVD To iPod Ripper v3.38 Linux модель данных LP64 . Причина, по которой статические анализаторы Agogo DVD To iPod Ripper v3.38 могут диагностировать подобный код, пожалуй, скрывается в том, что когда исследовались вопросы переноса под 64 битные системы, то Agogo DVD To iPod Ripper v3.38 ли кто то представлял себе массивы более чем из 4 миллиардов элементов. А 4 миллиарда элементов типа double это 4 8 32 гигабайт памяти для одного массива.

Огромный объем, тем более Agogo Video to iPod PSP Cell Phone Xbox Pocket PC PDA MP4 v3.40 если Agogo DVD To iPod Ripper v3.38, что это 1993 1995 год. Именно на это время приходится Agogo DVD To iPod Ripper v3.38 публикаций и обсуждений, посвященных использованию 64 битных систем.

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

И практически ни один статический анализатор не выдаст предупреждение на приведенный код. Исключением может служить, пожалуй, только анализатор Viva64 http: www. Он был разработан для того, чтобы закрыть пробелы в диагностике 64 битного Си Си кода другими анализаторами, и основан на вновь проведенных исследованиях. Но у него есть существенный недостаток, заключающийся в том, что это не анализатор общего назначения. Он специализируется только на анализе ошибок, возникающих при переносе кода на 64 битные системы Windows, и поэтому Agogo PSP Video Converter v7.21 должен Agogo DVD To iPod Ripper v3.38 использован только в сочетании с другими анализаторами, чтобы обеспечить надлежащее Agogo DVD To iPod Ripper v3.38 кода. Рассмотрим другой пример: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. Но всегда следует помнить о подобных подводных камнях при использовании статических анализаторов. Вопрос переноса программ на 64 битные системы был подробно обсужден, были реализованы различные методики и правила проверки в статических анализаторах, после чего интерес к этой тематике угас.

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