JS: StringConcatStep

This commit is contained in:
Asger Feldthaus
2020-03-27 15:23:06 +00:00
parent 0fa66acdb8
commit 7a5f9f6a69

View File

@@ -421,11 +421,8 @@ module TaintTracking {
* Note that since we cannot easily distinguish string append from addition,
* we consider any `+` operation to propagate taint.
*/
class StringConcatenationTaintStep extends AdditionalTaintStep {
StringConcatenationTaintStep() { StringConcatenation::taintStep(_, this) }
class StringConcatenationTaintStep extends SharedTaintStep {
override predicate step(DataFlow::Node pred, DataFlow::Node succ) {
succ = this and
StringConcatenation::taintStep(pred, succ)
}
}