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Простая символьная переменная в арифметической операции без явного, со знаком

Темы

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

Средства проверки дефекта Средства поиска Ошибки классифицируются в группы, такие как поток данных, параллелизм, числовой, и так далее.

Документация Polyspace Bug Finder
Поддержка