Strict aliasing violations analyzer: progress report
January 20, 2017
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 analyzer to more and more software.