Identifying Vulnerabilities in Smart Contracts using Interval Analysis

Ştefan-Claudiu Susan, Andrei Arusoaie

This paper serves as a progress report on our research, specifically focusing on utilizing interval analysis, an existing static analysis method, for detecting vulnerabilities in s…