Predicate TaintTracking::localTaint
Holds if taint propagates from source to sink in zero or more local
(intra-procedural) steps.
Import path
import csharppredicate localTaint(Node source, Node sink)Holds if taint propagates from source to sink in zero or more local
(intra-procedural) steps.
import csharppredicate localTaint(Node source, Node sink)