Re: Static Analysis of PHP_5_4 with CLANG

From: Date: Sun, 05 Feb 2012 21:58:13 +0000
Subject: Re: Static Analysis of PHP_5_4 with CLANG
References: 1  Groups: php.internals 
Request: Send a blank email to internals+get-57749@lists.php.net to get a copy of this message
Hi!
http://clang-php54.phpunit.de/ might be of interest to some. http://bit.ly/u06eCD has details of how to produce this report.
Thanks, definitely is a useful thing. Though I'm not sure if this tool is always right. For example, I looked at http://clang-php54.phpunit.de/report-dqJzsw.html#EndPath, and it claims in line 1331 replacement is garbage. However, the only way to get there is to pass through (flags & ENT_HTML_SUBSTITUTE_DISALLOWED_CHARS), and if (flags & ENT_HTML_SUBSTITUTE_DISALLOWED_CHARS) is not 0 then replacement is initialized in lines 1245-1252 by one of the clauses. Looks like this tool does not remember the branches it took before. Am I missing something here or should we submit a bug report to CLANG devs? -- Stanislav Malyshev, Software Architect SugarCRM: http://www.sugarcrm.com/ (408)454-6900 ext. 227

« previous php.internals (#57749) next »