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.

Revision: r1.1 - 11 Nov 2007 - 14:46 - EricBouwers
PHP > PhpSat > ConstPropStatus
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback