search for: paulkocher

.... 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 (one of the examples leaks the va...