From 981b7af185b74e31bcac0ab7bb7b3116b0fb412a Mon Sep 17 00:00:00 2001 From: Owen Voke Date: Fri, 5 Feb 2021 16:54:29 +0000 Subject: [PATCH] psalm: add page (#5237) --- pages/common/psalm.md | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 pages/common/psalm.md diff --git a/pages/common/psalm.md b/pages/common/psalm.md new file mode 100644 index 0000000000..098283b57b --- /dev/null +++ b/pages/common/psalm.md @@ -0,0 +1,32 @@ +# psalm + +> A static analysis tool for finding errors in PHP applications. +> More information: . + +- Generate a Psalm configuration: + +`psalm --init` + +- Analyse the current working directory: + +`psalm` + +- Analyse a specific directory or file: + +`psalm {{path/to/file_or_directory}}` + +- Analyse a project with a specific configuration file: + +`psalm --config {{path/to/psalm.xml}}` + +- Include informational findings in the output: + +`psalm --show-info` + +- Analyse a project and display statistics: + +`psalm --stats` + +- Analyse a project in parallel with 4 threads: + +`psalm --threads {{4}}`