Psalm – static analysis tool

Psalm is a static analysis tool that attempts to dig into your program and find as many type-related bugs as possible.

It has a few features that go further than other similar tools:

  • Mixed type warnings – if Psalm cannot infer a type for an expression then it uses a mixed placeholder type. mixed types can sometimes mask bugs, so keeping track of them helps you avoid a number of common pitfalls.
  • Intelligent logic checks – Psalm keeps track of logical assertions made about your code, so if ($a && $a) {} and if ($a && !$a) {} are both treated as issues. Psalm also keeps track of logical assertions made in prior code paths, preventing issues like if ($a) {} elseif ($a) {}.
  • Property initialisation checks – Psalm checks that all properties of a given object have values after the constructor is called.
  • Taint analysis – Psalm can detect security vulnerabilities in your code.
  • Language Server – Psalm has a Language Server that’s compatible with a range of different IDEs.
  • Automatic fixes – Psalm can fix many of the issues it finds automatically.
  • Automatic refactoring – Psalm can also perform simple refactors from the command line.

This is free and open source software.

Website: github.com/vimeo/psalm
Support:
Developer: Vimeo
License: MIT License

Psalm is written in PHP. Learn PHP with our recommended free books and free tutorials.


Related Software

PHP Linters
PHPStanPHP static analysis tool
PHP Coding Standards FixerFixes your code to follow the standards
MagoExtremely fast PHP linter, formatter, and static analyzer
PsalmStatic analysis tool
PhanStatic analyzer for PHP
PHP_CodeSnifferTokenizes PHP files and detects violations
DeptracStatic code analysis tool for PHP projects
PHP Parallel LintChecks the syntax of PHP files in parallel
PHPLintSpeed up linting PHP files
PHPCompatibilityCoding standard for PHP_CodeSniffer
PHPArkitectDefine architectural rules as executable PHP code

Read our verdict in the software roundup.


Best Free and Open Source Software Explore our carefully curated directory of recommended free and open source software, covering every major software category.

The directory forms part of our extensive collection of articles for Linux enthusiasts. It includes hundreds of detailed reviews, together with free and open source alternatives to proprietary software from companies such as Google, Microsoft, Apple, Adobe, IBM, Cisco, Oracle, and Autodesk.

LinuxLinks also covers interesting projects worth exploring, Linux-compatible hardware, free programming books and tutorials, and much more.

Know a useful free and open source Linux application that we haven’t covered? Tell us about it using our submission form.
Subscribe

Please read our Comment Policy before commenting.

Notify of
guest
0 Comments
Oldest
Newest Most Voted