We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
pathSuccPlus
Configuration::hasFlowTo(Expr)
1 parent 5cadd3c commit d1c8c40Copy full SHA for d1c8c40
ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImplForPathname.qll
@@ -163,7 +163,9 @@ abstract class Configuration extends string {
163
/**
164
* Holds if data may flow from some source to `sink` for this configuration.
165
*/
166
- predicate hasFlowTo(Node sink) { this.hasFlow(_, sink) }
+ predicate hasFlowTo(Node sink) {
167
+ sink = any(PathNodeSink n | this = n.getConfiguration()).getNodeEx().asNode()
168
+ }
169
170
171
0 commit comments