An automated assessment of smart contract vulnerabilities in the Ethereum blockchain using open-source tools
Μια αυτοματοποιημένη αξιολόγηση ευπαθειών έξυπνων συμβολαίων στο Ethereum Blockchain χρησιμοποιώντας εργαλεία ανοιχτού κώδικα
![Thumbnail](/xmlui/bitstream/handle/unipi/15281/Magkoutis_MTE2018.pdf.jpg?sequence=4&isAllowed=y)
Master Thesis
Author
Μαγκούτης, Βασίλειος
Magkoutis, Vasilis
Date
2023-01-15Advisor
Ξενάκης, ΧρήστοςXenakis, Christos
View/ Open
Keywords
Blockchain ; Ethereum ; Vulnerability assesment ; Smart contracts ; Oyente ; Osiris ; Maian ; Mythril ; EVM ; Ethereum Virtual Machine ; Reentrancy vulnerability ; Prodigal vulnerability ; Callstack vulnerabilityAbstract
Blockchain technology is gradually taking place in the technology spectrum and the academic community. From the various uses of the blockchain, one of the most successful and interesting ones is the Ethereum Virtual Machine. In this case, blockchain can enable smart contracts (in essence, programming code) to run on the network autonomously. This particular technology arrived fast, and multiple developers are already coding these smart contracts. However, various vulnerabilities in their code and developer practices surfaced with the broader acceptance of smart contracts. Gradually tools to identify these vulnerabilities became available, and the community focused more on the security of the smart contracts. But what about the result? How many vulnerable contracts exist on the network, are there contracts with different vulnerabilities, and are the vulnerable contracts deployed on the network decreasing? The above constitute some of the questions we will try to answer.