WASMGuard - Security framework for WASM-based Smart Contracts

Currently, applications called Smart Contracts have taken a considerable leap in blockchain technology. Achieving transaction automation is a huge success that can have many uses. Like any technology in its infancy, there are many vulnerabilities that attackers can exploit. The paper aims to create a modular solution of a security framework for smart contracts in the MultiversX blockchain: a static analyser that can currently identify three vulnerabilities for smart contracts written in the Rust programming language. This tool can be helpful because the development and testing before smart contracts reach the blockchain are done by people, which means that human error can always occur. The objective is to minimize this unfortunate event by automating contract verification in the early stages of development. The encouraging results provide the conviction of an application that will have significant utility, whilst leaving room for improvements in the future.