CodeQL library for C#

Member predicate LibraryTypeDataFlow::callableFlow

Holds if data may flow from source to sink when calling callable c.

preservesValue indicates whether the value from source is preserved (possibly copied) to sink. For example, the value is preserved from x to x.ToString() when x is a string, but not from x to x.ToLower().

predicate callableFlow(CallableFlowSource source, CallableFlowSink sink, SourceDeclarationCallable c, boolean preservesValue)