progpilot: add page (#2650)

2018-12-15 16:25:37 +00:00 · 2018-12-15 16:25:37 +00:00 · 55ffeb6833
parent 26f036496c
commit 55ffeb6833
1 changed files with 15 additions and 0 deletions
--- a/pages/common/progpilot.md
+++ 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}}`