Detecting Strict Aliasing Violations in the Wild. - Pascal Cuoq; Loïc Runarvot; Alexander Cherepanov (VMCAI, 2017)