Class TaintTracking::DataFlowExtension::DataFlowVariable

Data flow variable that modifies the basic data-flow.

Direct supertypes

Indirect supertypes

Known direct subtypes

Predicates

getASuccessorNode

Gets a successor node for data-flow. Data (all forms) is assumed to flow from this to result Note: This is an unlikely form of flow. See DataFlowNode.getASuccessorNode()

getASuccessorVariable

Gets a successor variable for data-flow. Data (all forms) is assumed to flow from this to result.

prunedSuccessor

Holds if data cannot flow from this to succ, even though it would normally do so.

Inherited predicates

getASourceUse

Gets a use of this variable, where a “use” is defined by SsaSourceVariable.getASourceUse(). Note that this differs from EssaVariable.getAUse().

from EssaVariable
getAUse

Gets a use of this variable, where a “use” is defined by SsaSourceVariable.getAUse(). Note that this differs from EssaVariable.getASourceUse().

from EssaVariable
getDefinition

Gets the (unique) definition of this variable.

from EssaVariable
getName

Gets the name of this variable.

from EssaVariable
getRepresentation

Gets a string representation of this variable. WARNING: The format of this may change and it may be very inefficient to compute. To used for debugging and testing only.

from EssaVariable
getScope

Gets the scope of this variable.

from EssaVariable
getSourceVariable

Gets the source variable from which this variable is derived.

from EssaVariable
toStringfrom EssaVariable