| AssertionViolatedException.java |   | 45% |  | 0% | 6 | 9 | 13 | 20 | 3 | 6 | 0 | 1 |
| VerifierConstraintViolatedException.java |   | 63% |   | 50% | 5 | 8 | 8 | 17 | 2 | 5 | 0 | 1 |
| Utility.java |  | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 | 1 | 1 |
| ClassConstraintException.java |  | 0% | | n/a | 3 | 3 | 6 | 6 | 3 | 3 | 1 | 1 |
| VerificationException.java |   | 33% | | n/a | 2 | 3 | 4 | 6 | 2 | 3 | 0 | 1 |
| LocalVariableInfoInconsistentException.java |  | 0% | | n/a | 2 | 2 | 4 | 4 | 2 | 2 | 1 | 1 |
| LoadingException.java |  | 0% | | n/a | 2 | 2 | 4 | 4 | 2 | 2 | 1 | 1 |
| StaticCodeInstructionConstraintException.java |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 | 1 | 1 |
| InvalidMethodException.java |  | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 | 1 | 1 |
| CodeConstraintException.java |   | 57% | | n/a | 1 | 2 | 2 | 4 | 1 | 2 | 0 | 1 |
| StructuralCodeConstraintException.java |   | 57% | | n/a | 1 | 2 | 2 | 4 | 1 | 2 | 0 | 1 |
| LinkingConstraintException.java |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| StaticCodeConstraintException.java |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 | 0 | 1 |
| StaticCodeInstructionOperandConstraintException.java |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 | 0 | 1 |