DeepInfer: Deep Type Inference from Smart Contract Bytecode-Reference-Cited by-同舟云学术

DeepInfer: Deep Type Inference from Smart Contract Bytecode

Published:2023-11-30 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Zhao Kunsong¹,Li Zihao¹,Li Jianfeng²,Ye He³,Luo Xiapu¹,Chen Ting⁴

Affiliation:

1. Hong Kong Polytechnic University, Hong Kong, China

2. Xi'an Jiaotong University, Xi'an, China

3. KTH Royal Institute of Technology, Stockholm, Sweden

4. University of Electronic Science and Technology of China, Chengdu, China

Funder

Hong Kong RGC Projects

National Natural Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3611643.3616343

Reference73 articles.

1. Elvira Albert , Jesús Correas , Pablo Gordillo , Guillermo Román-Díez , and Albert Rubio . 2019 . SAFEVM: a safety verifier for Ethereum smart contracts . In Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). 386–389 . https://doi.org/10.1145/3293882.3338999 10.1145/3293882.3338999 10.1145/3293882.3338999 Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, and Albert Rubio. 2019. SAFEVM: a safety verifier for Ethereum smart contracts. In Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). 386–389. https://doi.org/10.1145/3293882.3338999 10.1145/3293882.3338999

2. Maher Alharby and Aad Van Moorsel. 2017. Blockchain-based smart contracts: A systematic mapping study. arXiv preprint arXiv:1710.06372. Maher Alharby and Aad Van Moorsel. 2017. Blockchain-based smart contracts: A systematic mapping study. arXiv preprint arXiv:1710.06372.

3. Miltiadis Allamanis , Earl T Barr , Soline Ducousso , and Zheng Gao . 2020 . Typilus: Neural type hints . In Proceedings of the 41st Acm SIGPLAN Conference on Programming Language Design and Implementation (PLDI). 91–105 . https://doi.org/10.1145/3385412.3385997 10.1145/3385412.3385997 10.1145/3385412.3385997 Miltiadis Allamanis, Earl T Barr, Soline Ducousso, and Zheng Gao. 2020. Typilus: Neural type hints. In Proceedings of the 41st Acm SIGPLAN Conference on Programming Language Design and Implementation (PLDI). 91–105. https://doi.org/10.1145/3385412.3385997 10.1145/3385412.3385997

4. Uri Alon Shaked Brody Omer Levy and Eran Yahav. 2018. code2seq: Generating sequences from structured representations of code. arXiv preprint arXiv:1808.01400. Uri Alon Shaked Brody Omer Levy and Eran Yahav. 2018. code2seq: Generating sequences from structured representations of code. arXiv preprint arXiv:1808.01400.

5. Monika di Angelo and Gernot Salzer . 2020 . Characterizing types of smart contracts in the ethereum landscape . In International Conference on Financial Cryptography and Data Security. 389–404 . Monika di Angelo and Gernot Salzer. 2020. Characterizing types of smart contracts in the ethereum landscape. In International Conference on Financial Cryptography and Data Security. 389–404.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Following the “Thread”: Toward Finding Manipulatable Bottlenecks in Blockchain Clients;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. On the Heterophily of Program Graphs: A Case Study of Graph-based Type Inference;Proceedings of the 15th Asia-Pacific Symposium on Internetware;2024-07-24

3. Nurgle: Exacerbating Resource Consumption in Blockchain State Storage via MPT Manipulation;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19

4. Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

5. Demystifying DeFi MEV Activities in Flashbots Bundle;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15