TOC Features PHP-front is a package you can use to generate, analyse, or transform PHP code. It contains a handcrafted SDF grammar for PHP, a handcrafted pretty printer ...

Syntax definition The syntax definition can be browsed online: PHP4 syntax definition PHP5 syntax definition The syntax definition of the PHP versions identify which ...

The idea for a library that gives access to common php-meta-programming facilities was already mentioned in the application for the SoC. A quote: The community will ...

Syntax Definition PHP-Front has an extensive test suite that is run on every build. The grammar is tested by over six hunderd unit-tests that cover at least every ...

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 ...

TOC Features Some of the (unique) features of PHP-sat are: Documented bug-patterns Configurable security check (status) Option to preserve comments Pretty printer ...

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 ...

TOC Why configuration? The configuration file is used to configure the security-analysis within php-sat. It contains information about three things: Which variables ...

PHP-Sat is always on the lookout for developers. If you are interested in working on PHP-Sat there are a couple of things that can come in handy. The source of the ...

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 ...

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 ...

The PHP-Sat logo is made by Robert van Geenhuizen. We are very grateful that he took the time to develop this logo. We think it is 'compleet hip', which means so much ...

!! 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 ...

PHP-Sat was originally called PSAT. This stands for PHP Static Analysis Tool. This name should not come as a surprise. When the time came to publish the project on ...

There where two sources that made the idea for PHP-Sat. The first source of inspiration came from my work as a assistant at the course "internet programmeren" (Internet ...

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 ...

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 ...

If you are in need of support you can try either one of these channels to ask questions or file issues: Mailing lists IRC Issues

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 ...

The pretty printer that comes with PHP is designed to pretty print an AST-representation of a PHP-program according to a set of rules. It is not designed to return ...