Evaluation of Smart Contract Vulnerability Analysis Tools: A Domain-Specific Perspective - Lashkari, Bahareh; Musilek, Petr (Information (Basel), 2023)
Keywords: Automation; Blockchain; Contracts; Cryptography; Defects; distributed ledger technology; Energy; Flaw detection; Investment analysis; Parameters; Safety and security measures; Security; security analysis; Semantics; Software reliability; State-of-the-art reviews; vulnerability detection