JS: JsonParserTaintStep

This commit is contained in:
Asger Feldthaus
2020-03-27 15:29:02 +00:00
parent 301b5e6556
commit 107569ef41

View File

@@ -579,14 +579,12 @@ module TaintTracking {
/**
* A taint propagating data flow edge arising from JSON parsing.
*/
private class JsonParserTaintStep extends AdditionalTaintStep, DataFlow::CallNode {
JsonParserCall call;
JsonParserTaintStep() { this = call }
private class JsonParserTaintStep extends SharedTaintStep {
override predicate step(DataFlow::Node pred, DataFlow::Node succ) {
pred = call.getInput() and
succ = call.getOutput()
exists(JsonParserCall call |
pred = call.getInput() and
succ = call.getOutput()
)
}
}