July 17, 2010 Spotting possible integer overflows statically | ||||
|---|---|---|---|---|
| ||||
 | "Modular Bug-finding for Integer Overflows in the Large: Sound, Efficient, Bit-precise Static Analysis" By Yannick Moy et al.: http://research.microsoft.com/apps/pubs/?id=80722 Bye, bearophile | |||
Permalink
ReplyCopyright © 1999-2021 by the D Language Foundation