Strict aliasing violations analyzer: progress report

Strict aliasing, type-based alias analysis, C, and static analysis

Graphic: Technical article

Detecting Strict Aliasing Violations in the Wild

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.



Related articles

February 27, 2024
January 25, 2024