JS: ArrayFunctionTaintStep

This commit is contained in:
Asger Feldthaus
2020-03-27 15:35:25 +00:00
parent 7275707115
commit 8fe229fb08

View File

@@ -9,12 +9,9 @@ module ArrayTaintTracking {
/**
* A taint propagating data flow edge caused by the builtin array functions.
*/
private class ArrayFunctionTaintStep extends TaintTracking::AdditionalTaintStep,
DataFlow::CallNode {
ArrayFunctionTaintStep() { arrayFunctionTaintStep(_, _, this) }
private class ArrayFunctionTaintStep extends TaintTracking::SharedTaintStep {
override predicate step(DataFlow::Node pred, DataFlow::Node succ) {
arrayFunctionTaintStep(pred, succ, this)
arrayFunctionTaintStep(pred, succ, _)
}
}