JS: Update InsecureRandomness

This commit is contained in:
Asger F
2023-07-11 14:56:43 +02:00
parent e863e2376d
commit 58a557b18e

View File

@@ -27,11 +27,9 @@ class Configuration extends TaintTracking::Configuration {
node instanceof Sanitizer
}
override predicate isSanitizerEdge(DataFlow::Node pred, DataFlow::Node succ) {
override predicate isSanitizerOut(DataFlow::Node node) {
// stop propagation at the sinks to avoid double reporting
pred instanceof Sink and
// constrain succ
pred = succ.getAPredecessor()
this.isSink(node)
}
override predicate isAdditionalTaintStep(DataFlow::Node pred, DataFlow::Node succ) {