Эти дефекты являются ошибками, связанными с использованием памяти, когда память статически выделена. Дефекты включают:
Доступ к массивам за пределами их границ
Пустые указатели
Приведение указателей
Arithmetic operation with NULL pointer | Арифметическая операция, выполненная на NULL указатель |
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 | Вызов стандартной функции памяти библиотеки с недопустимыми аргументами |
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 классифицируются в такие группы, как поток данных, параллелизм, численный и так далее.
