Predicate TaintTracking::TaintFlowImplementation::attribute_load_step

predicate attribute_load_step(TaintedNode fromnode, TrackedValue totaint, CallContext tocontext, AttrNode tonode)