| Class | Description | 
|---|---|
| SameLenAnnotatedTypeFactory | The SameLen Checker is used to determine whether there are multiple fixed-length sequences (such
 as arrays or strings) in a program that share the same length. | 
| SameLenChecker | An internal checker that collects information about the arrays that have the same length. | 
| SameLenTransfer | The transfer function for the SameLen checker. | 
| SameLenVisitor |