| Name | Description | Type | Package | Framework |
| SubtypingAnnotatedTypeFactory | Class | org.checkerframework.common.subtyping | Checker | |
| SubtypingChecker | A checker for type qualifier systems that only checks subtyping The annotation(s) are specified on the command line, using an annotation | Class | org.checkerframework.common.subtyping | Checker |