CodeQL library for Python

codeql/python-all 7.1.0 (changelog, source)

Class SsaVariableWithPointsTo

An extension of SsaVariable that provides points-to related methods.

Import path

import LegacyPointsTo

Direct supertypes

SsaVariable

Indirect supertypes

@py_ssa_var

Predicates

getAPrunedPhiInput	Gets an argument of the phi function defining this variable, pruned of unlikely edges.
getAQlClass
maybeUndefined	Whether this variable may be undefined

Inherited predicates

getAPhiInput	Gets an argument of the phi function defining this variable. This predicate uses the raw SSA form produced by the extractor. In general, you should use `getAPrunedPhiInput()` instead.	from SsaVariable
getAPredecessorBlockForPhi	Gets the incoming edges for a Phi node.	from SsaVariable
getAUse	Gets a use of this variable	from SsaVariable
getAnUltimateDefinition	Gets a variable that ultimately defines this variable and is not itself defined by another variable	from SsaVariable
getDefinition	Gets the definition (which may be a deletion) of this SSA variable	from SsaVariable
getFallbackGlobal	Gets the global variable that is accessed if this local is undefined. Only applies to local variables in class scopes.	from SsaVariable
getId	Gets the id (name) of this variable	from SsaVariable
getLocation		from SsaVariable
getPredecessorBlockForPhiArgument	Gets the edge(s) (result->this.getDefinition()) on which the SSA variable ‘input’ defines this SSA variable. For each incoming edge `X->B`, where `B` is the basic block containing this phi-node, only one of the input SSA variables for this phi-node is live. This predicate returns the predecessor block such that the variable ‘input’ is the live variable on the edge result->B.	from SsaVariable
getVariable	Gets the source variable	from SsaVariable
isSelf		from SsaVariable
reachableWithoutDefinition	Whether it is possible to reach a use of this variable without passing a definition	from SsaVariable
toString	Gets a textual representation of this element.	from SsaVariable