SmartInspect: Solidity Smart Contract Inspector
Type de document :
Communication dans un congrès avec actes
Titre :
SmartInspect: Solidity Smart Contract Inspector
Auteur(s) :
Bragagnolo, Santiago [Auteur]
Analyses and Languages Constructs for Object-Oriented Application Evolution [RMOD]
Rocha, Henrique [Auteur]
Analyses and Languages Constructs for Object-Oriented Application Evolution [RMOD]
Denker, Marcus [Auteur]
Analyses and Languages Constructs for Object-Oriented Application Evolution [RMOD]
Ducasse, Stephane [Auteur]
Analyses and Languages Constructs for Object-Oriented Application Evolution [RMOD]
Analyses and Languages Constructs for Object-Oriented Application Evolution [RMOD]
Rocha, Henrique [Auteur]
Analyses and Languages Constructs for Object-Oriented Application Evolution [RMOD]
Denker, Marcus [Auteur]
Analyses and Languages Constructs for Object-Oriented Application Evolution [RMOD]
Ducasse, Stephane [Auteur]
Analyses and Languages Constructs for Object-Oriented Application Evolution [RMOD]
Titre de la manifestation scientifique :
IWBOSE 2018 - 1st International Workshop on Blockchain Oriented Software Engineering
Ville :
Campobasso
Pays :
Italie
Date de début de la manifestation scientifique :
2018-03-20
Éditeur :
IEEE
Date de publication :
2018-03-29
Mot(s)-clé(s) en anglais :
Ethereum
Solidity
Smart Contracts
Inspecting
Blockchain
Solidity
Smart Contracts
Inspecting
Blockchain
Discipline(s) HAL :
Informatique [cs]/Langage de programmation [cs.PL]
Résumé en anglais : [en]
Solidity is a language used for smart contracts on the Ethereum blockchain. Smart contracts are embedded procedures stored with the data they act upon. Debugging smart contracts is a really difficult task since once deployed, ...
Lire la suite >Solidity is a language used for smart contracts on the Ethereum blockchain. Smart contracts are embedded procedures stored with the data they act upon. Debugging smart contracts is a really difficult task since once deployed, the code cannot be re-executed and inspecting a simple attribute is not easily possible because data is encoded. In this paper, we address the lack of inspectability of a deployed contract by analyzing contract state using decompilation techniques driven by the contract structure definition. Our solution, SmartInspect, also uses a mirror-based architecture to represent locally object responsible for the interpretation of the contract state. SmartInspect allows contract developers to better visualize and understand the contract stored state without needing to redeploy, nor develop any ad-hoc code.Lire moins >
Lire la suite >Solidity is a language used for smart contracts on the Ethereum blockchain. Smart contracts are embedded procedures stored with the data they act upon. Debugging smart contracts is a really difficult task since once deployed, the code cannot be re-executed and inspecting a simple attribute is not easily possible because data is encoded. In this paper, we address the lack of inspectability of a deployed contract by analyzing contract state using decompilation techniques driven by the contract structure definition. Our solution, SmartInspect, also uses a mirror-based architecture to represent locally object responsible for the interpretation of the contract state. SmartInspect allows contract developers to better visualize and understand the contract stored state without needing to redeploy, nor develop any ad-hoc code.Lire moins >
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :
Fichiers
- https://hal.inria.fr/hal-01831075/document
- Accès libre
- Accéder au document
- https://hal.inria.fr/hal-01831075/document
- Accès libre
- Accéder au document
- https://hal.inria.fr/hal-01831075/document
- Accès libre
- Accéder au document
- document
- Accès libre
- Accéder au document
- Braga18a-IWBOSE-SmartInspect.pdf
- Accès libre
- Accéder au document