Predicate DataFlow::dataPreservingArgument

Library methods that return tainted data if one of their arguments is tainted.

predicate dataPreservingArgument(Method method, int arg)