Vulnerability detection techniques for smart contracts: A systematic literature review
-
Published:2024-11
Issue:
Volume:217
Page:112160
-
ISSN:0164-1212
-
Container-title:Journal of Systems and Software
-
language:en
-
Short-container-title:Journal of Systems and Software
Author:
Vidal Fernando RichterORCID,
Ivaki NaghmehORCID,
Laranjeiro NunoORCID
Reference178 articles.
1. SolAnalyser: A framework for analysing and testing smart contracts;Akca,2019
2. Blockchain based smart contracts : A systematic mapping study;Alharby,2017
3. Verification of smart contracts: A survey;Almakhour;Pervasive Mob. Comput.,2020
4. Designing secure ethereum smart contracts: A finite state machine based approach;Anastasia,2018
5. ANTLR;ANTLR,2019