View mode: basic / threaded / horizontal-split · Log in · Help
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
Top | Discussion index | About this forum | D home