...
Side-effects in assertions results in program behavior that depends on whether assertions are enabled or disabled.
Guideline Recommendation | Severity | Likelihood | Remediation Cost | Priority | Level |
|---|---|---|---|---|---|
EXP10EXP09-J | low | unlikely | low | P3 | L3 |
Automated Detection
Automated detection of assertion operands that contain locally-visible side-effects is straightforward. Some analyses could require programmer assistance to determine which method invocations could contain side-effects.
...