2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS)最新文献_第7页

STAN: Towards Describing Bytecodes of Smart Contract 斯坦:关于描述智能合约的字节码

2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2020-07-19 DOI: 10.1109/QRS51102.2020.00045

Xiaoqi Li, Ting Chen, Xiapu Luo, Tao Zhang, Le Yu, Zhou Xu

{"title":"STAN: Towards Describing Bytecodes of Smart Contract","authors":"Xiaoqi Li, Ting Chen, Xiapu Luo, Tao Zhang, Le Yu, Zhou Xu","doi":"10.1109/QRS51102.2020.00045","DOIUrl":"https://doi.org/10.1109/QRS51102.2020.00045","url":null,"abstract":"More than eight million smart contracts have been deployed into Ethereum, which is the most popular blockchain that supports smart contract. However, less than 1% of deployed smart contracts are open-source, and it is difficult for users to understand the functionality and internal mechanism of those closed-source contracts. Although a few decompilers for smart contracts have been recently proposed, it is still not easy for users to grasp the semantic information of the contract, not to mention the potential misleading due to decompilation errors. In this paper, we propose the first system named Stan to generate descriptions for the bytecodes of smart contracts to help users comprehend them. In particular, for each interface in a smart contract, Stan can generate four categories of descriptions, including functionality description, usage description, behavior description, and payment description, by leveraging symbolic execution and NLP (Natural Language Processing) techniques. Extensive experiments show that Stan can generate adequate, accurate and readable descriptions for contract’s bytecodes, which have practical value for users.","PeriodicalId":301814,"journal":{"name":"2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128520845","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 14

Correct and Control Complex IoT Systems: Evaluation of a Classification for System Anomalies 纠正和控制复杂的物联网系统:系统异常分类的评估

2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2020-05-10 DOI: 10.1109/QRS51102.2020.00050

Sina Niedermaier, Stefan Heisse, S. Wagner

引用次数: 1

Steering Committee 指导委员会

2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2019-05-01 DOI: 10.1109/dcoss.2019.00007

R. Buyya, A. Sill, O. Rana, A. Anjum, Xinghui Zhao

引用次数: 0

Chairs of Workshops Co-Located with QRS 2020 研讨会主席与QRS 2020同址

2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 2018-07-01 DOI: 10.1109/qrs.2018.00012

Ryo Kurachi, D. Oka, Mohammad Zulkernine, Chunrong Fang, Jigang Liu, J. Picciotto, Junhua Ding, Zi-xu Wang, Zhenglin Liang, Xiaohong Peng, Jian Wang, Yi Yang, Guoqiang Li, Xingya Wang

引用次数: 0

Title Page i 第1页

2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS) Pub Date : 1991-01-01 DOI: 10.1109/icse-seis.2019.00001

Kacy J Peek

引用次数: 0