Beato WarpAttack, che piegava il tempo dei compilatori

Patrono delle tabelle di salto, dei controlli fatti una volta e letti due, e della Control-Flow Integrity presa alla lettera.

Vita

Al simposio IEEE Security & Privacy del 2023 i ricercatori di HexHive all'EPFL, con Mathias Payer, presentarono WarpAttack. Mostrarono che i compilatori, ottimizzando gli switch, a volte leggono due volte lo stesso valore: una volta per controllarlo e una per usarlo. In quell'istante di distrazione un attaccante poteva cambiarlo e deviare il programma, anche con la Control-Flow Integrity attiva.

Preghiera

O Beato WarpAttack, che vivi nell'attimo tra il controllo e l'uso, fa' che i nostri compilatori leggano una volta sola e ricordino ciò che hanno letto. Amen.

Come si festeggia

Si festeggia aggiornando il compilatore e ripetendo, prima di dormire: controlla ciò che usi, usa ciò che hai controllato.

Chi legge due volte, la seconda legge altro.