Predicate controlledString
Strings that are known to not include any special characters, due to being fully controlled by the programmer.
Import path
import semmle.code.java.security.ControlledString
predicate
controlledString
(
Expr
expr
)