{"draftJsState":{"blocks":[{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Американская компания Electronic Arts Inc (EA) выложила в открытый доступ исходный код игр Command & Conquer: Tiberian Dawn и Command & Conquer: Red Alert. Этот код должен помочь игровым сообществам разрабатывать моды и карты, создавать пользовательские юниты и настраивать логику игрового процесса. У всех нас появилась уникальная возможность окунуться в историю разработки, которая очень сильно отличается от современной. Тогда не было сайта StackOverflow, удобных редакторов кода и мощных компиляторов. А ещё тогда не было статических анализаторов, и первое, с чем столкнётся сообщество, - это сотни ошибок в коде. Но с этим-то и поможет команда PVS-Studio, указав на места этих ошибок.","type":"unstyled","key":"dfbej"},{"data":{"image":{"id":"5f5a0b67d5e15d30de635be5"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"5dbbu"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Введение","type":"header-two","key":"50p5r"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Command & Conquer - серия компьютерных игр в жанре стратегии в реальном времени. Первая игра серии была выпущена в 1995 году. Компания Electronic Arts приобрела студию разработки этой игры только в 1998 год.","type":"unstyled","key":"8j2ad"},{"data":{},"depth":0,"entityRanges":[{"key":0,"length":12,"offset":66},{"key":1,"length":28,"offset":107}],"inlineStyleRanges":[],"text":"С тех пор вышло несколько игр и множество модов. Исходный код игр опубликовали вместе с выпуском коллекции Command & Conquer Remastered.","type":"unstyled","key":"cdids"},{"data":{},"depth":0,"entityRanges":[{"key":2,"length":10,"offset":50}],"inlineStyleRanges":[],"text":"Для поиска ошибок в коде использовался анализатор PVS-Studio. Это инструмент для выявления ошибок и потенциальных уязвимостей в исходном коде программ, написанных на языках С, C++, C# и Java.","type":"unstyled","key":"32at0"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Из-за большого объёма найденных проблем в коде, все примеры ошибок будут приведены в цикле из двух статей.","type":"unstyled","key":"a0j6c"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Опечатки и copy-paste","type":"header-two","key":"d0t0i"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V501 There are identical sub-expressions to the left and to the right of the '||' operator: dest == 0 || dest == 0 CONQUER.CPP 5576","type":"unstyled","key":"1av5o"},{"data":{"image":{"id":"5f607922249b32282b4ef2b8"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"8evn1"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":12,"offset":193,"style":"ITALIC"}],"text":"Начать обзор хочется с вечного copy-paste. В функции для копирования списков ни разу не проверили указатель на источник и 2 раза проверили указатель-назначение, потому что скопировали проверку dest == NULL и забыли заменить имя переменной.","type":"unstyled","key":"5q0a5"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V584 The 'Current' value is present on both sides of the '!=' operator. The expression is incorrect or it can be simplified. CREDITS.CPP 173","type":"unstyled","key":"19utk"},{"data":{"image":{"id":"5f60793a8b0f2342e556fce6"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"6i9o"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Анализатор обнаружил бессмысленное сравнение. Я полагаю, что там должно было быть что-то вроде:","type":"unstyled","key":"f9op7"},{"data":{"image":{"id":"5f60794f249b32282b4f3a10"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"9k7n2"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"но невнимательность победила.","type":"unstyled","key":"3kf33"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Точно такой же фрагмент кода скопирован в другую функцию:","type":"unstyled","key":"1p95"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V584 The 'Current' value is present on both sides of the '!=' operator. The expression is incorrect or it can be simplified. CREDITS.CPP 246","type":"unordered-list-item","key":"b7k50"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V524 It is odd that the body of 'Mono_Y' function is fully equivalent to the body of 'Mono_X' function. MONOC.CPP 753","type":"unstyled","key":"a5m9g"},{"data":{"image":{"id":"5f6079658b0f2342e55747ff"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"3dgsd"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":6,"offset":145,"style":"ITALIC"},{"length":5,"offset":168,"style":"ITALIC"},{"length":5,"offset":182,"style":"ITALIC"},{"length":9,"offset":198,"style":"ITALIC"}],"text":"Более объёмный фрагмент кода, который скопировали с последствиями. Согласитесь, кроме как с помощью анализатора, тут не заметишь, что из функции Mono_Y позвали функцию Get_X, вместо Get_Y. У класса MonoClass действительно есть 2 функции, отличающиеся одним символов. Скорее всего, мы нашли настоящую ошибку.","type":"unstyled","key":"cn8ip"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"И ниже по файлу нашёлся идентичный фрагмент кода:","type":"unstyled","key":"cj72r"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V524 It is odd that the body of 'Mono_Y' function is fully equivalent to the body of 'Mono_X' function. MONOC.CPP 1083","type":"unordered-list-item","key":"au7sf"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Ошибки с массивами","type":"header-two","key":"e6o99"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V557 Array overrun is possible. The '9' index is pointing beyond array bound. FOOT.CPP 232","type":"unstyled","key":"312vm"},{"data":{"image":{"id":"5f6079828169a87816de15cd"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"cc6if"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":4,"offset":116,"style":"ITALIC"},{"length":1,"offset":132,"style":"BOLD"},{"length":2,"offset":162,"style":"BOLD"}],"text":"Похоже, это отладочный метод, но сколько вреда он мог нанести психике разработчика история умалчивает. Здесь массив Path состоит из 9 элементов, а печатаются все 13.","type":"unstyled","key":"979hi"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Итого 4 обращения к памяти за границу массива:","type":"unstyled","key":"9u6pi"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V557 Array overrun is possible. The '9' index is pointing beyond array bound. FOOT.CPP 232","type":"unordered-list-item","key":"5gg4r"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V557 Array overrun is possible. The '10' index is pointing beyond array bound. FOOT.CPP 233","type":"unordered-list-item","key":"10tt"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V557 Array overrun is possible. The '11' index is pointing beyond array bound. FOOT.CPP 234","type":"unordered-list-item","key":"cg3p7"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V557 Array overrun is possible. The '12' index is pointing beyond array bound. FOOT.CPP 235","type":"unordered-list-item","key":"bjspm"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V557 Array underrun is possible. The value of '_SpillTable[index]' index could reach -1. COORD.CPP 149","type":"unstyled","key":"1tuhe"},{"data":{"image":{"id":"5f60799d249b32282b4fc5ab"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"14or9"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"На первый взгляд, пример сложный, но в нём легко разобраться после небольшого анализа.","type":"unstyled","key":"95k5e"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":13,"offset":21,"style":"ITALIC"},{"length":11,"offset":85,"style":"ITALIC"}],"text":"К двумерному массиву _MoveSpillage обращаются по индексу, который берётся из массива _SpillTable. А он внезапно содержит отрицательные значения. Возможно, доступ к данным организован по особой формуле и это то, что задумывал разработчик. Но я не уверен в этом.","type":"unstyled","key":"fjcf1"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V512 A call of the 'sprintf' function will lead to overflow of the buffer '(char *) ptr'. SOUNDDLG.CPP 250","type":"unstyled","key":"t0io"},{"data":{"image":{"id":"5f6079b25622142b93bae0e2"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"a65e9"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":11,"offset":138,"style":"ITALIC"},{"length":3,"offset":184,"style":"ITALIC"},{"length":6,"offset":202,"style":"ITALIC"},{"length":3,"offset":313,"style":"ITALIC"}],"text":"Внимательный читатель задастся вопросом, почему такая длинная строка сохранится в буфер из 4-х байт? А потому, что программист думал, что sizeof(100) вернёт что-то больше (как минимум 100). Но оператор sizeof возвращает размер типа и даже никогда не считает никакие выражения. Надо было написать просто константу 100, а ещё лучше использовать именованные константы, или другой тип для строк или указателя.","type":"unstyled","key":"chc92"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V512 A call of the 'memset' function will lead to underflow of the buffer 'Buffer'. KEYBOARD.CPP 96","type":"unstyled","key":"b82ur"},{"data":{"image":{"id":"5f6079c18169a87816de8567"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"audjp"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":26,"offset":75,"style":"ITALIC"}],"text":"Некий буфер очищается на 256 байт, хотя полный размер оригинального буфера 256*sizeof(unsigned short). Ошибочка.","type":"unstyled","key":"c2vlb"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Можно так ещё исправить:","type":"unstyled","key":"ft7b6"},{"data":{"image":{"id":"5f6079cf8b0f2342e557fee8"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"8hlon"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V557 Array overrun is possible. The 'QuantityB' function processes value '[0..86]'. Inspect the first argument. Check lines: 'HOUSE.H:928', 'CELL.CPP:2337'. HOUSE.H 928","type":"unstyled","key":"flu72"},{"data":{"image":{"id":"5f6079e48b0f2342e558238e"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"89avn"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":9,"offset":173,"style":"ITALIC"},{"length":12,"offset":341,"style":"ITALIC"},{"length":2,"offset":397,"style":"ITALIC"},{"length":3,"offset":497,"style":"ITALIC"}],"text":"В коде очень много глобальных переменных и очевидно, что в них легко запутаться. Предупреждение анализатора о выходе за границу массива выдаётся в месте обращения к массиву BQuantity по индексу. Размер массива – 84 элемента. Алгоритмы анализа потока данных в анализаторе помогли установить, что значение индекса приходит из другой функции – Goodie_Check. Там выполняется цикл с конечным значением 86. Следовательно, в этом месте постоянно происходит чтение 12 байт \"чужой\" памяти (3 элемента типа int).","type":"unstyled","key":"8oi5i"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V575 The 'memset' function processes '0' elements. Inspect the third argument. DLLInterface.cpp 1103","type":"unstyled","key":"2qdbk"},{"data":{"image":{"id":"5f6079f48169a87816dee234"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"b9f6i"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":6,"offset":126,"style":"ITALIC"}],"text":"По-моему, я многократно видел эту ошибку и в современных проектах. Программисты до сих пор путают 2-й и 3-й аргументы функции memset.","type":"unstyled","key":"49m33"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Ещё одно такое место:","type":"unstyled","key":"d040i"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V575 The 'memset' function processes '0' elements. Inspect the third argument. DLLInterface.cpp 1404","type":"unordered-list-item","key":"e1t69"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Про нулевые указатели","type":"header-two","key":"49h1q"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V522 Dereferencing of the null pointer 'list' might take place. DISPLAY.CPP 1062","type":"unstyled","key":"727tv"},{"data":{"image":{"id":"5f607a07249b32282b50758b"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"2o9it"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Явное обращение к нулевому указателю выглядит очень странно. Это место выглядит как опечатка и есть ещё несколько мест, которые стоит проверить:","type":"unstyled","key":"dgbr3"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V522 Dereferencing of the null pointer 'list' might take place. DISPLAY.CPP 951","type":"unordered-list-item","key":"4por5"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V522 Dereferencing of the null pointer 'unitsptr' might take place. QUEUE.CPP 2362","type":"unordered-list-item","key":"6u26q"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V522 Dereferencing of the null pointer 'unitsptr' might take place. QUEUE.CPP 2699","type":"unordered-list-item","key":"42vb6"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V595 The 'enemy' pointer was utilized before it was verified against nullptr. Check lines: 3689, 3695. TECHNO.CPP 3689","type":"unstyled","key":"9bted"},{"data":{"image":{"id":"5f607a16249b32282b508f55"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"khkr"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":5,"offset":10,"style":"ITALIC"}],"text":"Указатель enemy разыменовывают, а потом проверяют, что он ненулевой. До сих пор актуальная проблема, не побоюсь этого слова, каждого проекта с открытым исходным кодом. Уверен, что в проектах с закрытым кодом ситуация примерно такая же, если, конечно, не используется PVS-Studio ;-)","type":"unstyled","key":"bgvr2"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Неправильные касты","type":"header-two","key":"1acfq"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V551 The code under this 'case' label is unreachable. The '4109' value of the 'char' type is not in the range [-128; 127]. WINDOWS.CPP 547","type":"unstyled","key":"6b6o5"},{"data":{"image":{"id":"5f607a315622142b93bbb2e2"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"3rqbi"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":4,"offset":75,"style":"ITALIC"},{"length":4,"offset":120,"style":"ITALIC"},{"length":6,"offset":166,"style":"ITALIC"}],"text":"В этой функции происходит обработка вводимых символов. Как известно, в тип char помещается 1-байтовое значение, и числа 4109 там никогда не будет. Так, этот оператор switch просто содержит недостижимую ветку кода.","type":"unstyled","key":"fadfb"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Таких мест было найдено несколько:","type":"unstyled","key":"cnb6i"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V551 The code under this 'case' label is unreachable. The '4105' value of the 'char' type is not in the range [-128; 127]. WINDOWS.CPP 584","type":"unordered-list-item","key":"asp4e"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V551 The code under this 'case' label is unreachable. The '4123' value of the 'char' type is not in the range [-128; 127]. WINDOWS.CPP 628","type":"unordered-list-item","key":"eamgr"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V552 A bool type variable is being incremented: printedtext ++. Perhaps another variable should be incremented instead. ENDING.CPP 170","type":"unstyled","key":"dv0k7"},{"data":{"image":{"id":"5f607a46249b32282b50dfcb"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"ctmaf"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":4,"offset":88,"style":"ITALIC"}],"text":"В этом фрагменте кода анализатор нашёл применение операции инкремента к переменной типа bool. Это корректный код с точки зрения языка, но очень странно выглядит сейчас. Также такая операция помечена как deprecated, начиная cо стандарта C++17.","type":"unstyled","key":"bt34f"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Всего 2 таких места было выявлено:","type":"unstyled","key":"4jtkf"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V552 A bool type variable is being incremented: done ++. Perhaps another variable should be incremented instead. ENDING.CPP 187","type":"unordered-list-item","key":"608l6"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V556 The values of different enum types are compared. Types: ImpactType, ResultType. AIRCRAFT.CPP 742","type":"unstyled","key":"33vp8"},{"data":{"image":{"id":"5f607a57249b32282b50fced"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"8o7nr"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Программист завязал некую логику на сравнение значений разных перечислений. Технически это работает, т.к. сравниваются численные представления. Но такой код часто приводит к логическим ошибкам. Стоит поправить код (если этот проект ещё будут поддерживать, конечно).","type":"unstyled","key":"cp5e9"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Весь список предупреждений этой диагностики выглядит так:","type":"unstyled","key":"1uh05"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V556 The values of different enum types are compared: SoundEffectName[voc].Where == IN_JUV. DLLInterface.cpp 402","type":"unordered-list-item","key":"3fjl8"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V556 The values of different enum types are compared: SoundEffectName[voc].Where == IN_VAR. DLLInterface.cpp 405","type":"unordered-list-item","key":"eaisb"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V556 The values of different enum types are compared: Map.Theater == CNC_THEATER_DESERT. Types: TheaterType, CnCTheaterType. DLLInterface.cpp 2805","type":"unordered-list-item","key":"dj2lo"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V556 The values of different enum types are compared. Types: ImpactType, ResultType. AIRCRAFT.CPP 4269","type":"unordered-list-item","key":"6lr8c"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V556 The values of different enum types are compared: SoundEffectName[voc].Where == IN_VAR. DLLInterface.cpp 429","type":"unordered-list-item","key":"a6mds"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V716 Suspicious type conversion in assign expression: 'HRESULT = BOOL'. GBUFFER.H 780","type":"unstyled","key":"5erqo"},{"data":{"image":{"id":"5f607a688b0f2342e558ff9d"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"3nr09"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Тоже очень старая проблема, актуальная и в наши дни. Для работы с типом HRESULT существуют специальные макросы, а не используется приведение в BOOL и обратно. Эти два типа данных крайне похожи друг на друга с точки зрения языка, но логически несовместимы. Существующая в коде операция неявного приведения типов лишена смысла.","type":"unstyled","key":"5q4t3"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Это и ещё несколько мест стоило бы отрефакторить:","type":"unstyled","key":"fa815"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V716 Suspicious type conversion in assign expression: 'HRESULT = BOOL'. GBUFFER.H 817","type":"unordered-list-item","key":"fovku"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V716 Suspicious type conversion in assign expression: 'HRESULT = BOOL'. GBUFFER.H 857","type":"unordered-list-item","key":"cmmph"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V716 Suspicious type conversion in assign expression: 'HRESULT = BOOL'. GBUFFER.H 773","type":"unordered-list-item","key":"3b7mq"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V716 Suspicious type conversion in assign expression: 'HRESULT = BOOL'. GBUFFER.H 810","type":"unordered-list-item","key":"ekjsk"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V716 Suspicious type conversion in assign expression: 'HRESULT = BOOL'. GBUFFER.H 850","type":"unordered-list-item","key":"fulu2"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(~0)' is negative. MP.CPP 2410","type":"unstyled","key":"9ppnh"},{"data":{"image":{"id":"5f607a7d8b0f2342e5591e4b"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"38d5u"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":3,"offset":206,"style":"ITALIC"}],"text":"Здесь происходит сдвиг отрицательного числа влево, что является неопределённым поведением. Отрицательное число получается из нуля при применении оператора инверсии. Т.к. результат операции помещается в тип int, то компилятор использует его для хранения значения, а он знаковый.","type":"unstyled","key":"bd7dp"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"В 2020 году такую ошибку находит уже и компилятор:","type":"unstyled","key":"ac20m"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":98,"offset":0,"style":"ITALIC"}],"text":"Warning C26453: Arithmetic overflow: Left shift of a negative signed number is undefined behavior.","type":"unstyled","key":"qmr9"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Но компиляторы не являются полноценными статическими анализаторами, т.к. решают другие задачи. Поэтому вот ещё один пример неопределённого поведения, который выявляется только с помощью PVS-Studio:","type":"unstyled","key":"81d38"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The right operand ('(32 - bits_to_shift)' = [1..32]) is greater than or equal to the length in bits of the promoted left operand. MP.CPP 659","type":"unstyled","key":"7q3i7"},{"data":{"image":{"id":"5f607a8d5622142b93bc4eb4"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"9kl4s"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Анализатор обнаружил ситуацию, где потенциально возможен сдвиг вправо 32-х битного числа на большее количество разрядов, чем там есть. Вот, как это получается:","type":"unstyled","key":"dr3u6"},{"data":{"image":{"id":"5f607aa2249b32282b517e05"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"bigvk"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":8,"offset":10,"style":"ITALIC"},{"length":2,"offset":34,"style":"ITALIC"}],"text":"Константа UNITSIZE имеет значение 32:","type":"unstyled","key":"aaaps"},{"data":{"image":{"id":"5f607ab28169a87816e020f7"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"8pnqv"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":13,"offset":25,"style":"ITALIC"},{"length":4,"offset":74,"style":"ITALIC"},{"length":2,"offset":94,"style":"ITALIC"}],"text":"Так, значение переменной bits_to_shift будет равно нулю для всех значений bits, кратных числу 32.","type":"unstyled","key":"8mb22"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Следовательно, в этом фрагменте кода:","type":"unstyled","key":"7ppga"},{"data":{"image":{"id":"5f607ac18b0f2342e5599753"}},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"atomic:image","key":"c6pj8"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[{"length":2,"offset":57,"style":"ITALIC"},{"length":1,"offset":77,"style":"ITALIC"}],"text":"будет происходить сдвиг на 32 разряда, если из константы 32 будет вычитаться 0.","type":"unstyled","key":"4uhdp"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Список всех предупреждений PVS-Studio про сдвиги с неопределённым поведением:","type":"unstyled","key":"p7qf"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(~0)' is negative. TARGET.H 66","type":"unordered-list-item","key":"f939e"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 24) * 256) / 24)' is negative. ANIM.CPP 160","type":"unordered-list-item","key":"fn5ku"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 12) * 256) / 24)' is negative. BUILDING.CPP 4037","type":"unordered-list-item","key":"46ouu"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 21) * 256) / 24)' is negative. DRIVE.CPP 2160","type":"unordered-list-item","key":"9dp1g"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 21) * 256) / 24)' is negative. DRIVE.CPP 2161","type":"unordered-list-item","key":"6k7af"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 20) * 256) / 24)' is negative. DRIVE.CPP 2162","type":"unordered-list-item","key":"f338u"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 20) * 256) / 24)' is negative. DRIVE.CPP 2163","type":"unordered-list-item","key":"bg0f"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 18) * 256) / 24)' is negative. DRIVE.CPP 2164","type":"unordered-list-item","key":"cv1l6"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 18) * 256) / 24)' is negative. DRIVE.CPP 2165","type":"unordered-list-item","key":"9mpeg"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 17) * 256) / 24)' is negative. DRIVE.CPP 2166","type":"unordered-list-item","key":"8pc4n"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 16) * 256) / 24)' is negative. DRIVE.CPP 2167","type":"unordered-list-item","key":"8jrdv"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 15) * 256) / 24)' is negative. DRIVE.CPP 2168","type":"unordered-list-item","key":"9m235"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 14) * 256) / 24)' is negative. DRIVE.CPP 2169","type":"unordered-list-item","key":"1h2hm"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 13) * 256) / 24)' is negative. DRIVE.CPP 2170","type":"unordered-list-item","key":"41qs5"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 12) * 256) / 24)' is negative. DRIVE.CPP 2171","type":"unordered-list-item","key":"956lh"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 11) * 256) / 24)' is negative. DRIVE.CPP 2172","type":"unordered-list-item","key":"sklh"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 10) * 256) / 24)' is negative. DRIVE.CPP 2173","type":"unordered-list-item","key":"akfg8"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 9) * 256) / 24)' is negative. DRIVE.CPP 2174","type":"unordered-list-item","key":"a8vni"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 8) * 256) / 24)' is negative. DRIVE.CPP 2175","type":"unordered-list-item","key":"fsrd5"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 7) * 256) / 24)' is negative. DRIVE.CPP 2176","type":"unordered-list-item","key":"5qdq"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 6) * 256) / 24)' is negative. DRIVE.CPP 2177","type":"unordered-list-item","key":"cm70a"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 5) * 256) / 24)' is negative. DRIVE.CPP 2178","type":"unordered-list-item","key":"3999r"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 4) * 256) / 24)' is negative. DRIVE.CPP 2179","type":"unordered-list-item","key":"ajnhs"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 3) * 256) / 24)' is negative. DRIVE.CPP 2180","type":"unordered-list-item","key":"5bp3"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 2) * 256) / 24)' is negative. DRIVE.CPP 2181","type":"unordered-list-item","key":"emg5s"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 1) * 256) / 24)' is negative. DRIVE.CPP 2182","type":"unordered-list-item","key":"evh5s"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(((- 5) * 256) / 24)' is negative. INFANTRY.CPP 2730","type":"unordered-list-item","key":"epm49"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '>>'. The right operand ('(32 - bits_to_shift)' = [1..32]) is greater than or equal to the length in bits of the promoted left operand. MP.CPP 743","type":"unordered-list-item","key":"buod3"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(~0)' is negative. RANDOM.CPP 102","type":"unordered-list-item","key":"b1plt"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"V610 Undefined behavior. Check the shift operator '<<'. The left operand '(~0L)' is negative. RANDOM.CPP 164","type":"unordered-list-item","key":"86s7j"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Заключение","type":"header-two","key":"6cpug"},{"data":{},"depth":0,"entityRanges":[{"key":3,"length":7,"offset":113}],"inlineStyleRanges":[],"text":"Будем надеяться, что современные проекты Electronic Arts более качественные. Если нет, то приглашаем на наш сайт скачать и попробовать PVS-Studio на всех проектах.","type":"unstyled","key":"97b8e"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Кто-то может возразить, что и с таким качеством раньше делали крутые успешные игры, и отчасти с этим можно согласиться. Но не надо забывать, что конкуренция в разработке программ и игр многократно выросла за столько лет. Выросли и расходы на разработку, поддержку и рекламу. Следовательно, исправление ошибок на поздних этапах разработки влечёт за собой значительные финансовые и репутационные убытки.","type":"unstyled","key":"98mhs"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"Следите за нашим блогом, чтобы не пропустить 2-ю часть обзора к этой серии игр.","type":"unstyled","key":"eot4d"},{"data":{},"depth":0,"entityRanges":[{"key":4,"length":24,"offset":15}],"inlineStyleRanges":[],"text":"Первоисточник: Блог компании PVS-Studio.","type":"unstyled","key":"dfrmp"},{"data":{},"depth":0,"entityRanges":[],"inlineStyleRanges":[],"text":"","type":"marker","key":"2LN1YzAZdl9uc1Lyzmh7"}],"entityMap":{"0":{"data":{"href":"https://github.com/electronicarts/CnC_Remastered_Collection","url":"https://github.com/electronicarts/CnC_Remastered_Collection"},"mutability":"MUTABLE","type":"LINK"},"1":{"data":{"href":"https://www.ea.com/games/command-and-conquer/command-and-conquer-remastered","url":"https://www.ea.com/games/command-and-conquer/command-and-conquer-remastered"},"mutability":"MUTABLE","type":"LINK"},"2":{"data":{"href":"https://www.viva64.com/ru/pvs-studio/","url":"https://www.viva64.com/ru/pvs-studio/"},"mutability":"MUTABLE","type":"LINK"},"3":{"data":{"url":"http://www.viva64.com/ru/pvs-studio-download/?utm_source=zen&utm_medium=articles&utm_campaign=command_conquer&utm_term={device_type}"},"mutability":"MUTABLE","type":"LINK"},"4":{"data":{"url":"https://www.viva64.com/ru/b/0741/"},"mutability":"MUTABLE","type":"LINK"}}},"mentions":[]}