Some fun facts about overflow checkers. First off, GCC doesn’t appear to support unsigned overflow checks, which is a shame because JF C traps on unsigned overflow.https://godbolt.org/g/HEA7sn
Isn't there a sanitizer for unsigned overflow? I recall complaining about it being a sanitizer because it's changing language semantics rather than defining undefined cases...
-
-
Maybe GCC took your feedback? Some quick googling didn’t find anything.
-
Maybe it was clang only.
-
Anyway, having the ability to make every missing overflow check in a security-critical codebase unexploitable is a Good Thing.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.