The Exodus Intel stagefright patch vuln reminded me of @rustlang discussions of arithmetic safety. What ever came of those? /me skims rfcs…
-
-
Replying to @least_nathan
@rustlang rfc 560 seems the most relevant active RFC; glad to see at least some kind of opt-in overflow protection: https://github.com/rust-lang/rfcs/blob/master/text/0560-integer-overflow.md …1 reply 0 retweets 0 likes -
Replying to @least_nathan
@rustlang I recall some mind-bending proposal to *statically ensure* that overflow is never possible, but didn't see it in a skim of rfcs…2 replies 0 retweets 0 likes
Replying to @least_nathan
@least_nathan you need stronger types than we have
11:55 AM - 13 Aug 2015
0 replies
0 retweets
0 likes
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.