Class TaintedDefinition

Warning: Advanced feature. Users are strongly recommended to use TaintSource instead. A source of taintedness on the ESSA data-flow graph. Users of the taint tracking library can override this class to provide their own sources on the ESSA graph.

Import path

import semmle.python.dataflow.old.TaintTracking

Direct supertypes

EssaNodeDefinition

Indirect supertypes

Predicates

isSourceOf	Holds if `this` is a source of taint kind `kind`
isSourceOf	Holds if `this` is a source of taint kind `kind` for the given context. Generally, this should not need to be overridden; overriding `isSourceOf(kind)` should be sufficient.

Inherited predicates

definedBy		from EssaNodeDefinition
getAPrimaryQlClass	Gets the name of the primary QL class for this element.	from EssaNodeDefinition
getAUse	Gets a use of this definition as defined by the `SsaSourceVariable` class.	from EssaNodeDefinition
getBasicBlock		from EssaNodeDefinition
getDefiningNode	Gets the ControlFlowNode corresponding to this definition	from EssaNodeDefinition
getLocation	Gets the location of a control flow node that is indicative of this definition. Since definitions may occur on edges of the control flow graph, the given location may be imprecise. Distinct `EssaDefinitions` may return the same ControlFlowNode even for the same variable.	from EssaNodeDefinition
getRepresentation	Gets a representation of this SSA definition for debugging purposes. Since this is primarily for debugging and testing, performance may be poor.	from EssaNodeDefinition
getScope		from EssaNodeDefinition
getSourceVariable	Gets the source variable for which this a definition, either explicit or implicit.	from EssaNodeDefinition
getVariable		from EssaDefinition
reachesEndOfBlock	Holds if this definition reaches the end of `b`.	from EssaNodeDefinition
toString	Gets a textual representation of this element.	from EssaNodeDefinition