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

Module DataFlowDispatchPointsTo

INTERNAL: Do not use.

Points-to based call-graph.

Import path

import semmle.python.dataflow.new.internal.DataFlowDispatchPointsTo

Imports

ArgumentPassing

Computes routing of arguments to parameters

Predicates

getAnOutNode

Gets a node that can read the value returned from call with return kind kind.

parameterMatch

Holds if arguments at position apos match parameters at position ppos.

viableCallable

Gets a viable run-time target for the call call.

Classes

ArgumentPosition

An argument position represented by an integer.

ClassCall

Represents a call to a class. The pre-update node for the call is inserted as argument to the self parameter. That makes the call node be the post-update node holding the value of the object after the constructor has run.

DataFlowCall

A call that is taken into account by the global data flow computation.

DataFlowCallable

A callable.

DataFlowCallableValue

A class representing a callable value.

DataFlowLambda

A class representing a callable lambda.

DataFlowModuleScope

A class representing the scope in which a ModuleVariableNode appears.

ExtractedDataFlowCall

A call found in the program source (as opposed to a synthesised call).

ExtractedReturnNode

A data flow node that represents a value returned by a callable.

FunctionCall

A call to a function. This excludes calls to bound methods, classes, and special methods. Bound method calls and class calls insert an argument for the explicit self parameter, and special method calls have special argument passing.

LambdaCall

A call to a lambda.

LibraryCall

A call to a summarized callable, a LibraryCallable.

LibraryCallable

A callable defined in library code, identified by a unique string.

LibraryCallableValue
MethodCall

Represents a call to a bound method call. The node representing the instance is inserted as argument to the self parameter.

NormalCall

A call associated with a CallNode.

OutNode

A data-flow node that represents the output of a call.

ParameterNodeImpl

The value of a parameter at function entry, viewed as a node in a data flow graph.

ParameterPosition

A parameter position represented by an integer.

ReturnKind

A return kind. A return kind describes how a value can be returned from a callable. For Python, this is simply a method return.

ReturnNode

A data flow node that represents a value returned by a callable.

SpecialCall

A call to a special method.

SummaryCall

A synthesized call inside a callable with a flow summary.

SummaryNode

A data-flow node used to model flow summaries.

SummaryParameterNode

A parameter for a library callable with a flow summary.

Datatypes

TDataFlowCall

IPA type for DataFlowCall.

TDataFlowCallable

IPA type for DataFlowCallable.

Modules

ArgumentPassing

Computes routing of arguments to parameters