Module TObject

Contains the internal algebraic datatype backing the various values tracked by the points-to implementation.

Import path

import semmle.python.objects.TObject

Imports

Predicates

call2
call3
class_method
common_module_name	Helper for missing modules to determine if name `x.y` is a module `x.y` or an attribute `y` of module `x`. This list should be added to as required.
isType	Holds if the object `t` is a type.
literal_instantiation
missing_imported_module
static_method
super_instantiation

Classes

ClassDecl

A declaration of a class, either a built-in class or a source definition This acts as a helper for ClassObjectInternal allowing some lookup without recursion.

Datatypes

TObject

Internal type backing ObjectInternal and Value See ObjectInternal.qll for an explanation of the API.