Injector TUndefined
Represents the absence of a value. Used by points-to for tracking undefined variables
Import path
import semmle.python.objects.TObjectRepresents the absence of a value. Used by points-to for tracking undefined variables
import semmle.python.objects.TObject