On Tue, 2013-06-04 at 10:41 +0200, Ivan Enderlin @ Hoa wrote: > > History shows that such gigantic patches are often not finished and > > done as people underestimate the size of PHP and the fact that all > > etensions have to be checked which for this case means checking > > each external lib for their correct type for all their functions > > etc ... but I don't wan to stop you, I'm happy if you do this :-) > > (while I'm also happy about everybody spending time on fixing bugs > > instead of adding such high-risk changes ;-))
> Is it possible to use a static C analyzer here? It could help a lot. I > think about Frama-C [1], Pork [2] (now included in Oink [3]) or Clang > Static Analyser [4] to name a few. A more complete list can be found > in [5]. To some degree, but there are enough cases which are technically and such correct but logically wrong, so the code still has to be reviewed. johannes -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
