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.