checkers.tainting
Class TaintingAnnotatedTypeFactory
java.lang.Object
checkers.types.AnnotatedTypeFactory
checkers.types.BasicAnnotatedTypeFactory<TaintingChecker>
checkers.tainting.TaintingAnnotatedTypeFactory
public class TaintingAnnotatedTypeFactory
extends BasicAnnotatedTypeFactory<TaintingChecker>
Adds implicit and default Untainted
annotation, only if the user
does not explicitly insert them.
This factory will add the Untainted
annotation to a type if the
input is
- a string literal (Note: Handled by Unqualified meta-annotation)
- a string concatenation where both operands are untainted
Fields inherited from class checkers.types.AnnotatedTypeFactory |
annotations, atypes, elements, env, fromTreeCache, qualHierarchy, root, trees, types, uid, visitorState |
Methods inherited from class checkers.types.AnnotatedTypeFactory |
addAliasedAnnotation, aliasedAnnotation, annotateInheritedFromClass, canHaveAnnotatedTypeParameters, constructorFromUse, createLRUCache, declarationFromElement, fromClass, fromElement, fromElement, fromElement, fromExpression, fromMember, fromNewClass, fromTypeTree, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedTypeFromTypeTree, getBoxedType, getCurrentClassType, getCurrentMethodReceiver, getEnclosingType, getImplicitReceiverType, getPath, getQualifierHierarchy, getReceiver, getSelfType, getUnboxedType, getVisitorState, isMostEnclosingThisDeref, isWithinConstructor, postAsMemberOf, postInit, toAnnotatedType, toString, unify |
TaintingAnnotatedTypeFactory
public TaintingAnnotatedTypeFactory(TaintingChecker checker,
CompilationUnitTree root)
createTreeAnnotator
protected TreeAnnotator createTreeAnnotator(TaintingChecker checker)
- Description copied from class:
BasicAnnotatedTypeFactory
- Returns a
TreeAnnotator
that adds annotations to a type based
on the contents of a tree.
Subclasses may override this method to specify more appriopriate
TreeAnnotator
- Overrides:
createTreeAnnotator
in class BasicAnnotatedTypeFactory<TaintingChecker>
- Returns:
- a tree annotator