When the compiler lies: breaking memory safety in safe Go (opens in new tab)

Cloud security, Go internals, and systems engineering: bugs, edge cases, and things that weren’t supposed to happen.