27.01.2017

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.

Newsletter

Related articles

May 25, 2022