Strict aliasing violations analyzer: progress report

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

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 analyser to more and more software.


Related articles

May 23, 2023
May 23, 2023
May 23, 2023