Predicate TaintTracking::TaintFlowImplementation::use_step

predicate use_step(TaintedNode fromnode, TrackedValue totaint, CallContext tocontext, ControlFlowNode tonode)