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...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Final Year Project (FYP) |
| Language: | English |
| Published: |
Nanyang Technological University
2020
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/10356/138788 |
| _version_ | 1826109986503131136 |
|---|---|
| author | Qiu, Haoze |
| author2 | Lin Shang-Wei |
| author_facet | Lin Shang-Wei Qiu, Haoze |
| author_sort | Qiu, Haoze |
| collection | NTU |
| description | 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. |
| first_indexed | 2024-10-01T02:27:05Z |
| format | Final Year Project (FYP) |
| id | ntu-10356/138788 |
| institution | Nanyang Technological University |
| language | English |
| last_indexed | 2024-10-01T02:27:05Z |
| publishDate | 2020 |
| publisher | Nanyang Technological University |
| record_format | dspace |
| spelling | ntu-10356/1387882020-05-12T10:36:57Z Smart contract analysis and verification Qiu, Haoze Lin Shang-Wei School of Computer Science and Engineering Singapore Membrane Technology Centre shang-wei.lin@ntu.edu.sg Engineering::Computer science and engineering::Software::Programming languages 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. Bachelor of Engineering (Computer Science) 2020-05-12T10:36:57Z 2020-05-12T10:36:57Z 2020 Final Year Project (FYP) https://hdl.handle.net/10356/138788 en application/pdf Nanyang Technological University |
| spellingShingle | Engineering::Computer science and engineering::Software::Programming languages Qiu, Haoze Smart contract analysis and verification |
| title | Smart contract analysis and verification |
| title_full | Smart contract analysis and verification |
| title_fullStr | Smart contract analysis and verification |
| title_full_unstemmed | Smart contract analysis and verification |
| title_short | Smart contract analysis and verification |
| title_sort | smart contract analysis and verification |
| topic | Engineering::Computer science and engineering::Software::Programming languages |
| url | https://hdl.handle.net/10356/138788 |
| work_keys_str_mv | AT qiuhaoze smartcontractanalysisandverification |