Undefined-behavior overflows in GMP?

Marc Glisse marc.glisse at inria.fr
Tue Nov 20 09:35:07 CET 2012


On Tue, 20 Nov 2012, Roberto Bagnara wrote:

> I have just finished reading "Understanding Integer Overflow in C/C++",
> by Will Dietz, Peng Li, John Regehr, and Vikram Adve
> (http://www.cs.utah.edu/~regehr/papers/overflow12.pdf).
>
> On page 9, it says:
>
>  Finally, we reported nine undefined overflows
>  in the GNU Multiple Precision Arithmetic Library, one in
>  BIND, and one in OpenSSL. We received no response from
>  the developers of these three packages.
>
> Talking about GMP alone, is this accurate and up to date?
> Would it be possible to see the reports that were sent?

on gmp-bugs:
Date: Fri, 20 Aug 2010 21:34:40 -0600

-- 
Marc Glisse


More information about the gmp-devel mailing list