Smart contract analysis and verification
As smart contracts being used by more and more industries, security and correctness of them are becoming more important than ever. There have been many security analysis tools for Solidity language, a language for building smart contracts. However, none of them enables the user to provide informatio...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Final Year Project |
| Language: | English |
| Published: |
Nanyang Technological University
2020
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/10356/138788 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Nanyang Technological University |
| Language: | English |
| Summary: | As smart contracts being used by more and more industries, security and correctness of them are becoming more important than ever. There have been many security analysis tools for Solidity language, a language for building smart contracts. However, none of them enables the user to provide information about properties the contract is expected to satisfy. This project is our attempt to build a security analysis tool for Solidity, $solv$, that incorporates property declaration given by the user as special comments in the source file. The first part of this project involves building a framework for general property checking in which specific properties can be easily added. After that, specific properties are defined and implemented. |
|---|