Module StringConcatenation
Import path
import javascript
Predicates
getAnOperand | Gets an operand to the string concatenation defining |
getFirstOperand | Gets the first operand to the string concatenation defining |
getLastOperand | Gets the last operand to the string concatenation defining |
getNumOperand | Gets the number of operands to the given concatenation. |
getOperand | Gets the |
getRoot | Gets the root of the concatenation tree in which |
isCoercion | Holds if |
isRoot | Holds if |
taintStep | Holds if there is a taint step from |
taintStep | Holds if |