Category: Secure Coding

I was recently horrified to learn that there is no real consensus about what the terms “overflow” and “wraparound” mean in the C Standard, in particular, if unsigned integers were capable of overflow. I wrote the attached paper to clarify the use of these terms. Please let me know if you have any comments, as I need to submit this paper soon.

I’m looking for feedback for the following proposal to the C Standards committee to maintain compatibility with C++ with respect to the deprecation of certain uses of volatile. Leave your comments/questions in the comments or email me. Thanks!