CodeQL library for Python
codeql/python-all 0.6.4 (changelog, source)
Search

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
method_binding
missing_imported_module
receiver

Helper for method_binding

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.