cpgFlowsTo

infix fun Any.cpgFlowsTo(that: Node): Boolean(source)

Checks if there's a data flow path from "this" to that.

  • If this is a String, we evaluate it as a regex.

  • If this is a Collection, we check if at least one of the elements flows to that

  • If this is a Node, we use the DFG of the CPG.


infix fun Any.cpgFlowsTo(that: Collection<Node>): Boolean(source)

Checks if there's a data flow path from "this" to any of the elements in that.

  • If this is a String, we evaluate it as a regex.

  • If this is a Collection, we check if at least one of the elements flows to that

  • If this is a Node, we use the DFG of the CPG.