| Tartalom: |
http://hdl.handle.net/10890/15649 |
| Archívum: |
Műegyetem Digitális Archívum |
| Gyűjtemény: |
1. Tudományos közlemények, publikációk
Konferenciák gyűjteményei
BME MIT PhD Minisymposium
BME MIT PhD Minisymposium, 2021, 28th
|
| Cím: |
Investigating Static Analyzers Detection Capabilities on Ethereum Smart Contracts
|
| Létrehozó: |
Staderini, Mirko
Bondavalli, Andrea
|
| Dátum: |
2021-07-28T11:37:48Z
2021-07-28T11:37:48Z
2021
|
| Tartalmi leírás: |
Ethereum smart contracts had ever-increasing development in recent years. Hidden vulnerabilities can not be patched once a smart contract is deployed on a blockchain because of the code immutability. The use of static analyzers reduces the number of vulnerabilities in smart contracts. The paper focuses on the outcomes of some static analyzers for Solidity smart contracts. Based on a language-independent systematization of vulnerabilities, the work performs an analysis of positives detection of some static analyzers on a smart contracts dataset. Such analysis permits (i) identifying a positive correlation among some smart contracts’ metrics and tools’ outcomes, and (ii) investigating where tools detect specific classes of the systematization.
|
| Nyelv: |
angol
|
| Típus: |
könyvfejezet
|
| Formátum: |
application/pdf
|
| Azonosító: |
|
