Predicate TaintTracking::TaintFlowImplementation::getattr_step

predicate getattr_step(TaintedNode fromnode, TrackedValue totaint, CallContext tocontext, CallNode tonode)