integration/hardcoded-tostring/test.php:10 SecurityCheck-DoubleEscaped Calling method \htmlspecialchars() in [no method] that outputs using tainted argument #1 (`$escapedToString`). (Caused by: integration/hardcoded-tostring/test.php +9; Builtin-\HardcodedEscapedToString::__toString)
integration/hardcoded-tostring/test.php:12 SecurityCheck-DoubleEscaped Calling method \htmlspecialchars() in [no method] that outputs using tainted argument #1 (`"Hi {$escapedToString}"`). (Caused by: integration/hardcoded-tostring/test.php +9; Builtin-\HardcodedEscapedToString::__toString)
integration/hardcoded-tostring/test.php:14 SecurityCheck-DoubleEscaped Calling method \htmlspecialchars() in [no method] that outputs using tainted argument #1. (Caused by: Builtin-\HardcodedEscapedToString::__toString)