Exponenta Banner
exponenta event banner

Числовые дефекты

Дефекты для ошибок числового кодирования, деление на ноль, преобразование типа и операции отрицательного сдвига, библиотека стандартов математики

Эти дефекты являются ошибками, относящимися к переменным в вашем коде; их значения, типы данных и использование. Дефекты включают в себя:

  • Математические операции

  • Переполнение преобразования

  • Эксплуатационный переполнение

Результаты Polyspace

развернуть все

Absorption of float operandОдин операнд сложения или вычитания поглощается другим операндом
Bitwise operation on negative valueНеопределенное поведение для побитовых операций с отрицательными значениями
Float conversion overflowПереполнение при преобразовании между типами данных с плавающей запятой
Float division by zeroДеление числа с плавающей запятой на ноль
Float overflowПереполнение из операции между плавающими точками
Integer constant overflowЗначение константы выходит за пределы диапазона целочисленного типа данных
Integer conversion overflowПереполнение при преобразовании между целочисленными типами
Integer division by zeroДеление целого числа на ноль
Integer overflowПереполнение из операции между целыми числами
Integer precision exceeded Операция с целочисленным размером вместо точности может привести к неопределенному поведению
Invalid use of standard library floating point routineНеверные аргументы для стандартной библиотечной функции
Invalid use of standard library integer routineНеверные аргументы для стандартной библиотечной функции
Possible invalid operation on boolean operandОперация может превысить точность логического операнда или привести к произвольному значению
Precision loss from integer to float conversionНаименьшие значащие биты целого числа, потерянные при преобразовании в тип с плавающей запятой
Shift of a negative valueОператор сдвига при отрицательном значении
Shift operation overflowПереполнение из операции смены
Sign change integer conversion overflowПереполнение при преобразовании между целыми числами со знаком и без знака
Unsigned integer constant overflowЗначение константы выходит за пределы диапазона целочисленного типа данных без знака
Unsigned integer conversion overflowПереполнение при преобразовании между неподписанными целочисленными типами
Unsigned integer overflowПереполнение из операции между неподписанными целыми числами
Use of plain char type for numerical valueРавнина char переменная в арифметической операции без явной сигнатуры

Темы

Группы дефектов для поиска ошибок

Проверки дефектов Bug Finder подразделяются на такие группы, как поток данных, параллелизм, числовые и т. д.

Документация для поиска ошибок Polyspace

Поддержка