Member predicate SecurityOptions::isUserInput
This predicate should hold if the expression is directly computed from user input. Such expressions are treated as sources of taint.
predicate isUserInput(Expr expr, string cause)This predicate should hold if the expression is directly computed from user input. Such expressions are treated as sources of taint.
predicate isUserInput(Expr expr, string cause)