search for: sceptr

...s to check a program at the IR level for Spectre variant 1 (bounds check bypass) vulnerabilities. The pass was initially developed for internal use. However, as it has proved to be useful we have decided to share it with the LLVM community. The pass currently must be enabled with -mllvm -enable-sceptre. When it finds a vulnerability it outputs a diagnostic of the form: warning: spectre.c:10:10: in function array1_load: found vulnerable load note: inlined into function foo at: spectre.c:19:24 note: bounds check with index "index" is at: spectre.c:6:16: in function is_valid_idx no...

...tool](http://lists.llvm.org/pipermail/llvm-dev/2018-February/121317.html). * Chris Jackson has posted an RFC on [adding Visual Studio compatible diagnostics output to LLD](http://lists.llvm.org/pipermail/llvm-dev/2018-February/121297.html). * Robert Lougher has started the implementation of 'Sceptre', an LLVM pass to check for Spectre variant 1 vulnerabilities. He is [seeking feedback](http://lists.llvm.org/pipermail/llvm-dev/2018-February/121349.html). * Nicolai Hähnle outlined a [series of in-development TableGen cleanups](http://lists.llvm.org/pipermail/llvm-dev/2018-February/121301.h...