Print partial flow info in PrintIRLocalFlow.qll

This commit is contained in:
Dave Bartolomeo
2020-10-17 14:32:31 -04:00
parent 1dae8f62c1
commit 4814dcf145

View File

@@ -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
)
}
/**