  The use of blockchain and smart contracts have not stopped growing in recent
years. Like all software that begins to expand its use, it is also beginning to
be targeted by hackers who will try to exploit vulnerabilities in both the
underlying technology and the smart contract code itself. While many tools
already exist for analyzing vulnerabilities in smart contracts, the
heterogeneity and variety of approaches and differences in providing the
analysis data makes the learning curve for the smart contract developer steep.
In this article the authors present ESAF (Ethereum Security Analysis
Framework), a framework for analysis of smart contracts that aims to unify and
facilitate the task of analyzing smart contract vulnerabilities which can be
used as a persistent security monitoring tool for a set of target contracts as
well as a classic vulnerability analysis tool among other uses.
