From 55ffeb6833e30ab9934d57c23feedd7e2009abd3 Mon Sep 17 00:00:00 2001 From: Owen Voke Date: Sat, 15 Dec 2018 16:25:37 +0000 Subject: [PATCH] progpilot: add page (#2650) --- pages/common/progpilot.md | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 pages/common/progpilot.md diff --git a/pages/common/progpilot.md b/pages/common/progpilot.md new file mode 100644 index 000000000..5b32e4e60 --- /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}}`