FaultDetection-DeadCatchΒΆ

There shall be no dead exception handlers

Required inputs: IR, StaticSemanticAnalysis

This check detects catch blocks which are never triggered and thus are dead code.

Possible Messages

Key

Text

Severity

Disabled

dead_catch

Dead exception handler

None

False

Options