Re: Division by zero

["Martin Dowie" <martin.dowie@baesystems.com>]

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