diff --git a/pages/common/progpilot.md b/pages/common/progpilot.md new file mode 100644 index 0000000000..5b32e4e606 --- /dev/null +++ b/pages/common/progpilot.md @@ -0,0 +1,15 @@ +# progpilot + +> A PHP static analysis tool for detecting security vulnerabilities. + +- Analyse the current directory: + +`progpilot` + +- Analyse a specific file or directory: + +`progpilot {{path/to/file_or_directory}}` + +- Specify a custom configuration file: + +`progpilot --configuration {{path/to/configuration.yml}}`