Predicate TaintedWithPath::Private::getAPredecessor
Gets a predecessor PathNode
of pathNode
, if any.
Import path
import semmle.code.cpp.ir.dataflow.DefaultTaintTracking
PathNode getAPredecessor(PathNode pathNode)
Gets a predecessor PathNode
of pathNode
, if any.
import semmle.code.cpp.ir.dataflow.DefaultTaintTracking
PathNode getAPredecessor(PathNode pathNode)