Injector TSpecificInstance
An instance of cls, instantiated at instantiation given the context.
Import path
import semmle.python.objects.TObject
TSpecificInstance
TSpecificInstance
(
ControlFlowNode
instantiation
,
ClassObjectInternal
cls
,
PointsToContext
context
)