Psalm v6

[danog]

This is the first release of Psalm v6!

Users are encouraged to switch to Psalm v6 right away, as v5 is not supported anymore.

Also announcing Psalm's new support model: you can support Psalm development by requesting a support contract from Daniil Gentili, the only active maintainer of Psalm.

Support contracts can cover full integration of Psalm into existing codebases, support for Psalm issues and development of additional Psalm features.

See here » for info, pricing and contact information.

Main highlights of Psalm v6:

• PHP 8.4 support
• Amp v3 support
• PHP-Parser v5 support
• Fully overhauled dictionaries, for much more accurate and always up to date signatures for PHP and extension functions and methods, and much simpler PHP version upgrades.
• ignoreInternalFunctionFalseReturn and ignoreInternalFunctionNullReturn are now false by default: this means Psalm now warns when a false/null return type of a native function is not explicitly checked.
• Modernization of the codebase for higher performance.
• Many other bugfixes and performance improvements.

Plugin authors should consult the changelog for info about BC-breaking changes.

What's Changed

Features

• Add --force-jit flag by @danog in Add --force-jit flag #11165
• Xpath injection detection Xpath injection #10162 by @cgocast in Xpath injection #10162 #10163
• Backed enum value changed to Atomic instead of scalar int or strings by @tuqqu in Backed enum value changed to Atomic instead of scalar int or strings #10165
• Introduce NonVariableReferenceReturn issue by @tuqqu in Introduce NonVariableReferenceReturn issue #10227
• Detect DoS by sleep DoS by sleep #10178 by @cgocast in Detect DoS by sleep vimeo#10178 #10183
• Introduce DuplicateProperty issue by @tuqqu in Introduce DuplicateProperty issue #10265
• Disable ignoreInternalFunction(False|Null)Return by default by @robchett in Disable ignoreInternalFunction(False|Null)Return by default #10211
• Add intl extension stub by @braindawg in Add intl extension stub #10276
• Improved type of callable-array by @robchett in Improved type of callable-array #9794
• Add progress for scanning stage by @robchett in Add progress for scanning stage #10345
• Allow enum cases to be global constants by @robchett in Allow enum cases to be global constants #10339
• Report unused issue handler suppressions by @robchett in Report unused issue handler suppressions #10341
• Support @(no-)seal-(properties|methods) annotations without prefix by @robchett in Support @(no-)seal-(properties|methods) annotations without prefix #10344
• Stub constants for ZipArchive from ext-zip by @braindawg in Stub constants for ZipArchive from ext-zip #10332
• Allow type aliases for static variables by @robchett in Allow type aliases for static variables #10362
• Inherit magic methods from @mixin by @robchett in Inherit magic methods from @mixin #10356
• TaintedExtract by @cgocast in TaintedExtract #10417
• feat: Default baseline file by @jorgsowa in feat: Default baseline file #10696
• Add phpstub for amqp extension (php-amqp) by @mkilmanas in Add phpstub for amqp extension (php-amqp) #11172
• Add phpstub for amqp extension (php-amqp) by @mkilmanas in Add phpstub for amqp extension (php-amqp) #11181

Fixes

• Fix TaintedSql false positives for prepared PDO statements #10047 by @cgocast in Fix #10047 #10048
• Respect stubs in all cases by @mmcev106 in Respect stubs in all cases #10092
• Hotfix Shepard build by @robchett in Hotfix Shepard build #10268
• Hotfix shepard build by @robchett in Hotfix shepard build #10343
• Add constants from SOAP extension to stub by @braindawg in Add constants from SOAP extension to stub #10333
• Incorrectly asserting non-empty-list after combining with empty list by @robchett in Incorrectly asserting non-empty-list after combining with empty list #9787
• Consistent type docblock parsing by @robchett in Consistent type docblock parsing #10326
• Fix stub for RecursiveArrayIterator::getChildren by @robchett in Fix stub for RecursiveArrayIterator::getChildren #10340
• Maintain loop start val after increment/decrement by @robchett in Maintain loop start val after increment/decrement #10263
• Method annotation fixes by @robchett in Method annotation fixes #10361
• A segment of progress was being output early as the startScanningFile… by @robchett in A segment of progress was being output early as the startScanningFile… #10360
• Fix at in array keys by @danog in Fix at in array keys #10426
• Inherit conditional returns by @robchett in Inherit conditional returns #10357
• Fix iteration over weakmaps by @danog in Fix iteration over weakmaps #10472
• Suppress scanning output in CI by @robchett in Suppress scanning output in CI #10688
• Suppress unused config suppression detection when running in partial or cache mode by @weirdan in Suppress unused config suppression detection when running in partial or cache mode #10694
• Fix trait analysis by @danog in Fix trait analysis #10904

Docs

