Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: REM cost reform

...

Abrupt completion of a finally block masks any exceptions thrown inside the associated try and catch blocks.

Rule

Severity

Likelihood

Detectable

RepairableRemediation Cost

Priority

Level

ERR04-J

Low

Probable

Yes

MediumYes

P4P6

L3L2

Automated Detection

Tool
Version
Checker
Description
Coverity7.5PW.ABNORMAL_TERMINATION_ OF_FINALLY_BLOCKImplemented
Klocwork

Include Page
Klocwork_V
Klocwork_V

JD.FINRET
Parasoft Jtest
Include Page
Parasoft_V
Parasoft_V
CERT.ERR04.ARCF
CERT.ERR04.ATSF
Avoid using 'return's inside 'finally blocks if thare are other 'return's inside the try-catch block
Do not exit "finally" blocks abruptly
PVS-Studio

Include Page
PVS-Studio_V
PVS-Studio_V

V6051
SonarQube
Include Page
SonarQube_V
SonarQube_V
S1143Jump statements should not occur in "finally" blocks

Related Guidelines

MITRE CWE

CWE-459, Incomplete Cleanup
CWE-584, Return Inside finally Block

...