Testing smart contracts

Simple item page
dc.contributor.advisorVan der Merwe, Andries Brinken_ZA
dc.contributor.advisorVisser, Willemen_ZA
dc.contributor.authorLeid, Alexanderen_ZA
dc.contributor.otherStellenbosch University. Faculty of Science. Dept. of Mathematical Sciences. Division Computer Science.en_ZA
dc.date.accessioned2020-02-24T09:35:14Z
dc.date.accessioned2020-04-28T12:18:33Z
dc.date.available2020-02-24T09:35:14Z
dc.date.available2020-04-28T12:18:33Z
dc.date.issued2020-03
dc.descriptionThesis (MSc)--Stellenbosch University, 2020.en_ZA
dc.description.abstractENGLISH ABSTRACT: There have been several high-profile exploits of smart contracts running on the Ethereum Virtual Machine (EVM) over the last few years since the release of Ethereum. Many of these exploits were introduced via programmer error and could be avoided by proper auditing beforehand. Security analysis tooling has advanced in this space to aid developers and auditors to automatically find these exploits and in some cases generate test input that can recreate the exploit. In this work, we review the most critical vulnerabilities currently present in the EVM ecosystem and provide best practices and forms of prevention. Taxonomies (new and existing) are presented to categorise the type of smart contract exploits present at the application layer and compare them to similar exploits in imperative programs. Automated testing tools are investigated and extended in areas where they may struggle to detect certain vulnerabilities and to synthesise adversarial smart contracts. Lastly, some of the most popular and actively developed automated testing tools are catalogued, evaluated, and benchmarked.en_ZA
dc.description.versionMasters
dc.format.extentix, 102 pagesen_ZA
dc.identifier.urihttp://hdl.handle.net/10019.1/108088
dc.language.isoen_ZAen_ZA
dc.publisherStellenbosch : Stellenbosch University.en_ZA
dc.rights.holderStellenbosch University.en_ZA
dc.subjectSmart contracts -- Auditingen_ZA
dc.subjectSecurity analysisen_ZA
dc.subjectExploitationen_ZA
dc.subjectFuzzy expert systemsen_ZA
dc.subjectEthereumen_ZA
dc.subjectUCTD
dc.titleTesting smart contractsen_ZA
dc.typeThesisen_ZA
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
leid_testing_2020.pdf
Size:
1.17 MB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.71 KB
Format:
Plain Text
Description:
Download
Collections
Masters Degrees (Computer Science)