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.