paper about clang-based integer overflow detection

Some time ago I posted here a couple times about integer overflow checking. Since then we (at Utah) joined forces with Vikram Adve and his student Will Dietz who are also looking at integer issues. Between the four of us we've done a lot of looking at and thinking about integer overflow in C/C++, and have written up a paper containing some data and observations. Perhaps it'll be interesting to people here:

We'd be happy to get any feedback.


John Regehr