chore(psalm): Update to psalm 6

CarlSchwan · CarlSchwan · commit a62e4deeeaca · 2026-01-26T16:14:51.000+01:00
Signed-off-by: Carl Schwan &lt;carlschwan@kde.org&gt;
diff --git a/composer.json b/composer.json
@@ -24,10 +24,11 @@
 		"test:unit": "phpunit -c tests/phpunit.xml tests/Unit",
 		"test:unit:dev": "phpunit -c tests/phpunit.xml tests/Unit --no-coverage",
 		"post-install-cmd": ["@composer bin all install --ansi"],
-		"psalm": "psalm --threads=1",
-		"psalm:update-baseline": "psalm --threads=1 --update-baseline",
-		"psalm:update-baseline:force": "psalm --threads=1 --update-baseline --set-baseline=tests/psalm-baseline.xml",
-		"psalm:clear": "psalm --clear-cache && psalm --clear-global-cache"
+		"psalm": "psalm.phar --threads=1",
+		"psalm:fix": "psalm.phar --no-cache --alter --issues=InvalidReturnType,InvalidNullableReturnType,MissingParamType,InvalidFalsableReturnType,MissingOverrideAttribute",
+		"psalm:update-baseline": "psalm.phar --threads=1 --update-baseline",
+		"psalm:update-baseline:force": "psalm.phar --threads=1 --update-baseline --set-baseline=tests/psalm-baseline.xml",
+		"psalm:clear": "psalm.phar --clear-cache && psalm --clear-global-cache"
 	},
 	"config": {
 		"sort-packages": true,
diff --git a/lib/AppInfo/Application.php b/lib/AppInfo/Application.php
@@ -29,6 +29,7 @@ public function __construct(array $urlParams = []) {
 		parent::__construct(self::APP_ID, $urlParams);
 	}
 
+	#[\Override]
 	public function register(IRegistrationContext $context): void {
 		include_once __DIR__ . '/../../vendor/autoload.php';
 
@@ -39,6 +40,7 @@ public function register(IRegistrationContext $context): void {
 		$context->registerNotifierService(Notifier::class);
 	}
 
+	#[\Override]
 	public function boot(IBootContext $context): void {
 		$context->injectFn(function (IEventDispatcher $dispatcher) {
 			$loginHookAdapter = new class($dispatcher) {
diff --git a/lib/BackgroundJob/ETLJob.php b/lib/BackgroundJob/ETLJob.php
@@ -31,6 +31,7 @@ public function __construct(ETLService $etlService,
 	 *
 	 * @return void
 	 */
+	#[\Override]
 	protected function run($argument) {
 		$this->etlService->extractAndTransform();
 	}
diff --git a/lib/BackgroundJob/TrainIpV4OnceJob.php b/lib/BackgroundJob/TrainIpV4OnceJob.php
@@ -33,6 +33,7 @@ public function __construct(
 	 *
 	 * @return void
 	 */
+	#[\Override]
 	protected function run($argument) {
 		try {
 			$strategy = new Ipv4Strategy();
diff --git a/lib/BackgroundJob/TrainIpV6OnceJob.php b/lib/BackgroundJob/TrainIpV6OnceJob.php
@@ -33,6 +33,7 @@ public function __construct(
 	 *
 	 * @return void
 	 */
+	#[\Override]
 	protected function run($argument) {
 		try {
 			$strategy = new IpV6Strategy();
diff --git a/lib/BackgroundJob/TrainJobIpV4.php b/lib/BackgroundJob/TrainJobIpV4.php
@@ -41,6 +41,7 @@ public function __construct(
 	 *
 	 * @return void
 	 */
+	#[\Override]
 	protected function run($argument) {
 		try {
 			$strategy = new Ipv4Strategy();
diff --git a/lib/BackgroundJob/TrainJobIpV6.php b/lib/BackgroundJob/TrainJobIpV6.php
@@ -41,6 +41,7 @@ public function __construct(
 	 *
 	 * @return void
 	 */
+	#[\Override]
 	protected function run($argument) {
 		try {
 			$strategy = new IpV6Strategy();
diff --git a/lib/Db/Model.php b/lib/Db/Model.php
@@ -65,6 +65,7 @@ class Model extends Entity implements JsonSerializable {
 	protected $createdAt;
 	protected $addressType;
 
+	#[\Override]
 	#[ReturnTypeWillChange]
 	public function jsonSerialize(): array {
 		return [
diff --git a/lib/Listener/LoginListener.php b/lib/Listener/LoginListener.php
@@ -44,6 +44,7 @@ public function __construct(IRequest $request,
 		$this->loginClassifier = $loginClassifier;
 	}
 
+	#[\Override]
 	public function handle(Event $event): void {
 		if (!($event instanceof PostLoginEvent)) {
 			// Unrelated
diff --git a/lib/Listener/LoginMailListener.php b/lib/Listener/LoginMailListener.php
@@ -34,6 +34,7 @@ public function __construct(
 	) {
 	}
 
+	#[\Override]
 	public function handle(Event $event): void {
 		if (!($event instanceof SuspiciousLoginEvent)) {
 			return;
diff --git a/lib/Listener/LoginNotificationListener.php b/lib/Listener/LoginNotificationListener.php
@@ -28,6 +28,7 @@ public function __construct(
 	) {
 	}
 
+	#[\Override]
 	public function handle(Event $event): void {
 		if (!($event instanceof SuspiciousLoginEvent)) {
 			return;
diff --git a/lib/Migration/Version0Date20181127130604.php b/lib/Migration/Version0Date20181127130604.php
@@ -22,6 +22,7 @@ class Version0Date20181127130604 extends SimpleMigrationStep {
 	 * @param array $options
 	 * @return ISchemaWrapper
 	 */
+	#[\Override]
 	public function changeSchema(IOutput $output, Closure $schemaClosure, array $options) {
 		/** @var ISchemaWrapper $schema */
 		$schema = $schemaClosure();
diff --git a/lib/Migration/Version0Date20181213090142.php b/lib/Migration/Version0Date20181213090142.php
@@ -23,6 +23,7 @@ class Version0Date20181213090142 extends SimpleMigrationStep {
 	 *
 	 * @return ISchemaWrapper
 	 */
+	#[\Override]
 	public function changeSchema(IOutput $output, Closure $schemaClosure, array $options) {
 		/** @var ISchemaWrapper $schema */
 		$schema = $schemaClosure();
diff --git a/lib/Migration/Version0Date20181214080456.php b/lib/Migration/Version0Date20181214080456.php
@@ -23,6 +23,7 @@ class Version0Date20181214080456 extends SimpleMigrationStep {
 	 *
 	 * @return ISchemaWrapper
 	 */
+	#[\Override]
 	public function changeSchema(IOutput $output, Closure $schemaClosure, array $options) {
 		/** @var ISchemaWrapper $schema */
 		$schema = $schemaClosure();
diff --git a/lib/Migration/Version0Date20181214083108.php b/lib/Migration/Version0Date20181214083108.php
@@ -23,6 +23,7 @@ class Version0Date20181214083108 extends SimpleMigrationStep {
 	 *
 	 * @return ISchemaWrapper
 	 */
+	#[\Override]
 	public function changeSchema(IOutput $output, Closure $schemaClosure, array $options) {
 		/** @var ISchemaWrapper $schema */
 		$schema = $schemaClosure();
diff --git a/lib/Migration/Version0Date20181214103754.php b/lib/Migration/Version0Date20181214103754.php
@@ -25,6 +25,7 @@ class Version0Date20181214103754 extends SimpleMigrationStep {
 	 *
 	 * @return ISchemaWrapper|null
 	 */
+	#[\Override]
 	public function changeSchema(IOutput $output, Closure $schemaClosure, array $options) {
 		/** @var ISchemaWrapper $schema */
 		$schema = $schemaClosure();
diff --git a/lib/Migration/Version0Date20190115134303.php b/lib/Migration/Version0Date20190115134303.php
@@ -23,6 +23,7 @@ class Version0Date20190115134303 extends SimpleMigrationStep {
 	 *
 	 * @return ISchemaWrapper|null
 	 */
+	#[\Override]
 	public function changeSchema(IOutput $output, Closure $schemaClosure, array $options) {
 		/** @var ISchemaWrapper $schema */
 		$schema = $schemaClosure();
diff --git a/lib/Migration/Version0Date20190121184304.php b/lib/Migration/Version0Date20190121184304.php
@@ -23,6 +23,7 @@ class Version0Date20190121184304 extends SimpleMigrationStep {
 	 *
 	 * @return ISchemaWrapper
 	 */
+	#[\Override]
 	public function changeSchema(IOutput $output, Closure $schemaClosure, array $options) {
 		/** @var ISchemaWrapper $schema */
 		$schema = $schemaClosure();
diff --git a/lib/Migration/Version0Date20190123142603.php b/lib/Migration/Version0Date20190123142603.php
@@ -21,6 +21,7 @@ class Version0Date20190123142603 extends SimpleMigrationStep {
 	 *
 	 * @return ISchemaWrapper
 	 */
+	#[\Override]
 	public function changeSchema(IOutput $output, Closure $schemaClosure, array $options) {
 		/** @var ISchemaWrapper $schema */
 		$schema = $schemaClosure();
diff --git a/lib/Migration/Version2Date20190906100917.php b/lib/Migration/Version2Date20190906100917.php
@@ -22,6 +22,7 @@ class Version2Date20190906100917 extends SimpleMigrationStep {
 	 *
 	 * @return ISchemaWrapper
 	 */
+	#[\Override]
 	public function changeSchema(IOutput $output, Closure $schemaClosure, array $options) {
 		/** @var ISchemaWrapper $schema */
 		$schema = $schemaClosure();
diff --git a/lib/Migration/Version2Date20190913144908.php b/lib/Migration/Version2Date20190913144908.php
@@ -21,6 +21,7 @@ class Version2Date20190913144908 extends SimpleMigrationStep {
 	 *
 	 * @return ISchemaWrapper
 	 */
+	#[\Override]
 	public function changeSchema(IOutput $output, Closure $schemaClosure, array $options) {
 		/** @var ISchemaWrapper $schema */
 		$schema = $schemaClosure();
diff --git a/lib/Migration/Version4002Date20220922094803.php b/lib/Migration/Version4002Date20220922094803.php
@@ -33,6 +33,7 @@ public function __construct(IDBConnection $connection) {
 	 *
 	 * @return ISchemaWrapper
 	 */
+	#[\Override]
 	public function changeSchema(IOutput $output, Closure $schemaClosure, array $options): ?ISchemaWrapper {
 		/** @var ISchemaWrapper $schema */
 		$schema = $schemaClosure();
@@ -69,6 +70,7 @@ public function changeSchema(IOutput $output, Closure $schemaClosure, array $opt
 		return $schema;
 	}
 
+	#[\Override]
 	public function postSchemaChange(IOutput $output, \Closure $schemaClosure, array $options): void {
 		/** @var ISchemaWrapper $schema */
 		$schema = $schemaClosure();
diff --git a/lib/Migration/Version4002Date20220922094804.php b/lib/Migration/Version4002Date20220922094804.php
@@ -23,6 +23,7 @@ class Version4002Date20220922094804 extends SimpleMigrationStep {
 	 *
 	 * @return null|ISchemaWrapper
 	 */
+	#[\Override]
 	public function changeSchema(IOutput $output, Closure $schemaClosure, array $options) {
 		/** @var ISchemaWrapper $schema */
 		$schema = $schemaClosure();
diff --git a/lib/Migration/Version9000Date20250114095826.php b/lib/Migration/Version9000Date20250114095826.php
@@ -23,6 +23,7 @@ public function __construct(
 	) {
 	}
 
+	#[\Override]
 	public function postSchemaChange(IOutput $output, Closure $schemaClosure, array $options): void {
 		$this->jobList->add(TrainIpV4OnceJob::class);
 		$this->jobList->add(TrainIpV6OnceJob::class);
diff --git a/lib/Notifications/Notifier.php b/lib/Notifications/Notifier.php
@@ -40,14 +40,17 @@ public function __construct(IFactory $factory, IRequest $request, IConfig $confi
 		$this->url = $urlGenerator;
 	}
 
+	#[\Override]
 	public function getID(): string {
 		return Application::APP_ID;
 	}
 
+	#[\Override]
 	public function getName(): string {
 		return $this->factory->get(Application::APP_ID)->t('Suspicious Login');
 	}
 
+	#[\Override]
 	public function prepare(INotification $notification, string $languageCode): INotification {
 		if ($notification->getApp() !== Application::APP_ID) {
 			// Not my app => throw
diff --git a/lib/Service/AClassificationStrategy.php b/lib/Service/AClassificationStrategy.php
@@ -70,7 +70,11 @@ protected function uidAsFeatureVector(string $uid): array {
 		return $this->numStringsToBitArray($splitHash, 16, 4);
 	}
 
-	protected function numStringsToBitArray(array $strings, $base, $padding): array {
+	/**
+	 * @psalm-param 10|16 $base
+	 * @psalm-param 4|8 $padding
+	 */
+	protected function numStringsToBitArray(array $strings, int $base, int $padding): array {
 		$converted = array_reduce(array_map(function (string $s) use ($base, $padding) {
 			return $this->numStringToBitArray($s, $base, $padding);
 		}, $strings), 'array_merge', []);
diff --git a/lib/Service/IpV6Strategy.php b/lib/Service/IpV6Strategy.php
@@ -21,18 +21,22 @@
 use function substr;
 
 class IpV6Strategy extends AClassificationStrategy {
+	#[\Override]
 	public static function getTypeName(): string {
 		return 'ipv6';
 	}
 
+	#[\Override]
 	public function hasSufficientData(LoginAddressAggregatedMapper $loginAddressMapper, int $validationDays): bool {
 		return $loginAddressMapper->hasSufficientIpV6Data($validationDays);
 	}
 
+	#[\Override]
 	public function findHistoricAndRecent(LoginAddressAggregatedMapper $loginAddressMapper, int $validationThreshold, int $maxAge): array {
 		return $loginAddressMapper->findHistoricAndRecentIpv6($validationThreshold, $maxAge);
 	}
 
+	#[\Override]
 	protected function ipToVec(string $ip): array {
 		$addr = inet_pton($ip);
 		if ($addr === false) {
@@ -54,16 +58,19 @@ function (string $bit) {
 		);
 	}
 
+	#[\Override]
 	public function generateRandomIp(): string {
 		return implode(':', array_map(function (int $index) {
 			return base_convert((string)random_int(0, 2 ** 16 - 1), 10, 16);
 		}, range(0, 7)));
 	}
 
+	#[\Override]
 	public function getSize(): int {
 		return 16 + 64;
 	}
 
+	#[\Override]
 	public function getDefaultMlpConfig(): Config {
 		return Config::default()->setEpochs(20);
 	}
diff --git a/lib/Service/Ipv4Strategy.php b/lib/Service/Ipv4Strategy.php
@@ -15,38 +15,46 @@
 use function explode;
 
 class Ipv4Strategy extends AClassificationStrategy {
+	#[\Override]
 	public static function getTypeName(): string {
 		return 'ipv4';
 	}
 
+	#[\Override]
 	public function hasSufficientData(LoginAddressAggregatedMapper $loginAddressMapper, int $validationDays): bool {
 		return $loginAddressMapper->hasSufficientIpV4Data($validationDays);
 	}
 
+	#[\Override]
 	public function findHistoricAndRecent(LoginAddressAggregatedMapper $loginAddressMapper, int $validationThreshold, int $maxAge): array {
 		return $loginAddressMapper->findHistoricAndRecentIpv4($validationThreshold, $maxAge);
 	}
 
+	#[\Override]
 	public function generateRandomIpVector(): array {
 		$ip = $this->generateRandomIp();
 		$splitIp = explode('.', $ip);
 		return $this->numStringsToBitArray($splitIp, 10, 8);
 	}
 
+	#[\Override]
 	protected function ipToVec(string $ip): array {
 		return $this->numStringsToBitArray(explode('.', $ip), 10, 8);
 	}
 
+	#[\Override]
 	public function generateRandomIp(): string {
 		return implode('.', array_map(function (int $index) {
 			return random_int(0, 255);
 		}, range(0, 3)));
 	}
 
+	#[\Override]
 	public function getSize(): int {
 		return 16 + 32;
 	}
 
+	#[\Override]
 	public function getDefaultMlpConfig(): Config {
 		return Config::default();
 	}
diff --git a/lib/Service/Statistics/AppStatistics.php b/lib/Service/Statistics/AppStatistics.php
@@ -71,6 +71,7 @@ public function getTrainingDataStatistics(): TrainingDataStatistics {
 		return $this->trainingDataStatistics;
 	}
 
+	#[\Override]
 	#[ReturnTypeWillChange]
 	public function jsonSerialize(): array {
 		return [
diff --git a/lib/Service/Statistics/TrainingDataStatistics.php b/lib/Service/Statistics/TrainingDataStatistics.php
@@ -40,6 +40,7 @@ public function getLoginsAggregated(): int {
 		return $this->loginsAggregated;
 	}
 
+	#[\Override]
 	#[ReturnTypeWillChange]
 	public function jsonSerialize(): array {
 		return [
diff --git a/lib/Service/TrainingDataConfig.php b/lib/Service/TrainingDataConfig.php
@@ -90,6 +90,7 @@ public function setNow(int $now): TrainingDataConfig {
 		return $clone;
 	}
 
+	#[\Override]
 	#[ReturnTypeWillChange]
 	public function jsonSerialize(): array {
 		return [
diff --git a/lib/Task/TrainTask.php b/lib/Task/TrainTask.php
@@ -39,6 +39,7 @@ public function __construct(Config $config,
 		$this->strategy = $strategy;
 	}
 
+	#[\Override]
 	public function run(Environment $environment) {
 		// TODO: only works if the app is placed into a sub-sub directory of Nextcloud
 		require_once __DIR__ . '/../../../../lib/base.php';
diff --git a/psalm.xml b/psalm.xml
@@ -4,6 +4,7 @@
 		errorLevel="4"
 		findUnusedBaselineEntry="true"
 		findUnusedCode="false"
+        strictBinaryOperands="false"
 		phpVersion="8.2"
 		resolveFromConfigFile="true"
 		xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
@@ -24,11 +25,19 @@
 	<extraFiles>
 		<directory name="vendor" />
 		<directory name="vendor-bin/psalm/vendor/nextcloud/ocp" />
+		<directory name="vendor-bin/psalm/vendor/psr" />
 	</extraFiles>
 	<stubs>
 		<file name="tests/stubs/doctrine_dbal_types_type.php" />
 	</stubs>
 	<issueHandlers>
+		<UndefinedClass>
+			<errorLevel type="suppress">
+				<referencedClass name="Symfony\Component\Console\Command\Command" />
+				<referencedClass name="Symfony\Component\Console\Output\OutputInterface" />
+				<referencedClass name="Symfony\Component\Console\Helper\ProgressBar" />
+			</errorLevel>
+		</UndefinedClass>
 		<UndefinedDocblockClass>
 			<errorLevel type="suppress">
 				<referencedClass name="Doctrine\DBAL\Driver\Statement" />
diff --git a/vendor-bin/psalm/composer.json b/vendor-bin/psalm/composer.json
diff --git a/vendor-bin/psalm/composer.lock b/vendor-bin/psalm/composer.lock

Original file line number	Diff line number	Diff line change
`@@ -29,6 +29,7 @@ public function __construct(array $urlParams = []) {`
`29`	`29`	`parent::__construct(self::APP_ID, $urlParams);`
`30`	`30`	`}`
`31`	`31`
	`32`	`+ #[\Override]`
`32`	`33`	`public function register(IRegistrationContext $context): void {`
`33`	`34`	`include_once __DIR__ . '/../../vendor/autoload.php';`
`34`	`35`
`@@ -39,6 +40,7 @@ public function register(IRegistrationContext $context): void {`
`39`	`40`	`$context->registerNotifierService(Notifier::class);`
`40`	`41`	`}`
`41`	`42`
	`43`	`+ #[\Override]`
`42`	`44`	`public function boot(IBootContext $context): void {`
`43`	`45`	`$context->injectFn(function (IEventDispatcher $dispatcher) {`
`44`	`46`	`$loginHookAdapter = new class($dispatcher) {`
Original file line number	Diff line number	Diff line change
`@@ -31,6 +31,7 @@ public function __construct(ETLService $etlService,`
`31`	`31`	`*`
`32`	`32`	`* @return void`
`33`	`33`	`*/`
	`34`	`+ #[\Override]`
`34`	`35`	`protected function run($argument) {`
`35`	`36`	`$this->etlService->extractAndTransform();`
`36`	`37`	`}`
Original file line number	Diff line number	Diff line change
`@@ -33,6 +33,7 @@ public function __construct(`
`33`	`33`	`*`
`34`	`34`	`* @return void`
`35`	`35`	`*/`
	`36`	`+ #[\Override]`
`36`	`37`	`protected function run($argument) {`
`37`	`38`	`try {`
`38`	`39`	`$strategy = new Ipv4Strategy();`
Original file line number	Diff line number	Diff line change
`@@ -41,6 +41,7 @@ public function __construct(`
`41`	`41`	`*`
`42`	`42`	`* @return void`
`43`	`43`	`*/`
	`44`	`+ #[\Override]`
`44`	`45`	`protected function run($argument) {`
`45`	`46`	`try {`
`46`	`47`	`$strategy = new Ipv4Strategy();`
Original file line number	Diff line number	Diff line change
`@@ -44,6 +44,7 @@ public function __construct(IRequest $request,`
`44`	`44`	`$this->loginClassifier = $loginClassifier;`
`45`	`45`	`}`
`46`	`46`
	`47`	`+ #[\Override]`
`47`	`48`	`public function handle(Event $event): void {`
`48`	`49`	`if (!($event instanceof PostLoginEvent)) {`
`49`	`50`	`// Unrelated`
Original file line number	Diff line number	Diff line change
`@@ -34,6 +34,7 @@ public function __construct(`
`34`	`34`	`) {`
`35`	`35`	`}`
`36`	`36`
	`37`	`+ #[\Override]`
`37`	`38`	`public function handle(Event $event): void {`
`38`	`39`	`if (!($event instanceof SuspiciousLoginEvent)) {`
`39`	`40`	`return;`