Displaying 1 result from an estimated 1 matches for "d43643".
Did you mean:
43643
2018 Feb 22
0
[RFC] Sceptre a Spectre variant 1 detector
...nlined into function foo at: spectre.c:18:6
As it runs after inlining it must be ran at –O1 or above (recommendation 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 h...