| AssertionViolatedException |  | 0% | | 0% | 9 | 9 | 20 | 20 | 6 | 6 | 1 | 1 |
| VerifierConstraintViolatedException | | 0% | | 0% | 8 | 8 | 17 | 17 | 5 | 5 | 1 | 1 |
| Utility | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 | 1 | 1 |
| VerificationException | | 0% | | n/a | 3 | 3 | 6 | 6 | 3 | 3 | 1 | 1 |
| ClassConstraintException | | 0% | | n/a | 3 | 3 | 6 | 6 | 3 | 3 | 1 | 1 |
| LoadingException | | 0% | | n/a | 2 | 2 | 4 | 4 | 2 | 2 | 1 | 1 |
| LocalVariableInfoInconsistentException | | 0% | | n/a | 2 | 2 | 4 | 4 | 2 | 2 | 1 | 1 |
| StructuralCodeConstraintException | | 0% | | n/a | 2 | 2 | 4 | 4 | 2 | 2 | 1 | 1 |
| CodeConstraintException | | 0% | | n/a | 2 | 2 | 4 | 4 | 2 | 2 | 1 | 1 |
| InvalidMethodException | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 | 1 | 1 |
| StaticCodeInstructionConstraintException | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 | 1 | 1 |
| StaticCodeConstraintException | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 | 1 | 1 |
| StaticCodeInstructionOperandConstraintException | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 | 1 | 1 |
| LinkingConstraintException | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |