Re: Static Analysis of PHP_5_4 with CLANG
| From: | Stas Malyshev | Date: | Sun, 05 Feb 2012 22:08:17 +0000 |
| Subject: | Re: Static Analysis of PHP_5_4 with CLANG | ||
| References: | 1 2 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-57750@lists.php.net to get a copy of this message | ||
Hi!
Another thing - is there any way to give CLANG some hints about some functions - such as the fact that zend_error(E_ERROR) does not return or just make some exceptions when we know some situation that it thinks can happen does not in fact happen - such as revtal_ptr_ptr = &retval_ptr and then passing retval_ptr_ptr would actually change retval_ptr somewhere on the way, etc.
The idea is if we could weed out false positives and somehow mark them we could use this tool in CI for detecting real errors.
--
Stanislav Malyshev, Software Architect
SugarCRM: http://www.sugarcrm.com/
(408)454-6900 ext. 227