Predicate getCallableForDataFlow
Gets a source declaration of callable c that has a body and is
defined in source.
Import path
import semmle.code.csharp.dataflow.internal.DataFlowDispatchGets a source declaration of callable c that has a body and is
defined in source.
import semmle.code.csharp.dataflow.internal.DataFlowDispatch