Дефекты
Описания и примеры дефектов
Дефект Finder™ ошибки Polyspace ® - это результат анализа, определяющий определенную ошибку кодирования или уязвимость. Используйте эти категории дефектов для понимания результатов.
- Числовые дефекты
Дефекты для ошибок числового кодирования, деление на ноль, преобразование типа и операции отрицательного сдвига, библиотека стандартов математики
- Дефекты статической памяти
Дефекты статических ошибок кодирования памяти, несвязанных массивов, нулевых указателей, стандартной памяти и библиотеки строк
- Дефекты динамической памяти
Дефекты динамического кодирования памяти, свободные указатели, утечки памяти, незащищенная память
- Дефекты программирования
Дефекты программирования ошибок кодирования, присваивание по сравнению с операторами равенства, несоответствие типов, обтекание, строковые массивы
- Дефекты потока данных
Дефекты для ошибок кодирования потока данных, недостижимый код, неинициализация, отсутствующие операторы возврата, бесполезные записи
- Дефекты безопасности
Недостатки, связанные со слабостью и уязвимостью системы безопасности
- Дефекты криптографии
Дефекты, связанные с неправильным использованием процедур криптографии OpenSSL
- Дефекты запятнанных данных
Дефекты, связанные с элементами кода из небезопасного источника
- Дефекты параллелизма
Дефекты, связанные с многозадачным кодом
- Объектно-ориентированные дефекты
Дефекты, связанные с объектно-ориентированным программированием C++, такие как проблемы проектирования классов или проблемы в иерархии наследования
- Недостатки управления ресурсами
Дефекты, связанные с обработкой ресурсов, такие как незакрытый поток файлов или использование закрытого потока файлов
- C++ Особые дефекты
Дефекты, связанные с исключениями C++ и их обработкой, такие как необработанное исключение в noexcept функция или непредвиденное исключение, вызванное throw заявление
- Дефекты рабочих характеристик
Дефекты, влияющие на производительность кода C++
- Дефекты надлежащей практики
Дефекты, которые позволяют наблюдать хорошие методы кодирования, такие как обнаружение жестко закодированного размера буфера памяти или неиспользуемых функциональных параметров