Predicate localTaint
Holds if taint may propagate from source to sink in zero or more local
(intra-procedural) steps.
Import path
import semmle.code.cpp.ir.dataflow.internal.TaintTrackingUtilpredicate localTaint(Node source, Node sink)Holds if taint may propagate from source to sink in zero or more local
(intra-procedural) steps.
import semmle.code.cpp.ir.dataflow.internal.TaintTrackingUtilpredicate localTaint(Node source, Node sink)