Add defaultImplicitTaintRead

This commit is contained in:
Taus
2021-07-15 15:52:59 +00:00
committed by GitHub
parent dc4d353a01
commit 258f85d6d0

View File

@@ -9,6 +9,13 @@ private import codeql_ruby.DataFlow
*/
predicate defaultTaintSanitizer(DataFlow::Node node) { none() }
/**
* Holds if default `TaintTracking::Configuration`s should allow implicit reads
* of `c` at sinks and inputs to additional taint steps.
*/
bindingset[node]
predicate defaultImplicitTaintRead(DataFlow::Node node, DataFlow::Content c) { none() }
/**
* Holds if the additional step from `nodeFrom` to `nodeTo` should be included
* in all global taint flow configurations.