Re: 5.NEXT Integer and String type modifications
| From: | Johannes Schlüter | Date: | Tue, 04 Jun 2013 10:01:21 +0000 |
| Subject: | Re: 5.NEXT Integer and String type modifications | ||
| References: | 1 2 3 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-67624@lists.php.net to get a copy of this message | ||
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