Predicate TaintTracking::TaintFlowImplementation::call_taint_step

predicate call_taint_step(TaintedNode fromnode, TrackedValue totaint, CallContext tocontext, CallNode call)