From 7e3e10c34b855d5423007358780e96e02cb1577a Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Mon, 27 Feb 2023 14:20:47 +0100 Subject: [PATCH] C/C++: Remove reference to Partial Flow. --- .../ir/dataflow/internal/PrintIRLocalFlow.qll | 34 +++++++++---------- .../ir/dataflow/internal/PrintIRLocalFlow.qll | 34 +++++++++---------- 2 files changed, 34 insertions(+), 34 deletions(-) diff --git a/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/PrintIRLocalFlow.qll b/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/PrintIRLocalFlow.qll index a14b2b00651..bbe236311fb 100644 --- a/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/PrintIRLocalFlow.qll +++ b/cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/PrintIRLocalFlow.qll @@ -97,23 +97,23 @@ private string getNodeProperty(DataFlow::Node node, string key) { | kind, ", " ) - or - // Is there partial flow from a source to this node? - // This property will only be emitted if partial flow is enabled by overriding - // `DataFlow::Configuration::explorationLimit()`. - key = "pflow" and - result = - strictconcat(DataFlow::PartialPathNode sourceNode, DataFlow::PartialPathNode destNode, int dist, - int order1, int order2 | - any(DataFlow::Configuration cfg).hasPartialFlow(sourceNode, destNode, dist) and - destNode.getNode() = node and - // Only print flow from a source in the same function. - sourceNode.getNode().getEnclosingCallable() = node.getEnclosingCallable() - | - nodeId(sourceNode.getNode(), order1, order2) + "+" + dist.toString(), ", " - order by - order1, order2, dist desc - ) + // or + // // Is there partial flow from a source to this node? + // // This property will only be emitted if partial flow is enabled by overriding + // // `DataFlow::Configuration::explorationLimit()`. + // key = "pflow" and + // result = + // strictconcat(DataFlow::PartialPathNode sourceNode, DataFlow::PartialPathNode destNode, int dist, + // int order1, int order2 | + // any(DataFlow::Configuration cfg).hasPartialFlow(sourceNode, destNode, dist) and + // destNode.getNode() = node and + // // Only print flow from a source in the same function. + // sourceNode.getNode().getEnclosingCallable() = node.getEnclosingCallable() + // | + // nodeId(sourceNode.getNode(), order1, order2) + "+" + dist.toString(), ", " + // order by + // order1, order2, dist desc + // ) } /** diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRLocalFlow.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRLocalFlow.qll index a14b2b00651..bbe236311fb 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRLocalFlow.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/PrintIRLocalFlow.qll @@ -97,23 +97,23 @@ private string getNodeProperty(DataFlow::Node node, string key) { | kind, ", " ) - or - // Is there partial flow from a source to this node? - // This property will only be emitted if partial flow is enabled by overriding - // `DataFlow::Configuration::explorationLimit()`. - key = "pflow" and - result = - strictconcat(DataFlow::PartialPathNode sourceNode, DataFlow::PartialPathNode destNode, int dist, - int order1, int order2 | - any(DataFlow::Configuration cfg).hasPartialFlow(sourceNode, destNode, dist) and - destNode.getNode() = node and - // Only print flow from a source in the same function. - sourceNode.getNode().getEnclosingCallable() = node.getEnclosingCallable() - | - nodeId(sourceNode.getNode(), order1, order2) + "+" + dist.toString(), ", " - order by - order1, order2, dist desc - ) + // or + // // Is there partial flow from a source to this node? + // // This property will only be emitted if partial flow is enabled by overriding + // // `DataFlow::Configuration::explorationLimit()`. + // key = "pflow" and + // result = + // strictconcat(DataFlow::PartialPathNode sourceNode, DataFlow::PartialPathNode destNode, int dist, + // int order1, int order2 | + // any(DataFlow::Configuration cfg).hasPartialFlow(sourceNode, destNode, dist) and + // destNode.getNode() = node and + // // Only print flow from a source in the same function. + // sourceNode.getNode().getEnclosingCallable() = node.getEnclosingCallable() + // | + // nodeId(sourceNode.getNode(), order1, order2) + "+" + dist.toString(), ", " + // order by + // order1, order2, dist desc + // ) } /**