Undefined Behavior News Today

I have found a lot of programmers that do not understand the Halting Problem and its implications, so here is my attempt to fix that.

A look at how C allows you to handle memory

It’s That Blog Post. The release one, where we round up all the last of the features approved since the last time I blogged. If you’re

In my previous blog post on pointer provenance, I have shown that not thinking carefully about pointers can lead to a compiler that is internally inconsistent: programs that are intended to...

There is an adage in the business world that goes something like this: ⊕ This quote is attributed to Theodore Levitt, but there is significant …

I recently published a blog post on why Undefined Behavior is actually not a bad idea. Coincidentally, this is just a few weeks after the publication of this paper by Victor Yodaiken which ...

Pointers Are Complicated II, or: We need better language specs just because two pointers point to the same address, does not mean they are equal in the sense that they can be used interchangeably. This “extra information” that distinguishes different pointers to the same address is typically called provenance. This post is another attempt to convince you that provenance is “real”, by telling a cautionary tale of what can go wrong when provenance is not considered sufficiently carefully...