Exponenta 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

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

Документация Polyspace Bug Finder

Поддержка