move clone model to Extend.qll

This commit is contained in:
Erik Krogh Kristensen
2021-05-18 13:16:41 +02:00
parent 1435ac715a
commit 06514a2bb6
3 changed files with 14 additions and 16 deletions

View File

@@ -78,7 +78,6 @@ import semmle.javascript.frameworks.ComposedFunctions
import semmle.javascript.frameworks.Classnames
import semmle.javascript.frameworks.ClassValidator
import semmle.javascript.frameworks.ClientRequests
import semmle.javascript.frameworks.Clone
import semmle.javascript.frameworks.ClosureLibrary
import semmle.javascript.frameworks.CookieLibraries
import semmle.javascript.frameworks.Credentials

View File

@@ -174,3 +174,17 @@ private class ExtendCallTaintStep extends TaintTracking::SharedTaintStep {
)
}
}
private import semmle.javascript.dataflow.internal.PreCallGraphStep
/**
* A step for the `clone` package.
*/
private class CloneStep extends PreCallGraphStep {
override predicate step(DataFlow::Node pred, DataFlow::Node succ) {
exists(DataFlow::CallNode call | call = DataFlow::moduleImport("clone").getACall() |
pred = call.getArgument(0) and
succ = call
)
}
}

View File

@@ -1,15 +0,0 @@
/**
* Provides a dataflow-step for the `clone` package.
*/
import javascript
private import semmle.javascript.dataflow.internal.PreCallGraphStep
private class CloneStep extends PreCallGraphStep {
override predicate step(DataFlow::Node pred, DataFlow::Node succ) {
exists(DataFlow::CallNode call | call = DataFlow::moduleImport("clone").getACall() |
pred = call.getArgument(0) and
succ = call
)
}
}