Дефекты

Описания и примеры дефектов

Polyspace® Bug Finder™ дефект является результатом анализа, который идентифицирует конкретную ошибку кодирования или уязвимость. Используйте эти категории дефектов, чтобы понять ваши результаты.

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