Module StringConcatenation::StringConcatenation

Predicates

getAnOperand

Gets an operand to the string concatenation defining node.

getFirstOperand

Gets the first operand to the string concatenation defining node.

getLastOperand

Gets the last operand to the string concatenation defining node.

getNumOperand

Gets the number of operands to the given concatenation.

getOperand

Gets the nth operand to the string concatenation defining node.

getRoot

Gets the root of the concatenation tree in which node is an operand or operator.

isCoercion

Holds if node is a string concatenation that only acts as a string coercion.

isRoot

Holds if node is the root of a concatenation tree, that is, it is a concatenation operator that is not itself the immediate operand to another concatenation operator.

taintStep

Holds if src flows to dst through the nth operand of the given concatenation operator.

taintStep

Holds if there is a taint step from src to dst through string concatenation.