Strict aliasing, type-based alias analysis, C, and static analysis
My colleagues and I have written this article. I feel we are starting to get a good grasp of what “strict aliasing” is, but who knows what other surprises remain to be had as we start applying the analyzer to more and more software.