Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:77007 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 82042 invoked from network); 1 Sep 2014 14:12:11 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 1 Sep 2014 14:12:10 -0000 Authentication-Results: pb1.pair.com smtp.mail=lester@lsces.co.uk; spf=permerror; sender-id=unknown Authentication-Results: pb1.pair.com header.from=lester@lsces.co.uk; sender-id=unknown Received-SPF: error (pb1.pair.com: domain lsces.co.uk from 217.147.176.214 cause and error) X-PHP-List-Original-Sender: lester@lsces.co.uk X-Host-Fingerprint: 217.147.176.214 mail4-2.serversure.net Linux 2.6 Received: from [217.147.176.214] ([217.147.176.214:59956] helo=mail4.serversure.net) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 76/04-48532-8BE74045 for ; Mon, 01 Sep 2014 10:12:09 -0400 Received: (qmail 8708 invoked by uid 89); 1 Sep 2014 14:12:05 -0000 Received: by simscan 1.3.1 ppid: 8700, pid: 8705, t: 0.0626s scanners: attach: 1.3.1 clamav: 0.96/m:52/d:10677 Received: from unknown (HELO ?10.0.0.8?) (lester@rainbowdigitalmedia.org.uk@81.138.11.136) by mail4.serversure.net with ESMTPA; 1 Sep 2014 14:12:05 -0000 Message-ID: <54047EB5.8040209@lsces.co.uk> Date: Mon, 01 Sep 2014 15:12:05 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.6.0 MIME-Version: 1.0 To: internals@lists.php.net References: In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: Re: [PHP-DEV] Some good analysis using PVS From: lester@lsces.co.uk (Lester Caine) On 01/09/14 13:44, Pierre Joye wrote: > A quick ping about some anaylise done by the PVS team: > > http://www.viva64.com/en/b/0277/ > > The ones listed are all valid so far. We will fix some of them in the > next days but feel free to go ahead, FIFC :) It's pleasing to see that there is nothing particularly 'nasty' only the sort of changes that do creep in when code gets re-factored? If that is all that comes up then it shows just what a good job is being done by the software crew! -- Lester Caine - G8HFL ----------------------------- Contact - http://lsces.co.uk/wiki/?page=contact L.S.Caine Electronic Services - http://lsces.co.uk EnquirySolve - http://enquirysolve.com/ Model Engineers Digital Workshop - http://medw.co.uk Rainbow Digital Media - http://rainbowdigitalmedia.co.uk