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