@CopperheadSec Warning/error options, ubsan, etc. are nice tools for catching bad code. But the prob. is that ppl are being taught nonsense.
-
-
Replying to @RichFelker
@RichFelker Projects truly aiming for correctness like SQLite are rare. Seems like laziness and lack of maintenance are the usual problems.1 reply 0 retweets 0 likes -
Replying to @CopperheadOS
@RichFelker It's certainly possible to write correct C code but a tiny fraction of C programmers are willing to put in the required effort.1 reply 0 retweets 1 like -
Replying to @CopperheadOS
@CopperheadSec Most of the "effort" is just not copying bad code from other people's bad examples. Yes, a few things are actually hard, tho.1 reply 1 retweet 1 like -
Replying to @RichFelker
@CopperheadSec If you learned C from scratch without reading broken code as examples, where would you learn aliasing was even possible?1 reply 0 retweets 0 likes -
Replying to @RichFelker
@RichFelker Trial and error with little concern towards whether it's safe. Or sites spreading lots of bad information like Stack Overflow.1 reply 0 retweets 0 likes -
Replying to @CopperheadOS
@CopperheadSec SO information on C is generally very high quality; misinformation gets downvoted in a hurry & replaced by good info.1 reply 0 retweets 0 likes -
Replying to @RichFelker
@CopperheadSec I'm not sure how "trial & error" would lead you to aliasing diff types without a preexisting idea of that "technique".1 reply 0 retweets 0 likes -
Replying to @RichFelker
@RichFelker Doing it via unions is an obvious technique but isn't really well-defined in C and is explicitly undefined in C++.2 replies 0 retweets 0 likes -
Replying to @CopperheadOS
@CopperheadSec Yeah but all the decent docs on C tell you that the only member of a union you can access is the most-recently-stored one.1 reply 0 retweets 0 likes
@CopperheadSec I concede that a newcomer to C could plausibly discover union-based aliasing via trial-and-error though.
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.