A taint propagating data flow edge arising from string concatenations.
Note that since we cannot easily distinguish string append from addition,
we consider any +
operation to propagate taint.
Direct supertypes
Indirect supertypes
Predicates
step | Holds if |
Inherited predicates
accessesGlobal | Holds if this data flow node accesses the global variable | from Node |
analyze | Gets type inference results for this data flow node. | from Node |
asExpr | Gets the expression corresponding to this data flow node, if any. | from Node |
getALocalSource | Gets a source node from which data may flow to this node in zero or more local steps. | from Node |
getAPredecessor | Gets a data flow node from which data may flow to this node in one local step. | from Node |
getASuccessor | Gets a data flow node to which data may flow from this node in one local step. | from Node |
getAstNode | Gets the expression or declaration this node corresponds to. | from ValueNode |
getBasicBlock | Gets the basic block to which this node belongs. | from ValueNode |
getContainer | Gets the container in which this node occurs. | from Node |
getEndColumn | Gets the end column of this data flow node. | from Node |
getEndLine | Gets the end line of this data flow node. | from Node |
getFile | Gets the file this data flow node comes from. | from Node |
getStartColumn | Gets the start column of this data flow node. | from Node |
getStartLine | Gets the start line of this data flow node. | from Node |
hasLocationInfo | Holds if this element is at the specified location. The location spans column | from ValueNode |
isIncomplete | Holds if the flow information for this node is incomplete. | from Node |
mayHaveBooleanValue | Holds if this node may evaluate to the Boolean value | from Node |
mayHaveStringValue | Holds if this node may evaluate to the string | from ValueNode |
mayReferToParameter | Holds if this expression may refer to the initial value of parameter | from Node |
toString | Gets a textual representation of this element. | from ValueNode |