Const Prop Status

Static analysis for PHP
PHP-Sat offers the functionality to automatically analyze files which are included with the require_*=/=include_* functions of PHP.

Many projects use some kind of include $prefix.'filename'.$postfix; syntax to make sure that their code can run under multiple configurations. To make sure that these projects can also be analyzed by PHP-Sat we have (partially) included constant-propagation to statically determine which files are included.

Currently, the constant propagation is capable of correctly propagating values through:

  • Operator-expressions
  • Control-flow statements
This means PHP-Sat offers inclusion support for procedural scripts without function calls.

In the future the inclusion-support will be extended to support:

  • Function calls
  • Object creations
as far as static analyzes allows these constructs.