Fri, 21 Sep 2007 02:02:31 +0000 (UTC)

Related articles |
---|

Divide by zero detection qualitychecker@free.fr (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 gneuner2@comcast.net (George Neuner) (2007-09-22) |

Re: Divide by zero detection gene.ressler@gmail.com (Gene) (2007-09-24) |

From: | Alex Colvin <alexc@TheWorld.com> |

Newsgroups: | comp.compilers |

Date: | Fri, 21 Sep 2007 02:02:31 +0000 (UTC) |

Organization: | The World : www.TheWorld.com : Since 1989 |

References: | 07-09-074 07-09-078 |

Keywords: | arithmetic, analysis |

*>> 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

Post a followup to this message

Return to the
comp.compilers page.

Search the
comp.compilers archives again.