CVE-2020-24658

Arm Compiler 5 fino alla versione 5.06u6 presenta un errore in una funzione di protezione dello stack progettata per aiutare a individuare buffer overflow basati sullo stack in array locali. Quando questa funzione è abilitata, una funzione protetta scrive un valore di guardia nello stack prima (sopra) di eventuali array vulnerabili nello stack. Il valore di guardia viene verificato per eventuali corruzioni al ritorno dalla funzione; una corruzione porta a una chiamata al gestore degli errori. In alcune circostanze, il valore di riferimento confrontato con il valore di guardia viene anch'esso scritto nello stack (dopo gli array vulnerabili). Il valore di riferimento viene scritto nello stack quando la funzione esaurisce i registri disponibili per altri dati temporanei. Se sia il valore di riferimento che il valore di guardia vengono scritti nello stack, la protezione dello stack potrebbe non rilevare la corruzione nel caso in cui entrambi i valori vengano sovrascritti con lo stesso valore. Perché sia il valore di riferimento che quello di guardia siano corrotti, sarebbe necessario sia un buffer overflow sia un buffer underflow negli array vulnerabili (o qualche altra vulnerabilità che causi la corruzione di due voci separate nello stack).