A summarized callable where the summary should be used for dataflow analysis.
Import path
import semmle.code.csharp.dataflow.internal.DataFlowDispatchA summarized callable where the summary should be used for dataflow analysis.
import semmle.code.csharp.dataflow.internal.DataFlowDispatch