org.checkerframework.common.aliasing

Classes

• AliasingAnnotatedTypeFactory
• AliasingChecker
• AliasingTransfer
• AliasingVisitor