use sanitizer class in the insecure-randomness query

This commit is contained in:
erik-krogh
2022-09-19 14:34:38 +02:00
parent a4cd913aea
commit f6ada6e022

View File

@@ -29,5 +29,7 @@ module InsecureRandomness {
/** Holds if `sink` is a sink for this configuration with kind `kind`. */
predicate isSink(Sink sink, string kind) { kind = sink.getKind() }
override predicate isSanitizer(DataFlow::Node node) { node instanceof Sanitizer }
}
}