Aliasing, Arenas, Sanitizers

In this article I discuss how memory arenas interact with strict type aliasing in C, and how to use the clang type sanitizer to check compliance. Table of contents Requirements Strict aliasing Memory arenas Arenas and aliasing Type sanitizer Requirements We will need GNU libc based Linux system with the clang C compiler. If you are running a non-GNU system, e.g. one using musl libc, then you can…