Дефекты исключения C++

Дефекты связаны с исключениями C++ и их обработкой, такими как необработанное исключение в noexcept функциональная или непредвиденная исключительная ситуация повышена throw оператор

Эти дефекты связаны с обработкой исключения C++. Дефекты включают:

  • Испускание необработанного исключения от noexcept функция

  • Непредвиденная исключительная ситуация, возникающая во время построения объекта аргумента throw оператор

  • catch операторы, отлавливающие исключения значением вместо ссылкой

  • catch операторы, скрывающие последующий catch операторы.

Результаты Polyspace

Exception caught by valuecatch оператор принимает объект значением
Exception handler hidden by previous handlercatch оператор не достигнут из-за более раннего catch оператор для того же исключения
Noexcept function exits with exceptionФункции, заданные как noexcept, noexcept(true) или noexcept(<true condition>) выходы за исключением, которое вызывает аварийное завершение выполнения программы, ведя к утечке ресурсов и уязвимости системы обеспечения безопасности
Throw argument raises unexpected exceptionВыражение аргумента в throw оператор повышает непредвиденные исключительные ситуации, ведя к утечкам ресурсов и уязвимостям системы обеспечения безопасности

Темы

Группы дефекта Bug Finder

Средства проверки дефекта Bug Finder классифицируются в группы, такие как поток данных, параллелизм, числовой, и так далее.