Эти дефекты являются ошибками, связанными с использованием памяти при статическом распределении памяти. Дефекты включают в себя:
Доступ к массивам за пределами их границ
Нулевые указатели
Отливка указателей
Arithmetic operation with NULL pointer | Арифметическая операция, выполненная на NULL указатель |
Array access out of bounds | Индекс массива вне границ во время доступа к массиву |
Buffer overflow from incorrect string format specifier | Спецификатор строкового формата вызывает переполнение буферного аргумента стандартных библиотечных функций |
Destination buffer overflow in string manipulation | Функция записывает в буфер со смещением больше размера буфера |
Destination buffer underflow in string manipulation | Функция записывает в буфер с отрицательным смещением от начала буфера |
Invalid use of standard library memory routine | Функция стандартной библиотечной памяти вызвана с недопустимыми аргументами |
Invalid use of standard library string routine | Вызов стандартной библиотечной строковой функции с недопустимыми аргументами |
Move operation on const object | std::move вызывается функция с объявленным объектом const или const& |
Null pointer | NULL указатель обнулен |
Pointer access out of bounds | Указатель, обособленный за пределами его границ |
Pointer or reference to stack variable leaving 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-family недоступен за пределами ее области действия |
Use of path manipulation function without maximum sized buffer checking | Буфер назначения getwd или realpath меньше, чем PATH_MAX байты |
Wrong allocated object size for cast | Выделенная память не соответствует указателю назначения |
Группы дефектов для поиска ошибок
Проверки дефектов Bug Finder подразделяются на такие группы, как поток данных, параллелизм, числовые и т. д.