cpg-analysis/de.fraunhofer.aisec.cpg.query/executionPath

executionPath

fun executionPath(from: Node, to: Node): QueryTree<Boolean>
Content copied to clipboard

Checks if a path of execution flow is possible between the nodes from and to.


fun executionPath(from: Node, predicate: (Node) -> Boolean): QueryTree<Boolean>
Content copied to clipboard

Checks if a path of execution flow is possible starting at the node from and fulfilling the requirement specified in predicate.