Checking smart contracts with structural code embedding
Smart contracts have been increasingly used together with blockchains to automate financial and business transactions. However, many bugs and vulnerabilities have been identified in many contracts which raises serious concerns about smart contract security, not to mention that the blockchain systems...
Saved in:
Main Authors: | GAO, Zhipeng, JIANG, Lingxiao, XIA, Xin, LO, David, GRUNDY, John |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2021
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/5606 https://ink.library.smu.edu.sg/context/sis_research/article/6609/viewcontent/TSE20SmartEmbed.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
MANDO-GURU: vulnerability detection for smart contract source code by heterogeneous graph embeddings
by: NGUYEN, Huu Hoang, et al.
Published: (2022) -
MANDO: Multi-level heterogeneous graph embeddings for fine-grained detection of smart contract vulnerabilities
by: NGUYEN, Huu Hoang, et al.
Published: (2022) -
Context-based detection of clone-related bugs
by: JIANG, Lingxiao, et al.
Published: (2007) -
DefectChecker: Automated smart contract defect detection by analyzing EVM bytecode
by: CHEN, Jiachi, et al.
Published: (2022) -
Angels or demons: Investigating and detecting decentralized financial traps on ethereum smart contracts
by: CHEN, Jiachi, et al.
Published: (2024)