Дефекты статического ЗУ

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

Результаты Polyspace

Arithmetic operation with NULL pointerАрифметическая операция выполняется на Нулевом указателе
Array access out of boundsИндекс массива вне ограничивает во время доступа к массиву
Buffer overflow from incorrect string format specifierСпецификатор формата строки заставляет буферный аргумент стандартных библиотечных функций переполняться
Destination buffer overflow in string manipulationФункция пишет, чтобы буферизовать при смещении, больше, чем buffer size
Destination buffer underflow in string manipulationФункция пишет, чтобы буферизовать при отрицательном смещении с начала буфера
Invalid use of standard library memory routineСтандартная функция библиотеки memory вызвана с недействительными аргументами
Invalid use of standard library string routineСтандартная строковая функция библиотеки вызвана недействительными аргументами
Null pointerНулевой указатель разыменовывается
Pointer access out of boundsУказатель разыменовывается вне его границ
Pointer or reference to stack variable leaving scopeУказатель на локальную переменную оставляет переменную scope
Subtraction or comparison between pointers to different arraysВычитание или сравнение между указателями вызывают неопределенное поведение
Unreliable cast of function pointerБросок указателя функции к другому указателю функции с различным аргументом или возвращает тип
Unreliable cast of pointerУказатель неявно бросок к другому типу данных
Use of automatic variable as putenv-family function argumentаргумент функции putenv-семейства, не доступный вне его осциллографа
Use of path manipulation function without maximum sized buffer checkingЦелевой буфер getwd или realpath меньшего размера, чем байты PATH_MAX
Wrong allocated object size for castВыделенная память не совпадает с целевым указателем

Темы

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

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