private function analyseArgumentsEffectOnReturnStmt($argTaints, Stmt\Return_ $return) { $retTaint = $this->returnStmtTaintResults[$return->getLine()]; return $this->mergeTaintResultsWithWithParameterTaints($retTaint, $argTaints); }
private function addReturnTaintResult(Return_ $ret, FunctionTaintResult $result) { $this->returnResults[$ret->getLine()] = $result; }