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)