SmartGraph: Static Analysis Tool for Solidity Smart Contracts

Download PDF
Open Webpage

Andrei Zhukov, Vladimir Korkhov

Published: 01 Jan 2023, Last Modified: 11 Apr 2025ICCSA (Workshops 1) 2023EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Smart contracts written in Solidity can have various vulnerabilities, which can lead to significant losses if not detected and addressed in time. Static analysis is an effective method to identify potential security issues before deploying smart contracts on the blockchain.