@psalm-assert-untainted

The @psalm-assert-untainted tag asserts that the given variable holds no tainted data from this point on. It is part of Psalm's taint-analysis assertion family, alongside @psalm-assert.

Parsing a @psalm-assert-untainted tag produces a PsalmAssertUntaintedTag instance, carrying the asserted $variable alongside the $name and optional $description every Tag already provides.

See Psalm's security analysis annotations.