TWiki's PHP web
http://www.program-transformation.org/view/PHP
The PHP web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World.en-usCopyright 2008 by contributing authorsEelco Visser [webmaster@strategoxt.org]Eelco Visser [webmaster@strategoxt.org]TWikiTWiki.PHPTWiki home.PHP
http://www.program-transformation.org/view/PHP
http://www.program-transformation.org/pub/TWiki/TWikiLogos/twikiRobot46x50.gifPhpSatReleases
http://www.program-transformation.org/view/PHP/PhpSatReleases?t=2008-05-20T17:53Z
There is no stable release of PHP-Sat (yet). Check the road map for the current status of the 0.1 release. You can always download, install and try the latest version ... (last changed by EricBouwers)2008-05-20T17:53ZEricBouwers1.10updatedmajorhttp://www.program-transformation.org/rdiff/PHP/PhpSatReleaseshttp://www.program-transformation.org/rdiff/PHP/PhpSatReleasesPhpFrontReleases
http://www.program-transformation.org/view/PHP/PhpFrontReleases?t=2008-05-20T17:52Z
Stable Releases There is no stable release of PHP-Front (yet). Check the road map for the current status of the 0.1 release. Latest Developments Distributions of ... (last changed by EricBouwers)2008-05-20T17:52ZEricBouwers1.9updatedmajorhttp://www.program-transformation.org/rdiff/PHP/PhpFrontReleaseshttp://www.program-transformation.org/rdiff/PHP/PhpFrontReleasesWebPreferences
http://www.program-transformation.org/view/PHP/WebPreferences?t=2008-05-20T17:51Z
TWiki.PHP Web Preferences The following settings are web preferences of the TWiki.PHP web. These preferences overwrite the site-level preferences in TWIKIWEB . WIKIPREFSTOPIC ... (last changed by EricBouwers)2008-05-20T17:51ZEricBouwers1.11updatedmajorhttp://www.program-transformation.org/rdiff/PHP/WebPreferenceshttp://www.program-transformation.org/rdiff/PHP/WebPreferencesTheExampleProject
http://www.program-transformation.org/view/PHP/TheExampleProject?t=2008-02-24T19:52Z
These pages describe how you can set-up your PHP-Front-based project. We will use a real-life example to explain all the steps that are involved in making a PHP-Front ... (last changed by EricBouwers)2008-02-24T19:52ZEricBouwers1.10updatedmajorhttp://www.program-transformation.org/rdiff/PHP/TheExampleProjecthttp://www.program-transformation.org/rdiff/PHP/TheExampleProjectWebStatistics
http://www.program-transformation.org/view/PHP/WebStatistics?t=2008-02-11T01:12Z
Statistics for TWiki.PHP Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2008 3910 0 ... (last changed by TWikiGuest)2008-02-11T01:12Zguest1.149updatedmajorhttp://www.program-transformation.org/rdiff/PHP/WebStatisticshttp://www.program-transformation.org/rdiff/PHP/WebStatisticsPhpTools
http://www.program-transformation.org/view/PHP/PhpTools?t=2007-12-10T21:39Z
TOC Introduction Within the documentation of PHP-front the TheExampleProject is used to explain how you can setup your own project. This documentation uses PHP-Tools ... (last changed by EricBouwers)2007-12-10T21:39ZEricBouwers1.7updatedmajorhttp://www.program-transformation.org/rdiff/PHP/PhpToolshttp://www.program-transformation.org/rdiff/PHP/PhpToolsWebHome
http://www.program-transformation.org/view/PHP/WebHome?t=2007-11-11T14:59Z
PHP-Sat is a Static Analysis tool that can be used to check for common mistakes in PHP source code. One of the key-features of PHP-Sat is the automatic detection of ... (last changed by EricBouwers)2007-11-11T14:59ZEricBouwers1.9updatedmajorhttp://www.program-transformation.org/rdiff/PHP/WebHomehttp://www.program-transformation.org/rdiff/PHP/WebHomeConstPropStatus
http://www.program-transformation.org/view/PHP/ConstPropStatus?t=2007-11-11T14:46Z
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 ... (last changed by EricBouwers)2007-11-11T14:46ZEricBouwers1.1updatedmajorhttp://www.program-transformation.org/rdiff/PHP/ConstPropStatushttp://www.program-transformation.org/rdiff/PHP/ConstPropStatusMcvStatus
http://www.program-transformation.org/view/PHP/McvStatus?t=2007-11-11T14:19Z
The following programming constructs are currently supported by the MCV000-pattern: Operator Expressions Control-flow statements This means that the security check ... (last changed by EricBouwers)2007-11-11T14:19ZEricBouwers1.1updatedmajorhttp://www.program-transformation.org/rdiff/PHP/McvStatushttp://www.program-transformation.org/rdiff/PHP/McvStatusPhpSatMCV000
http://www.program-transformation.org/view/PHP/PhpSatMCV000?t=2007-11-11T14:18Z
!! Under construction !! This page will hold the description of the security algorithm of PHP-Sat as flagged by pattern MCV000. The information is already available ... (last changed by EricBouwers)2007-11-11T14:18ZEricBouwers1.3updatedmajorhttp://www.program-transformation.org/rdiff/PHP/PhpSatMCV000http://www.program-transformation.org/rdiff/PHP/PhpSatMCV000PhpSat
http://www.program-transformation.org/view/PHP/PhpSat?t=2007-11-11T14:13Z
TOC Features Some of the (unique) features of PHP-sat are: Documented bug-patterns Configurable security check (status) Option to preserve comments Pretty printer ... (last changed by EricBouwers)2007-11-11T14:13ZEricBouwers1.11updatedmajorhttp://www.program-transformation.org/rdiff/PHP/PhpSathttp://www.program-transformation.org/rdiff/PHP/PhpSatPhpSatConfiguration
http://www.program-transformation.org/view/PHP/PhpSatConfiguration?t=2007-11-11T14:12Z
TOC Why configuration? The configuration file is used to configure the security-analysis within php-sat. It contains information about three things: Which variables ... (last changed by EricBouwers)2007-11-11T14:12ZEricBouwers1.2updatedmajorhttp://www.program-transformation.org/rdiff/PHP/PhpSatConfigurationhttp://www.program-transformation.org/rdiff/PHP/PhpSatConfigurationPhpSatGettingStarted
http://www.program-transformation.org/view/PHP/PhpSatGettingStarted?t=2007-11-11T14:11Z
TOC Analyzing a file After you have installed php-sat you can run it by typing: php-sat h If this command does not produce a list of all the options that are available ... (last changed by EricBouwers)2007-11-11T14:11ZEricBouwers1.3updatedmajorhttp://www.program-transformation.org/rdiff/PHP/PhpSatGettingStartedhttp://www.program-transformation.org/rdiff/PHP/PhpSatGettingStartedPhpSatBugPatterns
http://www.program-transformation.org/view/PHP/PhpSatBugPatterns?t=2007-11-11T14:08Z
TOC What is a bug-pattern? Let us start with a definition: A bug-pattern describes a common mistake at the application level. So each bug-pattern describes a pattern ... (last changed by EricBouwers)2007-11-11T14:08ZEricBouwers1.5updatedmajorhttp://www.program-transformation.org/rdiff/PHP/PhpSatBugPatternshttp://www.program-transformation.org/rdiff/PHP/PhpSatBugPatternsPhpSatDocumentation
http://www.program-transformation.org/view/PHP/PhpSatDocumentation?t=2007-11-11T14:07Z
TOC Installation The installation process is the same as for PHP-Front. Usage Getting started with PHP-Sat PHP-Sat configuration explained Development If you want ... (last changed by EricBouwers)2007-11-11T14:07ZEricBouwers1.7updatedmajorhttp://www.program-transformation.org/rdiff/PHP/PhpSatDocumentationhttp://www.program-transformation.org/rdiff/PHP/PhpSatDocumentationPhpSatQuality
http://www.program-transformation.org/view/PHP/PhpSatQuality?t=2007-11-11T14:02Z
Bugpatterns Each bugpattern category within PHP-Sat has his own testsuite. Each bugpattern has is own section within the testsuite to test different properties of ... (last changed by EricBouwers)2007-11-11T14:02ZEricBouwers1.4updatedmajorhttp://www.program-transformation.org/rdiff/PHP/PhpSatQualityhttp://www.program-transformation.org/rdiff/PHP/PhpSatQuality