CodeQL library for C#

Member predicate SystemTupleFlow::callableFlow

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

sourceAp describes the contents of source that flows to sink (if any), and sinkAp describes the contents of sink that it flows to (if any).

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