search for: is_valid_idx

...m -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 (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....