Adrian Sampson
I put a “find the three memory-safety bugs in this C program” question on my exam, and of course there are (at least) four bugs 🤦
Feb 20 at 1:06amWeb
Show threadAdrian SampsonFeb 20
Show threadPer VognsenFeb 20
@adrian Good thing you hedged with (at least). :)
Show threadPer VognsenFeb 20
@adrian Did you include some landmines involving lifetime-end pointer zap? Although it looks like it's one of the things that might get "fixed" in the spec since it makes too much existing useful code into UB.
Show threadAdrian SampsonFeb 20
@pervognsen I did not, but there are more exams coming in this class… 🤪
Show threadLindsey KuperFeb 20
@adrian should've just left out the word "the"
Show threadBruce Heerssen Feb 20

@adrian

Change it to "find three" so that it's open ended

Show threadJohn RegehrFeb 20
@adrian I'm pretty sure that there's never, ever been a "find the C bug" where this didn't happen
Show threadAdrian SampsonFeb 20
@regehr who knew the “every nontrivial C program has UB” theorem had the corollary “every intentionally buggy C program has even more bugs than that”
Show threadEric PetersonFeb 20
@adrian Off by one my boi