C++: Allow source = sink in 'MustFlow'.

2026-04-27 17:55:19 +02:00 · 2023-11-07 09:18:34 +00:00
parent 1dc08941f8
commit 6bf2d47321
2 changed files with 14 additions and 1 deletions
--- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/MustFlow.qll
+++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/MustFlow.qll
@@ -48,7 +48,7 @@ abstract class MustFlowConfiguration extends string {
   */
  final predicate hasFlowPath(MustFlowPathNode source, MustFlowPathSink sink) {
    this.isSource(source.getInstruction()) and
-    source.getASuccessor+() = sink
+    source.getASuccessor*() = sink
  }
 }