Highsimb: A Concrete Blockchain High Simulation with Contract Vulnerability Detection for Ethereum and Hyperledger Fabric.

Pengfei Huang, Wanqing Jie,Arthur Sandor Voundi Koe,Ruitao Hou,Hongyang Yan,Mourad Nouioua, Phan Duc Thien, Jacques Mbous Ikong, Camara Lancine

ML4CS (2)(2022)

引用 1|浏览20
暂无评分
摘要
Blockchain testing plays a critical role in the maturation of blockchain technology by ensuring the quality of implemented functional and non-functional requirements. In the new global economy, rapid time to market has become a central issue: developers fail to scrutinize their blockchain designs prior to deployment and customers undergo negative experiences that hurt the widespread adoption of the blockchain technology. Previous published studies aimed for effective blockchain simulators. However, existing solutions exhibit several drawbacks: they rely on guesswork, conceal low-level implementation details, lack expected realistic outcomes and automated testing, as well as lag in smart contract vulnerability analysis. In this paper, we introduce highsimb: the first concrete blockchain high simulation platform for Ethereum and Hyperledger Fabric that supports smart contract vulnerability detection. Unlike a testnet, the blockchain tester can customize any low-level detail to achieve realistic expected results under automated testing. Theoretical analysis demonstrates our concrete simulator is highly observable, supports realistic feedback, is scalable, detects smart contract vulnerabilities, has strong white-box testing capabilities and automates experiments. Our framework complements existing blockchain simulators and introduces a novel development paradigm for blockchain testing.
更多
查看译文
关键词
concrete blockchain highsimb simulation,contract vulnerability detection,ethereum
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要