Predicate TaintTracking::TaintFlowImplementation::attribute_store_step

predicate attribute_store_step(TaintedNode fromnode, TrackedAttribute totaint, CallContext tocontext, ControlFlowNode tonode)