File tree Expand file tree Collapse file tree 2 files changed +6
-2
lines changed
go/ql/lib/semmle/go/dataflow/internal Expand file tree Collapse file tree 2 files changed +6
-2
lines changed Original file line number Diff line number Diff line change @@ -163,7 +163,9 @@ abstract class Configuration extends string {
163163 /**
164164 * Holds if data may flow from some source to `sink` for this configuration.
165165 */
166- predicate hasFlowTo ( Node sink ) { this .hasFlow ( _, sink ) }
166+ predicate hasFlowTo ( Node sink ) {
167+ sink = any ( PathNodeSink n | this = n .getConfiguration ( ) ) .getNodeEx ( ) .asNode ( )
168+ }
167169
168170 /**
169171 * Holds if data may flow from some source to `sink` for this configuration.
Original file line number Diff line number Diff line change @@ -163,7 +163,9 @@ abstract class Configuration extends string {
163163 /**
164164 * Holds if data may flow from some source to `sink` for this configuration.
165165 */
166- predicate hasFlowTo ( Node sink ) { this .hasFlow ( _, sink ) }
166+ predicate hasFlowTo ( Node sink ) {
167+ sink = any ( PathNodeSink n | this = n .getConfiguration ( ) ) .getNodeEx ( ) .asNode ( )
168+ }
167169
168170 /**
169171 * Holds if data may flow from some source to `sink` for this configuration.
You can’t perform that action at this time.
0 commit comments