  Smart Contracts (SCs) are programs stored in a Blockchain to ensure
agreements between two or more parties. Due to the unchangeable essence of
Blockchain, failures or errors in SCs become perpetual once published. The
reliability of SCs is essential to avoid financial losses. So, SCs must be
checked to ensure the absence of errors. Hence, many studies addressed new
methods and tools for zero-bug software in SCs. This paper conducted a
systematic literature mapping identifying initiatives and tools to analyze SCs
and how to deal with the identified vulnerabilities. Besides, this work
identifies gaps that may lead to research topics for future work.
