public void setOuputTaint ( Taint taint ) { if ( taint == null ) { this . outputTaint = null ; return ; } Taint taintCopy = new Taint ( taint ) ; taintCopy . invalidateVariableIndex ( ) ; this . outputTaint = taintCopy ; }
Sets the output taint of the method describing the taint transfer copy of the parameter is made and variable index is invalidated