Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:67624
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain schlueters.de from 217.114.211.66 cause and error)
To: ivan.enderlin@hoa-project.net
Cc: internals@lists.php.net
In-Reply-To: <51ADA82F.6040407@hoa-project.net>
References:
	 <CAAyV7nG126YkpOF-EShHbf=4rgX7gQ2VE0ShRh0-50_Yr--h4g@mail.gmail.com>
	 <3e1b2d12-97cd-4928-b526-0a4b9d443ca5@email.android.com>
	 <51ADA82F.6040407@hoa-project.net>
Content-Type: text/plain; charset="UTF-8"
Date: Tue, 04 Jun 2013 12:01:21 +0200
Message-ID: <1370340081.2630.108.camel@guybrush>
Mime-Version: 1.0
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] 5.NEXT Integer and String type modifications
From: johannes@schlueters.de (Johannes =?ISO-8859-1?Q?Schl=FCter?=)

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