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