digitalmars.D - Spotting possible integer overﬂows statically

C & C++ DMDScript

digitalmars.D - Spotting possible integer overﬂows statically

bearophile (5/5) Jul 17 2010 "Modular Bug-ﬁnding for Integer Overﬂows in the Large: Sou...

bearophile <bearophileHUGS lycos.com> writes:

"Modular Bug-&#64257;nding for Integer Over&#64258;ows in the Large: Sound,
Ef&#64257;cient, Bit-precise Static Analysis"
By Yannick Moy et al.:
http://research.microsoft.com/apps/pubs/?id=80722

Bye,
bearophile

Jul 17 2010