Displaying 1 result from an estimated 1 matches for "microsoftcompilerspectremitigation".
2018 Feb 22
0
[RFC] Sceptre a Spectre variant 1 detector
...abled 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 (one of
the examples leaks the value, and is detected with
–sceptre-show-cal...