Эти дефекты являются ошибками, относящимися к использованию памяти, когда память статически выделяется. Дефекты включают:
Доступ к массивам вне их границ
Нулевые указатели
Кастинг указателей
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 | Стандартная функция библиотеки memory вызвана с недействительными аргументами |
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 | Указатель на локальную переменную оставляет переменную 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 | Выделенная память не совпадает с целевым указателем |
Средства проверки дефекта Bug Finder классифицируются в группы, такие как поток данных, параллелизм, числовой, и так далее.
