Chao Peng
Chao Peng
Home
Publications
Service
Skills
Teaching
Awards
CV
简历
Code Instrumentation
SIF: A Framework for Solidity Contract Instrumentation and Analysis
Solidity is an object-oriented and high-level language for writing smart contracts that are used to execute, verify and enforce credible transactions on permissionless blockchains. In the last few years, analysis of smart contracts has raised …
Cite
×