Merge branch 'main' into dbartol/temporaries/work

Dave Bartolomeo · web-flow · commit ece20cdb5e23 · 2020-10-18T13:11:06.000-04:00
diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/PrintIRLocalFlow.qll b/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/PrintIRLocalFlow.qll
@@ -131,12 +131,16 @@ 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::Configration::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(), ", "
