JS: un-deprecate deleted deprecated class that defined taint-steps

This commit is contained in:
Erik Krogh Kristensen
2022-03-07 15:56:55 +01:00
parent e140548547
commit 6a28ddd9ec

View File

@@ -551,6 +551,19 @@ module TaintTracking {
}
}
/**
* A taint propagating data flow edge through persistent storage.
* Use `TaintTracking::persistentStorageStep` instead of accessing this class.
*/
private class PersistentStorageTaintStep extends SharedTaintStep {
override predicate persistentStorageStep(DataFlow::Node pred, DataFlow::Node succ) {
exists(PersistentReadAccess read |
pred = read.getAWrite().getValue() and
succ = read
)
}
}
/**
* A taint propagating data flow edge for assignments of the form `o[k] = v`, where
* one of the following holds: