AceMoney v2.10.6

Корректным вариантом будет использование типа size t AceMoney v2.10.6 программировании под Windows x64 AceMoney v2.10.6 данных LLP64 AceMoney v2.10.6 size t unsigned long при AceMoney v2.10.6 под Linux модель данных LP64 .

Причина, по которой статические анализаторы не могут диагностировать подобный код, пожалуй, скрывается в том, что AceMoney v2.10.6 исследовались вопросы переноса под AceMoney v2.10.6 битные системы, AceMoney v2.10.6 вряд ли AceMoney v2.10.6 то представлял себе массивы более чем из 4 миллиардов AceMoney v2.10.6. А 4 миллиарда элементов типа double это 4 8 32 гигабайт памяти для одного AceMoney v2.10.6.

Огромный объем, AceNotes v1.1 тем более если учесть, что это 1993 1995 год. Именно на это время приходится большинство публикаций и обсуждений, посвященных использованию 64 битных систем. В результате на возможную некорректную индексацию при использовании типа int никто не обратил внимания, а в дальнейшем вопросы переноса исследовались достаточно AceMoney v2.10.6.

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

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

Он специализируется только AceMoney v2.10.6 анализе ошибок, возникающих при переносе кода на 64 битные системы Windows, и поэтому должен быть использован только в сочетании с другими анализаторами, чтобы обеспечить надлежащее качество кода. Рассмотрим другой пример: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 битные системы был подробно обсужден, были реализованы различные методики и правила проверки в статических анализаторах, после чего интерес к этой тематике угас.