Re:RAMBleed Attack – Reading Bits in Memory Without Accessin...
by mehrdadn on Wednesday June 12, 2019 @02:34AM
(#20162267)
Oh wow. I'd used /analyze before but I hadn't realized it takes SAL into account. I thought it just does limited extra analysis without SAL. Thank you!
It's part of VC++.
But I do not recommend using SAL for modern code.