Injector TSummaryCall
A synthesized call inside a summarized callable
Import path
import semmle.python.dataflow.new.internal.DataFlowDispatch
TSummaryCall TSummaryCall(SummarizedCallable c, SummaryNode receiver)
A synthesized call inside a summarized callable
import semmle.python.dataflow.new.internal.DataFlowDispatch
TSummaryCall TSummaryCall(SummarizedCallable c, SummaryNode receiver)