search for: array1_load

...lly 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 note: inlined into function foo at: spectre.c:18:6 As it runs after inlining it must be ran at –O1 or above (recommendatio...