|Divide by zero detection email@example.com (news.club-internet.fr) (2007-09-18)|
|Re: Divide by zero detection DrDiettrich1@aol.com (Hans-Peter Diettrich) (2007-09-20)|
|Re: Divide by zero detection alexc@TheWorld.com (Alex Colvin) (2007-09-21)|
|Re: Divide by zero detection firstname.lastname@example.org (George Neuner) (2007-09-22)|
|Re: Divide by zero detection email@example.com (Gene) (2007-09-24)|
|From:||Alex Colvin <alexc@TheWorld.com>|
|Date:||Fri, 21 Sep 2007 02:02:31 +0000 (UTC)|
|Organization:||The World : www.TheWorld.com : Since 1989|
|Posted-Date:||21 Sep 2007 02:21:07 EDT|
>> I am looking for tools able to detect inside the source code,
>> potential divide by zero errors. Does it exist. For what languages,
>> what platform ? Thanks for your help
I think you're unlikely to find this in software, as it's one of the
errors that is reliably and efficiently detected in hardware.
>No zero divide there, either. Doing the analysis properly is doubtless
>undecidable, but with aggressive dataflow analysis you should be able to
>rule out a lot of known non-zero divisors. -John]
Can you asseme 0s must come from constant 0, addition, subtraction or
bitwise operation, or division. Multiplication only propagates existing
zeros. See if any of these can reach your divisor.
mac the naof
Return to the
Search the comp.compilers archives again.