*!! 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 in the SVN-repository, but it is scattered and not well written. Please check back when this page is updated.

	* [[%SVNROOT%/psat/php-sat/trunk/doc/general/phase_description.txt][Phase description]]
	* [[%SVNROOT%/psat/php-sat/trunk/doc/general/safety_types_description.txt][Safety types]]
	* [[%SVNROOT%/psat/php-sat/trunk/doc/malicious_code_vulnerability/sensitive_sinks.txt][Sensitive Sinks]]
	* [[%SVNROOT%/psat/php-sat/trunk/doc/malicious_code_vulnerability/tainted_data_sources.txt][Tainted sources]]
	* [[%SVNROOT%/psat/php-sat/trunk/doc/malicious_code_vulnerability/untainting_data.txt][Untainting functions]]