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);
}
