From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,e01fe1b326df26d4
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!proxad.net!proxad.net!news.clara.net!wagner.news.clara.net!easynet-monga!easynet.net!news-peer-lilac.gradwell.net!not-for-mail
From: "Martin Dowie" <martin.dowie@baesystems.com>
Newsgroups: comp.lang.ada
References: 
 <GiIqe.6662$U4.962926@news.xtra.co.nz><mailman.16.1118541539.17633.comp.lang.ada@ada-france.org><PANqe.6723$U4.968854@news.xtra.co.nz><79ahr0jozmqb$.10jzllrcjpmsv.dlg@40tude.net><wccbr6bhg9u.fsf@shell01.TheWorld.com><JNZqe.3031$NX4.2109@newsread1.news.pas.earthlink.net><wccfyvm78k0.fsf@shell01.TheWorld.com><_pwre.7121$U4.1023104@news.xtra.co.nz><wccy88ugorw.fsf@shell01.TheWorld.com><dGtwe.11236$U4.1433098@news.xtra.co.nz>
 <mailman.114.1120039635.17633.comp.lang.ada@ada-france.org>
 <fRuwe.11250$U4.1434869@news.xtra.co.nz> <3amdnX1xs-ikHV_fRVn-rA@comcast.com>
Subject: Re: Division by zero
Date: Wed, 29 Jun 2005 13:28:45 +0100
Organization: BAE SYSTEMS
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1478
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1478
Message-ID: <42c2921b$1_1@glkas0286.greenlnk.net>
X-Original-NNTP-Posting-Host: glkas0286.greenlnk.net
NNTP-Posting-Date: 29 Jun 2005 12:29:16 GMT
NNTP-Posting-Host: 20.133.0.1
X-Trace: 1120048156 news.gradwell.net 38040 dnews/20.133.0.1
X-Complaints-To: news-abuse@gradwell.net
Xref: g2news1.google.com comp.lang.ada:11730
Date: 2005-06-29T12:29:16+00:00
List-Id: <comp.lang.ada>

Jeff Creem wrote:
> If you really are looking to statically detect cases that are somewhat
> more non-trivial then I'd suggest something like
>
> http://www.polyspace.com/
>
> Note that with a large pre-existing code base it seems possible
> (likely?) that this latter solution could find a lot of false
> positives but it is hard to know until one tries.

Yup but it's less of a problem for Ada users than for C/C++ users (trust
me)! :-)

...and as there is a specific "Div Zero" check, so you can simply filter on
this one check and inspect anything highlighted.

Cheers

-- Martin