Member predicate SummarizedCallable::propagatesFlowExt
DEPRECATED: Use propagatesFlow
instead.
predicate propagatesFlowExt(string input, string output, boolean preservesValue)
DEPRECATED: Use propagatesFlow
instead.
predicate propagatesFlowExt(string input, string output, boolean preservesValue)