...
The conditions checked by the Java assertions are reasonableare reasonable. However, the validation code is not executed when assertions are disabled.
...
Using assertions to validate method arguments can result in inconsistent computations, runtime exceptions, and control flow vulnerabilities.
Rule | Severity | Likelihood | Detectable | RepairableRemediation Cost | Priority | Level |
|---|---|---|---|---|---|---|
MET01-J | Medium | Probable | No | YesMedium | P8 | L2 |
Automated Detection
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Klocwork |
| JAVA.ASSERT.ARG |
Related Guidelines
...