AboutPHP-satStaticanalysisforPHPFeaturesSomeofthe(unique)featuresofPHP-satare:Documentedbug-patternsConfigurablesecuritycheck(status)OptiontopreservecommentsPrettyprinterAutomaticinclusionoffiles(status)ToolsToolsthatareincludedinthepackageare:php-satphp-sat-configpp-php-satStaticProjectInfoContributors:EricBouwersSponsors:GoogleSummerofCode2006License:PHP-SATi...