%TOC%

---++ Features
Some of the (unique) features of PHP-sat are:

	* Documented [[PhpSatBugPatterns][bug-patterns]]
	* Configurable security check ([[McvStatus][status]]) 
	* Option to preserve comments
	* Pretty printer 
	* Automatic inclusion of files ([[ConstPropStatus][status]]) 

---++ Tools

Tools that are included in the package are:
	* php-sat
	* php-sat-config
	* pp-php-sat

---++ Static Project Info

Contributors:
	* Eric Bouwers

Sponsors:
	* Google Summer of Code 2006

License:
	* PHP-SAT is LGPL (GNU Lesser General Public License) software.

<!--
	* Set SKIN = customtitle
	* Set CUSTOMTOPICTITLE = About PHP-sat
	* Set CUSTOMHEADTITLE = PHP-sat: PHP static analysis tool
-->