Class TaintTracking :: StringConcatenationTaintStep

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.

Import path


                                import javascript

Direct supertypes

SharedTaintStep

Indirect supertypes

TUnit
Unit

Predicates

stringConcatenationStep

Holds if pred → succ should be considered a taint-propagating data flow edge through string concatenation.

Inherited predicates

arrayStep	Holds if `pred` → `succ` should be considered a taint-propagating data flow edge through arrays.	from SharedTaintStep
deserializeStep	Holds if `pred` → `succ` should be considered a taint-propagating data flow edge through data deserialization, such as `JSON.parse`.	from SharedTaintStep
heapStep	Holds if `pred` → `succ` should be considered a taint-propagating data flow edge through the heap.	from SharedTaintStep
heuristicStep	Holds if `pred` → `succ` should be considered a taint-propagating data flow edge contributed by the heuristics library.	from SharedTaintStep
persistentStorageStep	Holds if `pred` → `succ` should be considered a taint-propagating data flow edge through persistent storage.	from SharedTaintStep
promiseStep	Holds if `pred` → `succ` should be considered a taint-propagating data flow edge through a promise.	from SharedTaintStep
serializeStep	Holds if `pred` → `succ` should be considered a taint-propagating data flow edge through data serialization, such as `JSON.stringify`.	from SharedTaintStep
step	Holds if `pred` → `succ` should be considered a taint-propagating data flow edge.	from SharedTaintStep
stringManipulationStep	Holds if `pred` → `succ` should be considered a taint-propagating data flow edge through string manipulation (other than concatenation).	from SharedTaintStep
toString	Gets a textual representation of this element.	from Unit
uriStep	Holds if `pred` → `succ` should be considered a taint-propagating data flow edge through URI manipulation.	from SharedTaintStep
viewComponentStep	Holds if `pred` → `succ` should be considered a taint-propagating data flow edge through the `state` or `props` or a React component.	from SharedTaintStep