Print partial flow info in PrintIRLocalFlow.qll

Dave Bartolomeo · Dave Bartolomeo · commit 4814dcf14542 · 2020-10-17T14:32:31.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
@@ -130,6 +130,19 @@ private string getNodeProperty(DataFlow::Node node, string key) {
     |
       kind, ", "
     )
+  or
+  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
+      sourceNode.getNode().getEnclosingCallable() = node.getEnclosingCallable()
+    |
+      nodeId(sourceNode.getNode(), order1, order2) + "+" + dist.toString(), ", "
+      order by
+        order1, order2, dist desc
+    )
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -130,6 +130,19 @@ private string getNodeProperty(DataFlow::Node node, string key) {`
`130`	`130`	`\|`
`131`	`131`	`kind, ", "`
`132`	`132`	`)`
	`133`	`+ or`
	`134`	`+ key = "pflow" and`
	`135`	`+ result =`
	`136`	`+ strictconcat(DataFlow::PartialPathNode sourceNode, DataFlow::PartialPathNode destNode, int dist,`
	`137`	`+ int order1, int order2 \|`
	`138`	`+ any(DataFlow::Configuration cfg).hasPartialFlow(sourceNode, destNode, dist) and`
	`139`	`+ destNode.getNode() = node and`
	`140`	`+ sourceNode.getNode().getEnclosingCallable() = node.getEnclosingCallable()`
	`141`	`+ \|`
	`142`	`+ nodeId(sourceNode.getNode(), order1, order2) + "+" + dist.toString(), ", "`
	`143`	`+ order by`
	`144`	`+ order1, order2, dist desc`
	`145`	`+ )`
`133`	`146`	`}`
`134`	`147`
`135`	`148`	`/**`