checkers.tainting
Annotation Types 
Untainted