Analisi Statica di Smart Contract in Ethereum: Stimare i Consumi di Gas

Il gas è l'unità di misura dello sforzo computazionale richiesto per eseguire un programma in Ethereum. Questo carburante ha un costo, espresso in ether, l'unità di conto di Ethereum. È necessario acquistare il gas prima che il programma venga eseguito. Per questa ragione talvolta può accadere che durante l'esecuzione si esaurisca e che quindi il programma si blocchi. Siccome una situazione di questo genere può comportare una perdita di denaro, è preferibile agire sul codice prima della sua esecuzione, in modo da evitare spiacevoli inconvenienti. In questo contesto entra in gioco l'analisi statica: permettendo di verificare le proprierà dei programmi prima che vengano eseguiti, può essere applicata ai programmi di Ethereum per stimarne i consumi di gas. Questo compito non è poi così semplice. Vedremo quali sono le tecniche di analisi utili a stimare i consumi di gas, e quali sono i limiti di questa analisi.