Member variables set in child class ignored for taint flow

[LukasReschke]

This is currently not detected.

https://psalm.dev/r/0b40f43f27

<?php //--taint-analysis	

class TemplateResponse {
    public $taint = '';

    public function getTaint() : string {
        return $this->taint;
    }
}

class StandaloneTemplateResponse extends TemplateResponse {
    public function __construct($taint) {
        $this->taint = $taint; 
    }
}

$extended_response = new StandAloneTemplateResponse($_GET['bar']);
echo $extended_response->getTaint();

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/0b40f43f27

<?php //--taint-analysis	

class TemplateResponse {
    public $taint = '';

    public function getTaint() : string {
        return $this->taint;
    }
}

class StandaloneTemplateResponse extends TemplateResponse {
    public function __construct($taint) {
        $this->taint = $taint; 
    }
}

$extended_response = new StandAloneTemplateResponse($_GET['bar']);
echo $extended_response->getTaint();

Psalm output (using commit 4bb84f7):

No issues!