Испорченный, потенциально искалеченные, или целочисленные значения вне основной области используются в ограниченном приемнике
Испорченный, потенциально искалеченные, или целочисленные значения вне основной области используются в ограниченном приемнике. [1]
Это средство проверки проверяет на эти проблемы:
Испорченный размер массива переменной длины.
Указатель разыменовывает с испорченным смещением.
Доступ к массиву с испорченным индексом.
Разрешимость: неразрешимый |
[1] Выписки из стандарта "Техническая характеристика ISO/IEC TS 17961 - 2013-11-15" воспроизводятся с соглашением о AFNOR. Только исходный и полный текст стандарта, как опубликовано Выпусками AFNOR - доступный через веб-сайт www.boutique.afnor.org - имеет нормативное значение.