ItyFuzz: Snapshot-Based Fuzzer for Smart Contract-Reference-Cited by-同舟云学术

ItyFuzz: Snapshot-Based Fuzzer for Smart Contract

Published:2023-07-12 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Shou Chaofan¹,Tan Shangyin¹,Sen Koushik¹

Affiliation:

1. University of California at Berkeley, USA

Funder

NSF (National Science Foundation)

Publisher

ACM

Link

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

Reference33 articles.

1. Towards verifying ethereum smart contract bytecode in Isabelle/HOL

2. bluealloy. 2022. revm - Rust Ethereum Virtual Machine. https://github.com/bluealloy/revm bluealloy. 2022. revm - Rust Ethereum Virtual Machine. https://github.com/bluealloy/revm

3. Lexi Brent , Anton Jurisevic , Michael Kong , Eric Liu , François Gauthier , Vincent Gramoli , Ralph Holz , and Bernhard Scholz . 2018 . Vandal: A Scalable Security Analysis Framework for Smart Contracts. CoRR, abs/1809.03981 (2018), arXiv:1809.03981. arxiv:1809.03981 Lexi Brent, Anton Jurisevic, Michael Kong, Eric Liu, François Gauthier, Vincent Gramoli, Ralph Holz, and Bernhard Scholz. 2018. Vandal: A Scalable Security Analysis Framework for Smart Contracts. CoRR, abs/1809.03981 (2018), arXiv:1809.03981. arxiv:1809.03981

4. Quantitative Analysis of Smart Contracts

5. SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses

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

1. Vulnerability detection techniques for smart contracts: A systematic literature review;Journal of Systems and Software;2024-11

2. Directed or Undirected: Investigating Fuzzing Strategies in a CI/CD Setup (Registered Report);Proceedings of the 3rd ACM International Fuzzing Workshop;2024-09-13

3. Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

4. Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedback-Driven Fuzzing and Differential Analysis;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

5. DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11