Web Rss

Static analysis for PHP
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-us Copyright 2008 by contributing authors Eelco Visser [webmaster@strategoxt.org] Eelco Visser [webmaster@strategoxt.org] TWiki TWiki.PHP TWiki home.PHP http://www.program-transformation.org/view/PHP http://www.program-transformation.org/pub/TWiki/TWikiLogos/twikiRobot46x50.gif PhpSatReleases 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:53Z EricBouwers 1.10 updated major http://www.program-transformation.org/rdiff/PHP/PhpSatReleases http://www.program-transformation.org/rdiff/PHP/PhpSatReleases PhpFrontReleases 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:52Z EricBouwers 1.9 updated major http://www.program-transformation.org/rdiff/PHP/PhpFrontReleases http://www.program-transformation.org/rdiff/PHP/PhpFrontReleases WebPreferences 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:51Z EricBouwers 1.11 updated major http://www.program-transformation.org/rdiff/PHP/WebPreferences http://www.program-transformation.org/rdiff/PHP/WebPreferences TheExampleProject 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:52Z EricBouwers 1.10 updated major http://www.program-transformation.org/rdiff/PHP/TheExampleProject http://www.program-transformation.org/rdiff/PHP/TheExampleProject WebStatistics 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:12Z guest 1.149 updated major http://www.program-transformation.org/rdiff/PHP/WebStatistics http://www.program-transformation.org/rdiff/PHP/WebStatistics PhpTools 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:39Z EricBouwers 1.7 updated major http://www.program-transformation.org/rdiff/PHP/PhpTools http://www.program-transformation.org/rdiff/PHP/PhpTools WebHome 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:59Z EricBouwers 1.9 updated major http://www.program-transformation.org/rdiff/PHP/WebHome http://www.program-transformation.org/rdiff/PHP/WebHome ConstPropStatus 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:46Z EricBouwers 1.1 updated major http://www.program-transformation.org/rdiff/PHP/ConstPropStatus http://www.program-transformation.org/rdiff/PHP/ConstPropStatus McvStatus 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:19Z EricBouwers 1.1 updated major http://www.program-transformation.org/rdiff/PHP/McvStatus http://www.program-transformation.org/rdiff/PHP/McvStatus PhpSatMCV000 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:18Z EricBouwers 1.3 updated major http://www.program-transformation.org/rdiff/PHP/PhpSatMCV000 http://www.program-transformation.org/rdiff/PHP/PhpSatMCV000 PhpSat 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:13Z EricBouwers 1.11 updated major http://www.program-transformation.org/rdiff/PHP/PhpSat http://www.program-transformation.org/rdiff/PHP/PhpSat PhpSatConfiguration 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:12Z EricBouwers 1.2 updated major http://www.program-transformation.org/rdiff/PHP/PhpSatConfiguration http://www.program-transformation.org/rdiff/PHP/PhpSatConfiguration PhpSatGettingStarted 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:11Z EricBouwers 1.3 updated major http://www.program-transformation.org/rdiff/PHP/PhpSatGettingStarted http://www.program-transformation.org/rdiff/PHP/PhpSatGettingStarted PhpSatBugPatterns 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:08Z EricBouwers 1.5 updated major http://www.program-transformation.org/rdiff/PHP/PhpSatBugPatterns http://www.program-transformation.org/rdiff/PHP/PhpSatBugPatterns PhpSatDocumentation 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:07Z EricBouwers 1.7 updated major http://www.program-transformation.org/rdiff/PHP/PhpSatDocumentation http://www.program-transformation.org/rdiff/PHP/PhpSatDocumentation PhpSatQuality 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:02Z EricBouwers 1.4 updated major http://www.program-transformation.org/rdiff/PHP/PhpSatQuality http://www.program-transformation.org/rdiff/PHP/PhpSatQuality