GitHub - designsecurity/progpilot: A static analysis tool for security (original) (raw)

progpilot

A static application security testing (SAST) for PHP

Installation

Option 1: use standalone phar

chmod +x progpilot_vX.Y.Z.phar sudo mv progpilot_vX.Y.Z.phar /usr/local/bin/progpilot

Option 2: build phar from source code

phar-composer.phar should be located in a directory listed in the $PATH environment variable before starting the build:

git clone https://github.com/designsecurity/progpilot cd progpilot ./build.sh

The resulting phar archive will be located in the builds folder at the root of this project.

Option 3: use composer

Use Composer to install progpilot:

composer require --dev designsecurity/progpilot

Configuration

Use a yaml configuration file (look at this example) to configure and customize the progpilot analysis otherwise the default configuration will be used with, in particular the standard taint configuration data.

Usage

CLI example

The progpilot command takes as arguments the path to the files and folders to be analyzed and optionally a configuration file:

without config file

progpilot example1.php example2.php folder1/ folder2/

with a config file

progpilot --configuration configuration.yml example1.php example2.php folder1/ folder2/

If you installed it with composer, the program will be located at vendor/bin/progpilot.

Library example

It is also possible to use progpilot inside PHP code. For more information look at the API documentation.

Use this code to analyze source_code1.php:

inputs->setFile("source_code1.php"); try { analyzer−>run(analyzer->run(analyzer−>run(context); } catch (Exception $e) { echo "Exception : ".$e->getMessage()."\n"; } results=results = results=context->outputs->getResults(); var_dump($results); When source\_code1.php contains this code: var7=var7 = var7=_GET["p"]; var4=var4 = var4=var7; echo "$var4"; The simplified [output](/designsecurity/progpilot/blob/master/docs/OUTPUT.md) will be: array(1) { [0]=> array(11) { ["source_name"]=> array(1) { [0]=> string(5) "$var4" } ["source_line"]=> array(1) { [0]=> int(4) } ["sink_name"]=> string(4) "echo" ["sink_line"]=> int(5) ["vuln_name"]=> string(3) "xss" } } All files (composer.json, example1.php, source\_code1.php) used in this example are in the [projects/example](/designsecurity/progpilot/blob/master/projects/example) folder. For more examples look also at this [page](/designsecurity/progpilot/blob/master/docs/EXAMPLES.md). ## Specify an analysis [](#specify-an-analysis) It is strongly recommended to customize the taint analysis configuration (the definitions of sinks, sources, sanitizers and validators) according to the context of the application to be analyzed. In the following specification, superglobals variables _\_GET_, _\_POST_ or _\_COOKIE_ are defined as untrusted and also the return of the _shell\_exec()_ function: { "sources": [ {"name": "_GET", "is_array": true, "language": "php"}, {"name": "_POST", "is_array": true, "language": "php"}, {"name": "_COOKIE", "is_array": true, "language": "php"}, {"name": "shell_exec", "is_function": true, "language": "php"} ] } See available settings in the [corresponding chapter about specifying an analysis](/designsecurity/progpilot/blob/master/docs/SPECIFY%5FANALYSIS.md). Custom rules can be created too, see the [corresponding chapter about custom rules](/designsecurity/progpilot/blob/master/docs/CUSTOM%5FANALYSIS.md). ## Development [](#development) [Learn more](/designsecurity/progpilot/blob/master/docs/DEV.md) about the development of Progpilot. ## Faq [](#faq) [Here](/designsecurity/progpilot/blob/master/docs/FAQ.md)