• Doc typo by @cgocast in Doc typo #10393
• Fixed docblock spacing in @psalm-internal documentation example by @still-dreaming-1 in Fixed docblock spacing in @psalm-internal documentation example #10467
• Update dealing_with_code_issues.md: Minor by @ThomasLandauer in Update dealing_with_code_issues.md: Minor #10954
• Fix broken links to PHPDoc Types page in documentation by @elazar in Fix broken links to PHPDoc Types page in documentation #11105
• Fix broken phpDocumentor links on Supported Annotations docs page by @elazar in Fix broken phpDocumentor links on Supported Annotations docs page #11119

Internal changes

• Switch to amp v3 by @danog in Switch to amp v3 #10024
• Psalm v6 by @danog in Psalm v6 #10040
• Make TLiteralFloat::$value and TLiteralInt::$value typed by @weirdan in Make TLiteralFloat::$value and TLiteralInt::$value typed #9517
• Psalm v6: strict_types=1 by @danog in Psalm v6: strict_types=1 #10044
• V6 fixes by @danog in V6 fixes #10310
• Remove MixedInferredReturnType by @robchett in Remove MixedInferredReturnType #9783
• Merge 5.x by @danog in Merge 5.x #10369
• Improve scan progress by @danog in Improve scan progress #10415
• Merge 5.x by @danog in Merge 5.x #10504
• Apply rector fixes by @danog in Apply rector fixes #10305
• Do not use JIT on windows by @danog in Do not use JIT on windows #10564
• Let disable-extension also disable zend extensions by @danog in Let disable-extension also disable zend extensions #10565
• Merge 5.x by @danog in Merge 5.x #10569
• Merge 5.x by @danog in Merge 5.x #10576
• Remove unnecessary null type from initialized_methods Context property by @theodorejb in Remove unnecessary null type from initialized_methods Context property #10610
• Update master from 5.x by @weirdan in Update master from 5.x #10597
• Update master from 5.x by @weirdan in Update master from 5.x #10618
• Update master from 5.x by @weirdan in Update master from 5.x #10656
• Update master from 5.x by @weirdan in Update master from 5.x #10684
• Fix composer warnings by @weirdan in Fix composer warnings #10695
• Update master from 5.x by @weirdan in Update master from 5.x #10693
• Update master from 5.x by @weirdan in Update master from 5.x #10714
• Update master from 5.x by @weirdan in Update master from 5.x #10750
• Update master from 5.x by @weirdan in Update master from 5.x #10775
• Update master from 5.x by @weirdan in Update master from 5.x #10803
• Fix the tests broken when running with Paratest by @weirdan in Fix the tests broken when running with Paratest #11122
• Fix grammar by @MoonE in Fix grammar #11154
• Merge 5.x by @danog in Merge 5.x #11164
• Normalize callmap by @danog in Normalize callmap #11174
• Normalize callmap by @danog in Normalize callmap #11175
• Remove unnecessary array spread of temp arrays by @MoonE in Remove unnecessary array spread of temp arrays #11182
• PHP 8.4 support, dictionary refactoring by @danog in PHP 8.4 support, dictionary refactoring #11169
• Add support for PHP 8.4 by @GromNaN in Add support for PHP 8.4 #10928

Typos

• Fix typos by @szepeviktor in Fix typos #10963

Other changes

• Update nikic/php-parser to 5.0 by @edsrzf in Update nikic/php-parser to 5.0 #10567
• 🐛 Fix "Config supression" link by @homersimpsons in 🐛 Fix "Config supression" link #11185

New Contributors

• @braindawg made their first contribution in Add intl extension stub #10276
• @elazar made their first contribution in Fix broken links to PHPDoc Types page in documentation #11105
• @mkilmanas made their first contribution in Add phpstub for amqp extension (php-amqp) #11172
• @homersimpsons made their first contribution in 🐛 Fix "Config supression" link #11185

Full Changelog: 5.26.1...6.0.0

---

This discussion was created from the release 6.0.0.

[orklah]

Awesome! Good job!

[robchett]

Great work, looking forward to updating ASAP.

the only active maintainer of Psalm

TBH I've been looking at the issues and PRs in this repo quite a lot recently, but with the update in full swing I've been intimidated on where to start, as it wasn't clear what was/wasn't considered for v6.
Just know, help is available if you want it.

• Is CONTRIBUTING.md still relevant?
• Will you be considering using the help wanted / easy problems tags again on issues?
• Is there an official place to contact you?

[danog]

Happy to hear that; CONTRIBUTING is still relevant, and I just tagged #11208 with the Help wanted tag, since I currently don't have the funding to work on Simple Property Hooks (but probably might start work on them in the coming weeks for a client anyway, will see).

You may contact me on Telegram, that's really my preferred messaging app: @danogentili

[NicolasCARPi]

Hello,

Would you consider adding a Sponsor button for your profile/this repo? (https://github.com/sponsors)

It would make it frictionless for us and probably other organizations to support your work :)