public/cas.php:40:20: PossiblyUndefinedArrayOffset: Possibly undefined array key $_SERVER['PATH_INFO'] on array{APP_DEBUG?: bool|string, APP_ENV?: string, AUTH_TYPE?: non-empty-string, CONTENT_LENGTH?: string, CONTENT_TYPE?: string, DOCUMENT_ROOT?: non-empty-string, FCGI_ROLE?: non-empty-string, GATEWAY_INTERFACE?: non-empty-string, HOME?: non-empty-string, HTTPS?: string, HTTP_ACCEPT?: non-empty-string, HTTP_ACCEPT_CHARSET?: non-empty-string, HTTP_ACCEPT_ENCODING?: non-empty-string, HTTP_ACCEPT_LANGUAGE?: non-empty-string, HTTP_CACHE_CONTROL?: non-empty-string, HTTP_CDN_LOOP?: non-empty-string, HTTP_CF_CONNECTING_IP?: non-empty-string, HTTP_CF_IPCOUNTRY?: non-empty-string, HTTP_CF_VISITOR?: non-empty-string, HTTP_CLIENT_IP?: non-empty-string, HTTP_CONNECTION?: non-empty-string, HTTP_COOKIE?: non-empty-string, HTTP_DNT?: non-empty-string, HTTP_HOST?: non-empty-string, HTTP_PRIORITY?: non-empty-string, HTTP_REFERER?: non-empty-string, HTTP_SEC_CH_UA?: non-empty-string, HTTP_SEC_CH_UA_MOBILE?: non-empty-string, HTTP_SEC_CH_UA_PLATFORM?: non-empty-string, HTTP_SEC_FETCH_DEST?: non-empty-string, HTTP_SEC_FETCH_MODE?: non-empty-string, HTTP_SEC_FETCH_SITE?: non-empty-string, HTTP_SEC_FETCH_USER?: non-empty-string, HTTP_UPGRADE_INSECURE_REQUESTS?: non-empty-string, HTTP_USER_AGENT?: non-empty-string, HTTP_X_FORWARDED_FOR?: non-empty-string, HTTP_X_FORWARDED_PROTO?: non-empty-string, HTTP_X_REAL_IP?: non-empty-string, ORIG_PATH_INFO?: non-empty-string, PATH?: non-empty-string, PATH_INFO?: non-empty-string, PATH_TRANSLATED?: non-empty-string, PHP_AUTH_DIGEST?: non-empty-string, PHP_AUTH_PW?: non-empty-string, PHP_AUTH_USER?: non-empty-string, PHP_SELF?: non-empty-string, QUERY_STRING?: string, REDIRECT_REMOTE_USER?: non-empty-string, REDIRECT_STATUS?: non-empty-string, REMOTE_ADDR?: non-empty-string, REMOTE_HOST?: non-empty-string, REMOTE_PORT?: string, REMOTE_USER?: non-empty-string, REQUEST_METHOD?: non-empty-string, REQUEST_SCHEME?: non-empty-string, REQUEST_TIME?: int<1707934203, max>, REQUEST_TIME_FLOAT?: float, REQUEST_URI?: non-empty-string, SCRIPT_FILENAME?: non-empty-string, SCRIPT_NAME?: non-empty-string, SERVER_ADDR?: non-empty-string, SERVER_ADMIN?: non-empty-string, SERVER_NAME?: non-empty-string, SERVER_PORT?: non-empty-string, SERVER_PROTOCOL?: non-empty-string, SERVER_SIGNATURE?: non-empty-string, SERVER_SOFTWARE?: non-empty-string, USER?: non-empty-string, argc?: int<1, max>, argv?: non-empty-list<string>, ...<non-empty-string, string>} (see https://psalm.dev/167)

public/cas.php:40:20: PossiblyNullArgument: Argument 1 of substr cannot be null, possibly null value provided (see https://psalm.dev/078)

public/login.php:45:40: RiskyTruthyFalsyComparison: Operand of type non-empty-array<int|non-empty-string, array<int|non-empty-string, mixed>|string>|string contains type string, which can be falsy and truthy. This can cause possibly unexpected behavior. Use strict comparison instead. (see https://psalm.dev/356)

public/login.php:46:41: RiskyTruthyFalsyComparison: Operand of type non-empty-array<int|non-empty-string, array<int|non-empty-string, mixed>|string>|string contains type string, which can be falsy and truthy. This can cause possibly unexpected behavior. Use strict comparison instead. (see https://psalm.dev/356)

public/login.php:56:69: PossiblyInvalidArgument: Argument 1 of sanitize expects string, but possibly different type non-empty-array<int|non-empty-string, array<int|non-empty-string, mixed>|string>|string provided (see https://psalm.dev/092)

public/login.php:110:9: RiskyTruthyFalsyComparison: Operand of type mixed|null contains type mixed, which can be falsy and truthy. This can cause possibly unexpected behavior. Use strict comparison instead. (see https://psalm.dev/356)

public/login.php:230:69: PossiblyInvalidArgument: Argument 1 of SimpleSAML\Utils\HTTP::addURLParameters expects string, but possibly different type non-empty-array<int|non-empty-string, array<int|non-empty-string, mixed>|string>|string provided (see https://psalm.dev/092)

public/login.php:232:36: PossiblyInvalidArgument: Argument 1 of SimpleSAML\Utils\HTTP::submitPOSTData expects string, but possibly different type non-empty-array<int|non-empty-string, array<int|non-empty-string, mixed>|string>|string provided (see https://psalm.dev/092)

public/logout.php:82:69: PossiblyInvalidArgument: Argument 1 of SimpleSAML\Utils\HTTP::addURLParameters expects string, but possibly different type non-empty-array<int|non-empty-string, array<int|non-empty-string, mixed>|string>|string provided (see https://psalm.dev/092)

public/proxy.php:102:37: PossiblyInvalidArgument: Argument 1 of sanitize expects string, but possibly different type non-empty-array<int|non-empty-string, array<int|non-empty-string, mixed>|string>|string provided (see https://psalm.dev/092)

public/proxy.php:43:5: DeprecatedFunction: The function checkserviceurl has been marked as deprecated (see https://psalm.dev/201)

public/proxy.php:102:12: DeprecatedFunction: The function checkserviceurl has been marked as deprecated (see https://psalm.dev/201)

src/Cas/Ticket/DelegatingTicketStore.php:33:25: PropertyNotSetInConstructor: Property SimpleSAML\Module\casserver\Cas\Ticket\DelegatingTicketStore::$primaryDelegate is not defined in constructor of SimpleSAML\Module\casserver\Cas\Ticket\DelegatingTicketStore or in any private or final methods called in the constructor (see https://psalm.dev/074)

src/Shib13/AuthnResponse.php:498:26: DeprecatedMethod: The method SimpleSAML\XML\Utils::xsDateTimeToTimestamp has been marked as deprecated (see https://psalm.dev/001)

src/Shib13/AuthnResponse.php:505:24: DeprecatedMethod: The method SimpleSAML\XML\Utils::xsDateTimeToTimestamp has been marked as deprecated (see https://psalm.dev/001)

tests/public/LoginIntegrationTest.php:38:29: PropertyNotSetInConstructor: Property SimpleSAML\Casserver\LoginIntegrationTest::$server is not defined in constructor of SimpleSAML\Casserver\LoginIntegrationTest or in any methods called in the constructor (see https://psalm.dev/074)

tests/public/LoginIntegrationTest.php:43:22: PropertyNotSetInConstructor: Property SimpleSAML\Casserver\LoginIntegrationTest::$server_addr is not defined in constructor of SimpleSAML\Casserver\LoginIntegrationTest or in any methods called in the constructor (see https://psalm.dev/074)

tests/public/LoginIntegrationTest.php:48:19: PropertyNotSetInConstructor: Property SimpleSAML\Casserver\LoginIntegrationTest::$server_pid is not defined in constructor of SimpleSAML\Casserver\LoginIntegrationTest or in any methods called in the constructor (see https://psalm.dev/074)

tests/public/LoginIntegrationTest.php:53:22: PropertyNotSetInConstructor: Property SimpleSAML\Casserver\LoginIntegrationTest::$shared_file is not defined in constructor of SimpleSAML\Casserver\LoginIntegrationTest or in any methods called in the constructor (see https://psalm.dev/074)

tests/public/LoginIntegrationTest.php:58:22: PropertyNotSetInConstructor: Property SimpleSAML\Casserver\LoginIntegrationTest::$cookies_file is not defined in constructor of SimpleSAML\Casserver\LoginIntegrationTest or in any methods called in the constructor (see https://psalm.dev/074)

tests/public/LoginIntegrationTest.php:467:23: PossiblyUndefinedArrayOffset: Possibly undefined array key (see https://psalm.dev/167)

tests/public/LoginIntegrationTest.php:467:52: PossiblyInvalidArgument: Argument 2 of explode expects string, but possibly different type string|true provided (see https://psalm.dev/092)

tests/public/LoginIntegrationTest.php:472:25: PossiblyUndefinedArrayOffset: Possibly undefined array key (see https://psalm.dev/167)

tests/public/UtilsTest.php:45:39: DeprecatedFunction: The function checkserviceurl has been marked as deprecated (see https://psalm.dev/201)