public function getVariableTaint(Variable $var) { $assignEnv = $var->environment->resolveVariable($var->name)->environment; $taintEnv = TaintEnvironment::getTaintEnvironmentFromEnvironment($assignEnv); $taintResult = $taintEnv->getTaintResult($var->name); return $taintResult->getTaint(); }
protected function resolveClassPropertyTaint(Expr\StaticPropertyFetch $exp) { $classEnv = $exp->environment->resolveClass($exp->class); $varName = $exp->name; if ($varName instanceof Expr) { return $this->createTaintResult(Annotation::UNKNOWN); } $varAssignEnv = $classEnv->resolveVariable($varName); $taintEnv = TaintEnvironment::getTaintEnvironmentFromEnvironment($varAssignEnv); return $taintEnv->getTaintResult($varName); }