Versions Compared

Key

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

...

Bytecode verification ensures that the bytecode contains many of the security checks mandated by the Java Language Specification. Omitting the verification step could permit execution of insecure Java code.

Rule

Severity

Likelihood

Detectable

RepairableRemediation Cost

Priority

Level

ENV04-J

High

Likely

No

NoLow

P27P9

L1L2

Automated Detection

Static checking of this rule is not feasible in the general case.

...