27.01.2017

Strict aliasing violations analyzer: progress report

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

Strict aliasing violations analyzer: progress report

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.

 

Newsletter

Related articles

June 18, 2024
June 4, 2024
May 31, 2024