Názor k článku V čem spočívají Meltdown a Spectre? Zneužívají optimalizací procesorů od andy - "Mimochodem, ten příklad co se uvádí u Spectre...

"Mimochodem, ten příklad co se uvádí u Spectre jako způsob proniknutí mimo vyhrazenou oblast, tak pokud to takhle někdo má naprogramovaný, že jen zkontroluje rozsah a když je to mimo tak to nijak neřeší (žádná výjimka, nic?),"

Pokud to dobře chápu, tak se jedná o to, že pošlu do BPF kód, který vypadá jako "a=x[100] & 1;y[a]=1", a v kernelu se provede:

if (idx < 0 || idx >=limitX) return CHYBA;
a = x[idx] &1;
if (a <0 || a >= limitX) return CHYBA;
y[a] = 1;
...

Co by to mělo udělat víc?