Displaying 2 results from an estimated 2 matches for "qspectre".
Did you mean:
spectre
2018 Feb 22
0
[RFC] Sceptre a Spectre variant 1 detector
...mendation is
to run it at –O2). It's also enabled in the LTO pipeline so can detect
cases of cross module inlining with -flto.
The code is on phabricator:
https://reviews.llvm.org/D43643
Paul Kocher (one of the researchers who wrote the Spectre paper) recently
had a look at Microsoft’s /Qspectre flag:
https://www.paulkocher.com/doc/MicrosoftCompilerSpectreMitigation.html
Out of 15 examples Microsoft’s compiler was able to detect 2 (admittedly
some of the examples are very hard to detect without huge numbers of false
positives). The Sceptre detector in its current form detects 9/15 (...
2018 Mar 23
5
RFC: Speculative Load Hardening (a Spectre variant #1 mitigation)
...ad
of this approach is, simply put, catastrophic. Yet it remains the only truly
"secure by default" approach known prior to this effort and serves as the
baseline for performance.
One attempt to address the performance overhead of this and make it more
realistic to deploy is [MSVC's /Qspectre
switch](
https://blogs.msdn.microsoft.com/vcblog/2018/01/15/spectre-mitigations-in-msvc/
).
Their technique is to use static analysis within the compiler to only insert
`lfence` instructions into conditional edges at risk of attack. However,
initial analysis (still under embargo) has shown that thi...